Procedura-S: differenze tra le versioni

Si considerino le matrici simmetriche <math>A_{1},A_{2}\in S^{n} </math>, i vettori <math>b_{1},b_{2}\in \mathbb {R} ^{n} </math>, due numeri reali <math>c_{1},c_{2}\in \mathbb {R} </math> e si supponga esista un <math>\hat{x} </math> per cui valga <math>\hat{x}^{T}A_{2}{\hat {x}}+2b_{2}^{T}{\hat {x}}+c_{2}<0\,.</math>Allora esiste un <math>x \in \mathbb{R}^n </math>che soddisfi