Источник TeX:

= \frac{a^2}{2} \cdot ( \frac{3}{2}- \sqrt{2}) \cdot (\frac{3 \pi}{4}- \frac{ \sqrt{2}}{2})