fie α un plan,A un punct, A ∉α si a o dreapta, a inclusa in α. daca AA' _/_ α, A' ∈α si A'B _/_ a, B∈ a, atunci AB _/_ a.. daca o dreapta este perpendiculara pe un plan si din piciorul ei se duce o alta perpendiculara pe o dreapta din plan atunci dreapta care trece printr-un punct al primei perpendiculare si prin piciorul celei de-a doua este perpendiculara pe plan
