Источник TeX:

\cos(\angle BAD)=\frac{1}{2}+\frac{\sqrt2}{4}