角平分线垂直模型试题

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

扩展数据:

在数理逻辑中，形式证明不是用自然语言写的，而是用形式语言写的:这种语言是由固定字母表中的字符串组成的。证明是用形式语言表达的有限长度序列。

构造法一般用于证明存在定理，使用构造法的证明称为构造性证明。具体做法是用命题中要求的特定性质构造一个例子，以表明具有这种性质的物体或概念的存在。也可以构造反例证明命题是错的。

百度百科-几何证明