ACD,ADB üçgenlerinde sinüs teoreminden;
|AD|sin15=√2sin(142,5−x)→|AD|=√2sin(142,5−x).sin15....(1)
|AD|sin(22,5)=1sinx→|AD|=1sinx.sin(22,5)....(2) (1) ve (2) den
√2sin(142,5−x).sin15=1sinx.sin(22,5)
√2.sin15.sinx=sin(22,5).sin(142,5−x) olur. Bu da çözümü biraz uzun ve uğraştırıcı bir eşitlik. Kolay gelsin.