Θεώρημα 4.8

Εάν Α = [αij] τριγωνικός πίνακας μεγέθους νxν, |Α| = α11α22 . . . ανν

Απόδειξη:
Θα το αποδείξουμε για πάνω τριγωνικούς πίνακες (η απόδειξη για κάτω τριγωνικούς είναι παρόμοια).

Έστω |Α| = α11α22 . . . ανν πάνω τριγωνικός πίνακας μεγέθους νxν. Προφανώς
θα έχουμε δηλαδή αij = 0, όταν i > j.
Από τον ορισμό της ορίζουσας |A| = sgn(σ1α2 . . . ανσν όπου το άθροισμα θεωρείται πάνω σε όλες τις μεταθέσεις σ = ( σ12 , . . . ,σν ) του συνόλου Κ= {1,2, . . . ,ν }. Τώρα εάν σε μια μετάθεση σ = ( σ12 , . . . ,σν ) του Κ υπάρχει τουλάχιστον ένα στοιχείο i τέτοιο ώστε i > σi, τότε αυτό σημαίνει πως το γινόμενο sgn(σ1α2 . . . ανσν που αντιστοιχεί σ'αυτή την μετάθεση ισούται με 0, διότι αi = 0. Άρα οι μόνες μεταθέσεις που έχουν μη-μηδενική "συνεισφορά" στο άθροισμα είναι οι μεταθέσεις σ = ( σ12 , . . . ,σν ) του Κ για τις οποίες ισχύει : i < σi i = 1,2, . . . . ,ν. Επομένως
|A| = (+1)α11α22 . . . ανν.