Отрезки AB и CD пропорциональны отрезкам OK и TP, если $$\frac{AB}{OK} = \frac{CD}{TP}$$.
Ответ: $$\frac{AB}{OK} = \frac{CD}{TP}$$