∫am∨FD, ∴∠ f = ∠ cam, ∠ cama = ∠ bam. Y ∠ bam = ∠ cam, ∴∠ bed = ∠ F
Por b es la intersección BG⊥FD FD o su línea de extensión en g, y por c es la intersección CH⊥FD FD o su línea de extensión en h en.
∵bd=cd,∠bdg=∠cdh,∠bgd=∠chd,∴△bdg≌△cdh,∴bg=ch.
Por BG = CH, ∠ Bed = ∠ F, ∠ BGE = ∠ CHF = 90, obtenemos: △beg≔△CHF, ∴ BE = CF.
(2)
Obviamente, BE = AB-AE, CF = AC+AF, ∴ BE+CF = AB+AC+AF-AE.
De la prueba anterior de (1), tenemos: AE = AF, BE = CF, ∴ 2BE = AB+AC
Be = (AB+AC)/2.