Official solution
\[\cos^{-1}\left(\frac{xy}{2}+\sqrt{1-x^2}\cdot\sqrt{1-\frac{y^2}{4}}\right)=\alpha\ \Rightarrow\ \frac{xy}{2}+\frac{\sqrt{(1-x^2)(4-y^2)}}{2}=\cos\alpha.\]
\[\Rightarrow xy+\sqrt{(1-x^2)(4-y^2)}=2\cos\alpha\ \Rightarrow\ (2\cos\alpha-xy)^2=(1-x^2)(4-y^2).\]
\[\Rightarrow4\cos^2\alpha-4xy\cos\alpha+x^2y^2=4-y^2-4x^2+x^2y^2\ \Rightarrow\ 4x^2-4xy\cos\alpha+y^2=4-4\cos^2\alpha=4\sin^2\alpha.\]