Cho tam giác nhọn ABC (AB < AC) nội tiếp đường tròn (O). Hai đường cao BD và CE của tam giác ABC cắt nhau tại H. Đường thẳng AH cắt BC và (O) lần lượt tại F và K (K = A). Gọi L là hình chiếu của D lên AB; a) Chứng minh rằng tứ giác BEDC nội tiếp và BD^2 = BL.BA; b) Gọi J là giao điểm của KD và (O). ( J khác K ). Chứng minh: góc BJK = góc BDE.