Источник TeX:

BF=\frac{FO}{\text{tg}\angle{FBO}}=\frac{1}{\sqrt{3}}=\frac{\sqrt{3}}{3}