Источник TeX:

HJ = JK = \frac{a}{4}