Unghi BAD = CAD => (AD bisectoare BAC. Unghi ABD = CBD => (BD bisecoare ABC
(AD bisecotate BAC si (BD bisecoate ABC => D este intersectia bisectarelor in ABC(adica e centrul cercului inscris). Cum bisectoarele in orice triunghi sunt concurente intr-un punct => (CD bisectoare unghi ACB => unghi BCD = unghi ACD