Prostopadłość – cecha geometryczna dwóch prostych lub płaszczyzn (albo prostej i płaszczyzny), które tworzą przystające kąty przyległe.
Jeżeli prosta jest prostopadła do innej, to (dowolny) kąt stworzony przez ich przecięcie nazywa się kątem prostym, który ma miarę ½π radianów lub 90°. Odwrotnie, dowolne proste przecinające się pod kątem prostym są prostopadłe.
Spis treści |
Zgodnie z oznaczeniami jak na rysunku obok prostopadłą do prostej
w punkcie
kreśli się za pomocą cyrkla i linijki w następujący sposób:
w celu znalezienia na prostej
punktów
i
równoodległych od 
oraz
które przechodzącą przez
punkt
będzie oznaczać drugi z punktów przecięcia tych okręgów;
oraz
aby skonstruować szukaną prostopadłą 
Aby udowodnić, że
rzeczywiście jest prostopadła do
wystarczy skorzystać z twierdzenia o przystawaniu BBB dla trójkątów
oraz
które zapewnia o równości miar kątów
i
Następnie korzystając z twierdzenia o przystawaniu BKB dla trójkątów
oraz
otrzymuje się równość miar kątów
i 
Jak pokazano na rys. obok jeżeli dwie proste (
oraz
) są obie prostopadłe do trzeciej prostej (
), to wszystkie stworzone na trzeciej prostej kąty są proste. Stąd, w geometrii euklidesowej, każde dwie proste prostopadłe do trzeciej są równoległe, o czym mówi postulat równoległości. Odwrotnie, jeżeli prosta jest prostopadła do innej, jest prostopadła do każdej prostej równoległej do tej drugiej.
Na rys. obok wszystkie zacieniowane na pomarańczowo kąty są przystające; podobnie kąty zacieniowane na zielono, ponieważ kąty wierzchołkowe są przystające, a naprzemianległe kąty wewnętrzne wyznaczone przez prostą transwersalną przecinającą proste równoległe są przystające. Stąd jeżeli proste
oraz
są równoległe, to jedno z następujących stwierdzeń pociąga pozostałe:
jest prostopadła do prostej 
jest prostopadła do prostej 
W kartezjańskim układzie współrzędnych dowolne dwie proste na płaszczyźnie
mogą być opisane równaniami
oraz 
Są one prostopadłe wtedy i tylko wtedy, gdy 
Dla prostych nierównoległych do osi
równania mogą przybrać postać:
oraz 
Wielkości
oraz
nazywa się współczynnikami kierunkowymi tych prostych. Warunek prostopadłości sprowadza się wtedy do zależności 