Ta có
Vì AD ⊂ (SAB) nên AD ⊥ BC
Mặt khác AD ⊥ SB nên AD ⊥ (SBC)
Từ đó suy ra AD ⊥ SC
⇒ SC ⊥ DE hay SE ⊥ (ADE)
Trong tam giác vuông SAB ta có: SA.AB = AD.SB
Tương tự, trong tam giác vuông SAC ta có:
Do AD ⊥ (SBC) nên AD ⊥ DE. Từ đó suy ra:
Vậy