ABC triunghi dreptunghic ( A unghi drept), AB=AD
AC⊥AB (ABC triunghi dreptunghic A=90), AC⊥BC
ΔABC≡ΔACD (triunghiuri dreptunghice)
AC=AC (latura comuna)
AB=AD (A mijlocul lui BD)
triunghiurile sunt congruente conform cazului CC
atunci si BC≡CD, deci BCD Δisoscel