Доказательство: Согласно теореме Фалеса (или обобщённой теореме Фалеса), если параллельные прямые пересекают стороны угла, то отрезки, образованные на одной стороне угла, пропорциональны отрезкам, образованным на другой стороне. В данном случае прямые AA₁, BB₁, CC₁ параллельны, а прямые a и b пересекают их. Таким образом, \(\frac{AB}{BC} = \frac{A_1B_1}{B_1C_1}\), что и требовалось доказать.