Cho tam giác ABC vuông tại A ( AB<AC),O là tâm đường tròn nội tiếp tam giác ABC. Vẽ (O;OA) cắt BC tại M và N ( M nằm giữa B và N). Gọi E là giao điểm của AM với BO, gọi D là giao điểm của AN với CO. Gọi H là giao điểm của MD và NE, tia AH cắt BC tại F
a/ Chứng minh $\frac{1}{AF^{2}}=\frac{1}{AB^{2}}+\frac{1}{AC^{2}}$
b/ Gọi K và I lần lượt là trung điểm của AH và MN. Chứng minh tứ giác IEDK là hình vuông