Question

已知:如图∠BAC的角平分线与BC的垂直平分线交与点D,DE⊥AB,DF⊥AC,垂足分别为E,F.求证:BE=CF

Answer 1

∵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。

扩展资料：

在数理逻辑中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言是由一个固定的字母表中的字符所构成的字符串组成的。而证明则是以形式化语言表达的有限长度的序列。

构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例，以显示具有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。

参考资料来源：百度百科-几何证明