그림과 같이 ∠BAD=20°, ∠ADC=100°, ∠B=110°, ∠C=70°, EB=EC 증명
알려진 것에서: ∠BAE=∠EAD=10°, ?∠ADB=180°-∠B-∠BAD=50°, ?∠ADE=∠EDC = 50°
∠DEC=180°-∠C-∠EDC=60°, ∠AED=120°
EF가 ∠AED를 이등분하고 E에서 AD를 교차한다고 가정하면 ΔDEF ≌ ΔDEC, EF=EC
그리고 ∠BEA=∠AEF=60°, ?∠BAE=∠EAD=10°, 그러면 ΔBAE≌ΔFAE, EF=EB
∴EB = EC