cho nửa đường tròn ( O , R ) đường kính AB , bán kính OC , vuông góc với AB . Gọi M là điểm trên của đường tròn đó ( M khác A,B) , tiếp tuyến của nửa đường tròn tại M cắt OC và tiếp tuyến tại A với ( O ) lần lượt tại D và E , AE giao BD tại F .
Chứng minh : EA . EF = R^2