Источник TeX:

BK = \dfrac{x}{\cos \angle BKN} = \dfrac{5x}{4}