OED si CEO sunt tr dreptunghice
<DEA si <BEC congruente (unghiuri opuse la varf)
<DEA+<CEO=180*
<BEC+<OED=180*
<DEA=<BEC=x
x+<CEO=180*
x+<OED=180*
rezulta ca <CEO si <OED sunt congruente
OE este latura comuna
<D=<C=90*
<CEO=<OED
=> asemanare ipotenuza unghi => tr DEO si CEO sunt congruente
tr DEO si CEO sunt congruente => <DEO=<EOC=> OE bisectoare
ED=EC
in triunghiurile AED si BEC
ED=EC
<AED=<BEC
=> asemanare cateta unghi => <A=<B, AE=BE(ipotenuzele sunt egale), CE=DE (catetele sunt egale)
AE=BE
CE=DE
=> BD=AC