Twierdzenie o prostej prostopadłej do płaszczyzny

Twierdzenie o prostej prostopadłej do płaszczyzny – twierdzenie matematyczne w geometrii, konkretniej stereometrii. Mówi ono, że jeśli:

1. dwie proste są współpłaszczyznowe i nierównoległe oraz
2. inna prosta jest prostopadła do nich,

Ilustracja twierdzenia – jeśli prosta ${\displaystyle \ell }$ jest prostopadła do dwóch prostych z płaszczyzny ${\displaystyle P}$, to jest też prostopadła do całej tej płaszczyzny

to ta trzecia prosta jest prostopadła do całej płaszczyzny, w której leżą dwie pierwsze^[1][2]. Dowód tego faktu opiera się na własnościach trójkątów podobnych^[1][3]. Fakt ten jest używany w dowodzie twierdzenia o trzech prostopadłych^[4][5][6].

Twierdzenie to należy do podstawy programowej matematyki w polskich szkołach średnich w zakresie rozszerzonym^[7].