=> [BC]=[BD]=>
AB_l_ (BCD)=> AB Perpendicular [DC] si [BD]=>
triunghiurile dreptunghice ABC si ABD sunt egale(caz CC)
AB lat comuna [BC}=[BD] din ipoteza=>
[AC]=[AD]
reciproc <= [AC]=[AD]
triunghi dreptunghic ABC congrent cu Triunghi dreptunghic ABd caz(IC)
AB lat comuna_ [AC]=[AD] din ipoteza=> BC=BD
