Die erste Aussage ist klar, denn ist z.B. eine k×k Hauptabschnitzmatrix nicht positiv definit, so gibt es x∈Rk mit
x⊤Akx⩽0
und somit
[x⊤0n−k][AkCn−k,kBk,n−kDn−k,n−k][x0n−k]=x⊤Akx⩽0
was der positiv Definitheit von A widersprechen würde.
Das zweite folgt dann direkt, da alle Eigenwerte wegen der (symmetrischen) positiv Definitheit positiv sind.