Источник TeX:
R^2-\frac{a^2}{2}>0