Рассмотрим параллельные прямые c, d, e и произвольные прямые, секущие их.
c, d, e – параллельные прямые
a, b – произвольные прямые, секущие параллельные прямые c, d, e
A1, A2, A3– точки пересечения параллельных прямых c, d, e с прямой a
B1, B2, B3 – точки пересечения параллельных прямых c, d, e с прямой b
Теорема Фалеса формулируется следующим образом: параллельные прямые отсекают на секущих прямых пропорциональные отрезки: