`+)``E` nằm chính giữa $\mathop{BC}\limits^{\displaystyle\frown}$

`=>EB=EC`

`=>E` nằm trên đường trung trực của `BC`

Ta có `OB=OC=R=>O` nằm trên đường trung trực của `BC`

`=>OE` là đường trung trực của `BC`

`=>OE\botBC`

`=>OE`$\parallel$`d`

`=>\hat{OEA}=\hat{EDC}`

Mà `\triangleAOE` cân tại `O(OA=OE=R)`

`=>\hat{OAE}=\hat{OEA}`

`=>\hat{OAE}=\hat{EDC}`

Mà `\hat{EDC}=\hat{HDA}`(2 góc đối đỉnh)

`=>\hat{OAE}=\hat{HDA}` hay `\hat{HAD}=\hat{HDA}`

`=>` `\triangleHAD` cân tại `H`

`=>HA=HD`

`+)` `\triangleDGF` vuông tại `G(FG\botd` tại `G)`

`=>` Trung tuyến `GE(E` là trung điểm `DF)``=(DF)/2=DE`

`=>\triangleDEG` cân tại `E`

`=>\hat{EDG}=\hat{EGD}`

Mà `\hat{EDG}=\hat{HDA}(2` góc đối đỉnh`)` và `\hat{HAD}=\hat{HDA}(`cmt`)`

`=>{(\hat{EDG}=\hat{HDA}),(\hat{EGD}=\hat{HAD}):}`

`=>\triangleDHA`$\backsim$`\triangleDEG` `(`gg`)`