Xét ΔABC nội tiếp đường tròn tâm O, ta có:
AB là đường kính
<=> ΔABC vuông tại C
Xét ΔSAB vuông tại A (tiếp tuyến), ta có:
AC ⊥ SB (chứng minh trên)
<=> AC là đường cao ΔSAB
Áp dụng hệ thức lượng vào ΔSAB, đường cao AC,ta có:
SA2 = SB.SC (dpcm)