Kẻ `FE bot AD` tại `O, FE` cắt `BD` tại `K`

`=>FK //// AB` `(1)`

Dễ thấy `ABEO` là hình chữ nhật 

`=>AO=BE; BE bot EK`

Vì `BD` là đường chéo của hình vuông nên `hat(CBD)=45°`

Hay `hat(EBK)=45°`

`=>hat(BKE)=90°-hat(EBK)=45°`

`=>EB=EK=AO`

`=>AB-AO=OE-EK`

`<=>OD=OK`

`<=>EC=OK` `(OD=EC` vì `ODCE` là hình chữ nhật`)`

`<=>EF=OK`

`<=>EF+EK=OK+EK`

`<=>FK=OE`

`<=>FK=AB` `(2)`

`(1),(2)=>ABFK` là hình bình hành 

Mà `H` là giao điểm của 2 đường chéo trong hình bình hành `ABFK`

`=>H` là trung điểm `AF`

`=>HA=HF`

`- \text{Lamtoanbangcatinhmang} -`