Очевидно, что если две прямые не пересекаются, то они параллельны, но как это доказать? Нас учили, как доказать, что две прямые параллельны, доказав, что их дополнительные углы, альтернативные внутренние углы и т. д. равны, но я не могу найти способ сделать это в этом вопросе.
Вы этого не доказываете, потому что это определение. Взгляните на «Элементы» Евклида, настоящую красоту 300 г. до н.э. Значительная часть школьной геометрии — это копипаста из Elements (возможно, без ссылки на эту книгу). Копии на греческом языке просуществовали 2300+ лет.
Определения из Книги 1:
- Параллельные прямые линии — это прямые линии, которые, находясь в одной плоскости и бесконечно повторяясь в обоих направлениях, не пересекаются друг с другом ни в одном направлении. Евклид. Elements (с изображениями фолио!) на http://www.claymath.org
Утверждение «Если две прямые не пересекаются, то они параллельны» имеет противопоставление «Если две прямые не параллельны, то они пересекаются».
Имея две прямые, нарисуйте прямую, пересекающую обе. Поскольку линии не параллельны, сумма двух углов по одну сторону от новой линии должна быть меньше . Теперь вы можете использовать постулат параллельности , чтобы заключить, что две линии пересекаются на этой стороне.
Джонатан Ю.
MayankJain
Майкл Хоппе