Demonstratie:
b) In ΔAOC si ΔAOD avem:
∡AOC = ∡AOD
AD latura comuna
[DO]=[CO] (pentru ca CD ⊥ AB (unde AB diametru)⇒ CD diametru, unde CO=DO=R
Din aceste relatii ⇒(conform cazului L.U.L) ΔAOC≡ΔAOD ⇒ AD=AC
a) Cum am demonstat la punctul b) ca AD=AC ⇒ ΔACD isoscel