a/ Xét t.g `ABH` và t/g `ACH` có
`AB=AC`
`AH`: chung
`hat{AHB}=hat{AHC}=90^o`
`=>ΔABH=ΔACH` (ch-cgv)
b/ Xét t/g `BHD` vaf t/g `CHE ` có
`hat{ABC}=hat{ACB}` (do `ΔABC` cân tại `A`)
`BH=HC `(do `ΔABH=ΔACH`)
`BD=CE`
`=>ΔBHD=ΔCHE` (c.g.c)
c/ Có `HD = HE` (Do `ΔBHD = ΔCHE`
`=>H` thuộc đường trung trực của `DE` (1)
Có
`AB=AC`
`BD=CE`
`=>AD=AE`
`=>A ` thuộc đường trung trực của `DE` (2)
`(1);(2)`
`=>AH` là đường trung trực của `DE`