Unicità della perpendicolare
La perpendicolre ad una retta passante per un punto è unica.
Hp: 1) ; 2) Th .
Passo 1 : Siano una retta, un punto e la retta tale che .
Passo 2 : Supponiamo per assurdo che esista un'altra retta, distinta da tale che . Tale retta, attraverserà in un punto perché se perchè per due punti passa una e una sola retta. Sia cioè, per assurdo (1). Ma è un angolo esterno per il triangolo , quindi, per il teorema dell'angolo esterno maggiore deve essere , contraria alla (1).