Доказательство теоремы Фалеса основано на свойствах подобия треугольников и параллельных линий. Рассмотрим две прямые \( A \) и \( B \), а также отрезки \( AB \) на прямой \( A \), которые равны между собой и последовательно отложены. Обозначим концы этих отрезков как \( A_1, A_2, \ldots, A_n \).
Проведем через точки \( A_1, A_2, \ldots, A_n \) параллельные линии, которые будут пересекать вторую прямую \( B \) в точках \( B_1, B_2, \ldots, B_n \).
Поскольку линии, проведенные через \( A_1, A_2, \ldots, A_n \) параллельны, то для любого треугольника, образованного одной из этих линий и двумя точками на второй прямой, мы можем утверждать, что треугольники, образованные на прямой \( B \), будут подобны треугольникам, образованным отрезками на прямой \( A \).
Так как отрезки \( A_1A_2, A_2A_3, \ldots \) равны, по свойствам подобия треугольников, отрезки \( B_1B_2, B_2B_3, \ldots \) также будут равны между собой. Это происходит потому, что коэффициент пропорциональности в подобии остается постоянным, так как параллельные линии создают одинаковые углы с пересекающими прямыми.
Таким образом, каждый раз, когда мы откладываем равные отрезки на одной прямой и проводим параллельные линии, отрезки, которые они отсекают на другой прямой, всегда будут равны, что и доказывает теорему Фалеса.
Эта теорема очень полезна в геометрии, так как она позволяет доказать множество других свойств, связанных с подобием и параллельными линиями.