Источник TeX:
\Rightarrow CK\cdot OK=\frac{1}{4}EF^2=\frac{1}{3}AK^2