\frac{\sqrt{2}}{2} \sin \alpha = \frac{1}{2}