$${\frac{O F}{A_1 F} = \frac{a}{k}}$$