Доказательство леммы о перпендикулярности двух параллельных прямых к третьей прямой можно провести следующим образом:
Шаг 1: Рассмотрим параллельные прямые a и b, а также третью прямую c, которая пересекает a и b.
Шаг 2: Пусть точки A и B являются точками пересечения прямых a и c, а точки C и D – точками пересечения прямых b и c.
Шаг 3: Рассмотрим треугольники ABC и BCD. Поскольку прямые a и b параллельны, углы A и C (образованные пересечением прямых a и c, а также b и c соответственно) равны.
Шаг 4: Также углы B и D равны по свойству параллельных прямых.
Шаг 5: Треугольники ABC и BCD имеют одинаковые углы, поскольку в них соответственные углы равны.
Шаг 6: Таким образом, треугольники ABC и BCD подобны.
Шаг 7: Из подобия треугольников ABC и BCD следует, что отношение длин соответственных сторон треугольников равно. То есть, AB/BC = BC/CD.
Шаг 8: Поскольку AB = CD (так как они являются сторонами пересекающей прямой c), получаем, что BC = BC.
Шаг 9: Из равенства BC = BC следует, что треугольники ABC и BCD равны.
Шаг 10: Таким образом, угол ABD равен углу BCD, так как они являются соответственными углами равных треугольников.
Шаг 11: Угол ABD и угол BCD оба образованы пересечением прямых a и c, и угол BCD является прямым углом, так как прямые a и b перпендикулярны.
Шаг 12: Из равенства углов ABD и BCD мы получаем, что угол ABD также является прямым углом.
Шаг 13: Таким образом, прямые a и c перпендикулярны.
Шаг 14: Аналогичным образом можно доказать, что прямые b и c также перпендикулярны.
Шаг 15: Итак, мы доказали, что если прямые a и b параллельны и пересекаются с третьей прямой c, то они оба перпендикулярны к prd всей c.
Это доказательство подтверждает лемму о перпендикулярности двух параллельных прямых к третьей прямой.