Теорема Фалеса утверждает, что если на прямой секущей два перпендикуляра, опущенные из концов одного из отрезков на эту прямую, то отношение длин этих отрезков равно отношению длин перпендикуляров. Докажем данную теорему.
Дано: AB секущая, а CE и DF перпендикуляры, опущенные из концов отрезка AB на секущую AB.
Необходимо доказать: AC/CD = BC/DF.
Доказательство:
Рассмотрим треугольники ACD и BDF. У них общий угол CDF, так как DF и CD - перепендикуляры к AB. Отсюда следует, что треугольники ACD и BDF подобны по двум углам.
Поскольку эти треугольники подобны, соответствующие стороны пропорциональны. То есть AC/CD = BD/DF.
Но поскольку AB - секущая, то BD = BC + CD.
Подставим BD в пропорцию: AC/CD = (BC + CD)/DF.
Умножим обе части пропорции на DF: AC/CD * DF = BC + CD.
Разделим обе части равенства на CD: AC/DF = BC/CD + 1.
Вычтем 1 из обеих частей равенства: AC/DF - 1 = BC/CD.
Упростим выражение: (AC - DF)/DF = BC/CD.
Поскольку AC - DF = AF - CF, то получим: AF/DF = BC/CD.
Выше мы доказали, что треугольники ACD и BDF подобны по двум углам. Значит, их стороны также пропорциональны. То есть AF/DF = AC/CD.
Получили, что AC/CD = BC/DF, что и требовалось доказать.
Таким образом, обобщенная теорема Фалеса доказана.
