Mówimy, że dwie proste są prostopadłe, jeżeli przecinają się pod kątem prostym (k⊥l)(k\perp l)(k⊥l)(k\perp l).
Sprawdź historię występowania tego pojęcia na dotychczasowych egzaminach.