Источник TeX:

4x^2-x^2=3x^2 \Rightarrow AF=x \sqrt{3}