Доказательство:
Рассмотрим углы, образованные параллельными прямыми А₁А, В₁В, СС₁ и прямыми a и b. Соответственные углы при параллельных прямых равны, следовательно, ∠А₁АВ = ∠В₁ВС и ∠АА₁В₁ = ∠ВВ₁С₁.
Рассмотрим треугольники АВ₁В и ВВС₁В₁.
Следовательно, треугольники АВ₁В и ВВС₁В₁ подобны по двум углам (первый признак подобия треугольников).
Из подобия треугольников следует пропорциональность соответствующих сторон:
AB/BC = A₁B₁/B₁C₁
Что и требовалось доказать.
Ответ: Доказано, что AB/BC = A₁B₁/B₁C₁.