[Mat06] GEO: Másodrendű felüle tek

[Pintye Norbert]

Sziasztok!

Mivel sok bosszúságomat okozta ez a tétel, ha feleslegesen is de közzétenném
azt a gondolatmenetet, aminek kapcsán megkapható az az igazán csodálatos
mátrix, a lap közepén.

      (  A   b   )
X^T * (          ) * X =
      ( b^T  c   )

      (   B^T   0   )   (  A   b   )   (   B   t   )
X^T * (             ) * (          ) * (           ) * X =
      (   t^T   1   )   ( b^T  c   )   (   0   1   )

         (    (B^T)AB            (B^T)At + (B^T)b        )
 = X^T * (                                               ) * X = 0
         ( ([t^T]A+b^T)B   (t^T)At + (b^T)t + (t^T)b + c )

Üdv: Pintye.