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