$${\frac{A B}{A_1 B_1} = \frac{O F}{A_1 F}}$$