\frac{a_1}{\sin \frac{\alpha}{2}} = \frac{b}{\sin \varphi} \implies \sin \frac{\alpha}{2} = \frac{a_1 \sin \varphi}{b}