$${A_1 B_1 = \frac{A B \cdot A_1 O_1}{25} .}$$