Источник TeX:
4\cos(\angle BAD)=2+\sqrt2