Założenie:

W trójkącie prostokątnym , kąt jest kątem prostym, zatem bok to przeciwprostokątna. 

Teza:

Trójkąt jest prostokątny. 

Dowód:

Wiemy, że:

Prosta