Cho ABC nhọn nội tiếp đường tròn (O) có BAC= 45 o , BC = a. Gọi E, F
lần lượt là chân đường vuông góc hạ từ B xuống AC và từ C xuống AB. Gọi I là
điểm đối xứng của O qua EF.
a) Chứng minh rằng các tứ giác BFOC và AEIF nội tiếp được đường tròn
b) Tính EF theo a