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

∵D在BC的中垂线上∴BD=CD∵DE⊥AB，DF⊥ACAD平分∠BAC∴DE=DF∠BED=∠DCF=90°在RT△BDE和RT△CDF中， DE=DFBD=CD ，∴RT△BDE≌RT△CDF（HL），∴BE=CF。 扩展资料： 在数理逻辑中，形式化证明并不是以自然语言书写，而是以形式化的语言书写：这种语言是由一个固定的字母表中的字符所构成的字符串组成的。而证明则是以形式化语言表达的有限长度的序列。 构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所