Prostopadłość jest przedmiotem różnych twierdzeń. Niektóre z nich zawierają prostopadłość jako jedno z założeń, tzn. opisują własności figur zdefiniowanych prostopadłością – przykładem jest twierdzenie Pitagorasa. Inne twierdzenia zawierają prostopadłość jako tezę, tzn. mówią, że: dwie dane figury są prostopadłe – przykładem jest twierdzenie odwrotne do Pitagorasa lub twierdzenie o trzech prostopadłych; istnieje figura prostopadła do danej – przykłady podano niżej.
Geometria analityczna opisuje związek prostopadłości z pewnymi równaniami. Prowadzi to do uogólnienia prostopadłości na ortogonalność – takie relacje są definiowane algebraicznie i stosowane nie tylko do figur.
Prostopadłość na płaszczyźnie Własności Dla dowolnej prostej i dowolnego punktu istnieje dokładnie jedna prosta przechodząca przez punkt i prostopadła do prostej . Twierdzenie 59.2.T, 59.3.T..
Prostopadłość jest relacją symetryczną, przy czym: nie jest zwrotna, tylko przeciwzwrotna (żadna prosta nie jest prostopadła do siebie samej), nie jest przechodnia.