Cho nửa đường tròn (O;R) với đường kính BC. Điểm A thuộc nửa đường tròn (AC ≤ AB). Dựng ra phía ngoài tam giác ABC một hình vuông ACED. Tia EA cắt nửa đường tròn tại F. Nối EF cắt ED tại K. a) Chứng minh 4 điểm B, C, D, K thuộc cùng một đường tròn. b) Chứng minh AB = EK