ED=EA,因為兩底角都是50。設角DBE=x。 在三角形EBD和三角形ABE中用正弦定理,可得
sin(x)/sin(20+x) = sin40/sin80.
將x=30代入成一恒等式sin50=cos40。而且這個三角方程在0-180間的解是唯一的。
角ADB=180-30-(30+40)=80。