$ACD, ADB$ üçgenlerinde sinüs teoreminden;
$$\frac{|AD|}{sin15}=\frac{\sqrt2}{sin(142,5-x)}\rightarrow |AD|=\frac{\sqrt2}{sin(142,5-x)}.sin15....(1)$$
$$\frac{|AD|}{sin(22,5)}=\frac{1}{sinx}\rightarrow |AD|=\frac{1}{sinx}.sin(22,5)....(2)$$ (1) ve (2) den
$$\frac{\sqrt2}{sin(142,5-x)}.sin15=\frac{1}{sinx}.sin(22,5)$$
$$\sqrt2.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.