Hemliga satsen
En symmetrisk matris är positivt definit om LR-faktorisering
utan pivotering ger att alla diagonalelementen i R blir positiva.
Bevis
Följer ur beviset till sats 8.7.2, sid 226 i gamla läroboken,
sid 214 i nya läroboken, och
tillhörande lemmor.
Bo Einarsson
Senast modifierad: 31 januari 2002