∠D′ZA=∠DZC\angle D'ZA=\angle DZC∠D′ZA=∠DZC、ZD′=ZDZD'=ZDZD′=ZD、ZA=ZCZA=ZCZA=ZC であるから、三角形 D′ZAD'ZAD′ZA と DZCDZCDZC は SASSASSAS により合同である。したがって D′A=DCD'A=DCD′A=DC となる。DDD は AAA を含まない弧 BCBCBC の中点である（ADADAD が ∠A\angle A∠A を二等分するため）ので DB=DCDB=DCDB=DC であり、よって D′A=DBD'A=DBD′A=DB である。