Источник TeX:

\cos \alpha \geq \dfrac{b^2-a^2}{a^2 + b^2}