Cho tam giác ABC nhọn (AB<AC), đường tròn tâm O đường kính BC cắt AB tại D , AC tại E .Gọi G là giao điểm của BE và CD, F là giao điểm của AH và BC
a, Chứng minh ED.AB = AE.BC
b,Chứng minh BD.BA + CE.CA = BC^2
(Cho các tứ giác ADHE, BDHF, ABFE, CEHF, ACFD nội tiếp)