ABD üçgeninde sinüs teoreminden :|BD|sin20=|AD|sinx→|BD|=|AD|.sin20sinx.............(1) dir. Benzer olarak BCD üçgeninde sinüs teoreminden;
|BC|sin(20+x)=|BD|sin80→|BD|=|BC|.sin80sin(20+x).........(2) olur. (1),(2) eşitliklerinden ,sinx.sin(80)=sin20.sin(20+x)→sinx.cos10=2sin10.cos10.sin(20+x) Buradan da x=10 bulunur.