∵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。
扩展资料:
在数理逻辑中,形式化证明并不是以自然语言书写,而是以形式化的语言书写:这种语言是由一个固定的字母表中的字符所构成的字符串组成的。而证明则是以形式化语言表达的有限长度的序列。
构造法一般用于证明存在性定理,运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例,以显示具有该性质的物体或概念的存在性。也可以构造一个反例,来证明命题是错误的。
参考资料来源:百度百科-几何证明
是初二的