In the tenth century, the mathematician 'Abd al-'Aziz alQabisi described a trigonometric method, using only the sine, for determining the height and distance of an inaccessible object. One sights the summit $A$ from two locations $C$, $D$, and determines, using an astrolabe (an angle-measuring instrument usually used for astronomical purposes), the angles $\alpha_{1}=\angle A C B$ and $\alpha_{2}=\angle A D B$ (Fig. 9.37). If $C D=$ $d$, then the height $y=A B$ and the distance $x=B C$ are given by
$$
\begin{aligned}
&y=\frac{d \sin \alpha_{2}}{\sin \left(90-\alpha_{2}\right)-\frac{\sin \left(90-\alpha_{1}\right) \sin \alpha_{2}}{\sin \alpha_{1}}} \\
&x=\frac{y \sin \left(90-\alpha_{1}\right)}{\sin \alpha_{1}}
\end{aligned}
$$
Prove that al-Qabisi's formula is correct.
Al-Qabi's method for determining height and distance by way of two angle determinations