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