∵D在BC的中垂线上
∴BD=CD
∵DE⊥AB，DF⊥AC
AD平分∠BAC
∴DE=DF
∠BED=∠DCF=90°
在RT△BDE和RT△CDF中，
DE=DFBD=CD
，
∴RT△BDE≌RT△CDF（HL），
∴BE=CF。
扩展资料：
在数理逻辑中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言是由一个固定的字母表中的字符所构成的字符串组成的。而证明则是以形式化语言表达的有限长度的序列。
构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例，以显示具有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。
参考资料来源：百度百科-几何证明
链接BD、CD
因为AD平分∠ABC
且ED⊥AB，DF⊥AC
所以∠BED=∠CFD
DE=DF
因为D在BC垂直平分线上
所以BD=CD
所以△BED全等于△CFD
所以BE=CF
望采纳
初二的题目？我现在读初二，如果是的话，这个就简单了。。。这个是初二题目的话，你就追问下，我会帮你解答的。。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024