§ 16. Аксиома параллельных прямых

Слово «ровно» объединяет два факта: параллельную можно провести и второй отличной параллельной через ту же точку нет. В модели сравни правильное направление с чуть повёрнутой прямой. Вторая может пересечь исходную очень далеко за краем экрана.

Отсутствие видимого пересечения на маленьком рисунке не доказывает параллельности. Аксиома относится к бесконечным прямым. Если точка лежит на данной прямой, формулировка о внешней точке неприменима: совпадающую прямую не считают второй отличной параллельной.

Аксиомы образуют основу, из которой строятся доказательства теорем. Измерение углов или проведение линий на листе иллюстрирует аксиому, но не заменяет её логический статус. Не нужно выдавать удачный чертёж за доказательство единственности.

Формулировка действует на плоскости в школьной геометрии. Упоминание плоскости защищает от переноса вывода на произвольные пространственные линии или иные геометрические модели. В задачах мы используем именно эту принятую систему правил.

Предположим противное: прямые b и c, обе параллельные a, пересеклись в M. Тогда через M прошли бы две разные прямые, параллельные a. Это противоречит аксиоме, значит предполагаемого пересечения нет.

Так устроено доказательство от противного: временно допускаем отрицание вывода, получаем противоречие известному факту и отвергаем допущение. Важно указать конкретное противоречие, а не только написать слова «что невозможно».

Иначе она была бы параллельна второй. Тогда вместе с первой прямой получились бы две пересекающиеся прямые, параллельные одной и той же второй, что невозможно. Это ещё одно следствие единственности.

Данное свойство позволяет уверенно строить схемы с секущей. Но точка второго пересечения может оказаться вне рисунка: её существование устанавливается рассуждением. Всегда различай бесконечную прямую и короткий отрезок, которым она показана.