Ta có:
+ AB=AC(t/c 2 tiếp tuyến cắt nhau)⇒A thuộc đường trung trực của BC(1)
+ OB=OC( bán kính)⇒ O thuộc đường trung trực của BC (2)
Từ (1),(2)⇒AO là đường trung trực của BC⇒AO⊥BC hay AO⊥BE
Vì AB là tiếp tuyến tại B của (O)⇒AB⊥OB⇒∠OBA=90⇒ΔOBA vuông góc tại B
Áp dụng định lí 1 của hệ thức lượng trong tam giác vuông vào tam giác vuông OBA đường cao BE ta được:
OA.OE=OB² mà OB=R⇒OA.OE=R²
