Cho nửa đường tròn (O) đường kính AB. Gọi C là điểm cố định thuộc đoạn thẳng OB (C khác O và B). Dựng đường thẳng d vuông góc với AB tại điểm C, cắt nửa đường tròn (O) tại điểm M. Trên cung nhỏ MB lấy điểm N bất kỳ (N khác M và B), tia AN cắt đường thẳng d tại điểm F, tia BN cắt đường thẳng d tại điểm E. Đường thẳng AE cắt nửa đường tròn (O) tại điểm D (D khác A).
CM : góc EDN=góc DAB
A,D,N,B cùng thuộc (O)
nên ADNB nội tiếp
=>góc ADN+góc ABN=180 độ
=>góc EDN=góc EBA