a) Daca ΔADB dreptunghic in D => AD⊥DB (*)
Daca ΔADC dreptunghic in D => AD⊥DC (**)
Din (*) si (**) => AD⊥(DBC) -AD ⊥ pe doua drepte concurente continute intr -un plan
b) Daca AD⊥(DBC) => AD⊥orice dreapta din planul DBC
=> AD⊥BC <=> BC⊥AD.
