알 수 있음: 예: 예, AB=AC, ABD=ᄀACD.증명:BD=DC.

알 수 있음: 예: 예, AB=AC, ABD=ᄀACD.증명:BD=DC.

증명: 연결 BC. AB=AC(알려짐), ᄇ1=ᄀ2(등각 등각). 또 ABD=ᄀACD(알려져 있음), ABD-ᄀ1=ᄀACD-ᄀ2(등식 연산 성질). 즉, ᄇ3=ᄀ4. ΔBD=DC(등각 피어).