∆ ABC dreptunghic în A cu CD bisectoare
DE _I_ BC , E aparține AC
demonstrează că ∆ BCE isoscel
AB _l_ AC și ED _l_BC => AB și ED sunt înălțimi în
triunghiul BCE => că și CD este perpendiculară pe EB,
dar CD este bisectoare în ∆ BCE
[tex].[/tex]