a) Xét tứ giác AEDC có

ˆAED=ˆADC=90o(CE⊥AB,AD⊥BC)AED^=ADC^=90o(CE⊥AB,AD⊥BC)

Mà E và D là 2 đỉnh liên tiếp cùng nhìn AC

=> tứ giác AEDC nt(đpcm)

b) Ta có :

ˆBCF=ˆBAF=90oBCF^=BAF^=90o(góc nt chắn nửa đường tròn)

=> {CF⊥CBAF⊥AB{CF⊥CBAF⊥AB

*{CF⊥CBAD⊥CB{CF⊥CBAD⊥CB => CF//AD(1)

*{AF⊥ABCE⊥AB{AF⊥ABCE⊥AB=> AF//CE hay AF//CH (2)

Từ 1 và 2 suy ra tứ giác AFCH là hình bình hành

=> HF và AC cắt nhau tại trung điểm của AC