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 d là tiếp tuyến tại A của nửa đường tròn (O). Qua điểm M bất kì thuộc nửa đường tròn (O), kẻ tiếp tuyến với đường tròn cắt d tại E và cắt đường thẳng OC tại D. Gọi F là giao điểm của BD và d. Tiếp tuyến tại B cắt ED tại K. Chứng minh BK = EF.