因為AD是BC的中垂線,所以AD垂直於BC。
而且因為DE垂直於AB,DF垂直於AC。
BJE角和FHC角都是相交的角。
三角形BJE類似於三角形DJO,三角形DHO類似於三角形CHF。
可用角度ADE等於角度ADF。
因為角度BAD等於角度CAD
公元龔* * *
因此,三角形AED都等於三角形AFD。
所以,DE=DF