Cho 3 điểm thẳng hàng theo thứ tự A, B, C. Vẽ hai nửa đường tròn đường kính AB và BC. Trên đường vuông góc với AC tại B lấy điểm D sao cho góc ADC = 90 độ giao điểm của AD và DC với hai nửa đường tròn là E và Fchứng minh rằng :
a) EF là tiếp tuyến chung của hai nửa đg tròn
b) EF^2 = AB.BC