Источник TeX:

HL = HT + TL = \frac{\sqrt{7} \cdot a}{4}