Источник TeX:

R= \frac{EC}{2sin(135^o)}= \frac{a \sqrt{5}}{4sin(135^o)}= \frac{a \sqrt{10}}{4}.