∴BD=CD
∵DE⊥AB, DF⊥AC
AD biseca ∠BAC
∴DE=DF< / p>
∠BED=∠DCF=90
En RT△BDE y RT△CDF,
DE=DFBD=CD
∴ RT△ BDE≌RT△CDF(HL),
∴BE=CF.
Datos extendidos:
En lógica matemática, las pruebas formales no se escriben en lenguaje natural, sino en un lenguaje formal: un lenguaje formado por caracteres de un alfabeto fijo compuesto por cadenas. Una prueba es una secuencia de longitud finita expresada en un lenguaje formal.
Los métodos de construcción se utilizan generalmente para probar teoremas de existencia, y las pruebas que utilizan métodos de construcción se denominan pruebas constructivas. El enfoque específico consiste en construir un ejemplo utilizando la propiedad específica requerida en la proposición para mostrar la existencia de un objeto o concepto con esta propiedad. También se pueden construir contraejemplos para demostrar que una proposición es falsa.
Enciclopedia Baidu-Prueba geométrica