Прошу указать на ошибочное место в нижеследующем доказательстве 5-го постулата Евклида.
Сам найти его (ошибочное место) я не могу, т.к. сам придумал это доказательство.
Доказательство очень короткое, так что если там есть ошибка, то разбирающемуся в проблеме человеку, найти ее не займет много времени.
Публиковал его на Хабре (
https://habr.com/ru/articles/588556/), но кроме минусов в карму и в комментариях никакой конструктивной критики не получил.
Но это и понятно, там публика, из которой единицы знают о геометрии Лобачевского и проблеме 5-го постулата.
Недавно узнал, что есть этот форум, так что надеюсь на конструктивную критику.
Итак.
СущностьОсновная идея доказательства заключается в том, что угол между любыми отрезками, взятыми на прямой, всегда равен нулю или 180 градусам, что то же самое в данном случае.
Если данное утверждение справедливо, то верен и 5-й постулат Евклида.
Это доказывается с помощью окружности и прямой проведенной через центр данной окружности.
Т.е. доказательство ведется через рассмотрение свойств прямой линии.
Подробнее Если провести прямую линию через центр окружности, то эта прямая разделит окружность на две равные части.
Такое утверждение представляется вполне очевидным.
Действительно, если бы какая-нибудь из разделённых частей окружности была больше по площади или по длине дуги, то мы были бы вынуждены предоставить аргументацию того, чем вызвано наше предпочтение той или иной из частей.
Будь то искривление пространства или еще какая-нибудь другая идея – все они выходят за рамки логической геометрии.
Так и в «Началах» Евклида есть определение под номером 17.
В переводе Д. Д. Мордухай-Болтовского оно звучит так: «Диаметр же круга есть какая угодно прямая, проведенная через центр и ограничиваемая с обеих сторон окружностью круга, она же рассекает круг
пополам»
Ни у одного из критиков Евклида данное определение не вызвало сомнений, т.к. оно представляется довольно очевидным. Иначе, мы должны были бы определить предпочитаемую сторону, лежащую по ту ли иную сторону от этой прямой.
Возьмем окружность с центром в точке
О и с произвольным радиусом
R1 (Рис.1) Проведем через центр окружности прямую
ab. По определению прямая
ab разделит окружность на две равные части. Точки пересечения окружности и прямой будут точки
A и
B. Длина дуг окружности по одну и другую сторону от секущей прямой будет равна друг другу.
Построим еще одну окружность, но с радиусом
R2 больше чем у первой окружности
R1.
Точки пересечения прямой
ab со второй окружностью
C и
D, также разделят эту окружность на две равные части, и длина двух дуг будет равна друг другу.
Теперь, можно заметить, что угол между лучом
AC (проходящим через точки
A и
C) и лучом
BD (проходящим через точки
B и
D) равен
180 градусов или половина полного угла окружности.
Если же считать отрезки между точками на прямой
ab ненаправленными, то угол между ними будет равен, или 180 градусов, или ноль, что одно и тоже в данном случае.
Так как можно построить окружность любого радиуса, из любой точки, лежащей на произвольной прямой, то отсюда следует вывод,
что в любых точках прямой, угол между любыми отрезками, лежащими на этой прямой, будет равен 180 градусов или 0, что в данном случае равнозначно.Сумма углов в треугольнике.
По второй теореме Лежандра, если существует хотя бы один треугольник, в котором сумма внутренних углов равна двум прямым, то из этого надлежит заключить, что во всяком треугольнике сумма внутренних углов также равна двум прямым.
В случае с текущим доказательством, самым простым способом проверки суммы углов в треугольнике, будет построение четырехугольника с тремя прямыми углами и определение величины четвертого угла. Если четвертый угол окажется прямым, то соответственно сумма углов в четырехугольнике будет равна 360 градусов.
Разделив данный четырехугольник любой диагональю, мы получим два треугольника с суммами углов 180 градусов, т.е. суммой двух прямых.
Итак, восстановим к прямой из точек A и B два перпендикуляра. На перпендикуляре, выходящим из точки В, восстановим еще один перпендикуляр из точки C.
Перпендикуляры, восстановленные из точек А и С, пересекутся в некой точке D. Такое построение справедливо как в геометрии Евклида, так и в геометрии Лобачевского.
Таким образом, в силу нашего построения, мы получим четырехугольник с тремя прямыми углами и одним углом меньшим или равным прямому. Угол больше прямого не допускает Первая теорема Лежандра. Геометрия Лобачевского этого не отрицает.
Возьмем точку О, в середине отрезка BC. Построим окружность c центром в точке O и радиусом OB. Построим окружность с центром в точке O, но с радиусом меньше, чем OB.
Таким образом, мы имеем две окружности с единым центром и прямую проходящую через этот центр. Такая прямая делит окружность на две равные части.
Пользуясь рассуждениями данной статьи, можно видеть, что будут равны нулю углы между отрезками, лежащими на прямой BC.
Такие построения можно провести на всех сторонах четырехугольника.
Теперь, исходя из того, что угол между любыми отрезками на любой стороне четырехугольника равен нулю и суммируя углы между шестью отрезками в точках A, B и C, получим сумму углов равную трем прямым, т.е. 270 градусов.
Следовательно, отрезки на сторонах CD и DA повернуты относительно друг друга на 270 градусов.
Нетрудно заметить, что до полного оборота на плоскости не хватает 90 градусов, т.е. прямого угла.
Из этого следует, что угол четырехугольника в точке D есть прямой угол.
Соответственно, сумма углов в четырехугольнике с тремя прямыми углами по построению, будет равна четырем прямым. Т.е. четырехугольник, есть прямоугольник.
Любая диагональ делит четырехугольник с четырьмя прямыми углами на два треугольника с суммой углов в два прямых.
Ну собственно, и все доказательство.
Дальше, немного о проблеме Определения прямой линии.
Определение прямой линии, как причина проблемы с доказательством 5-го постулата Евклида.Казалось бы такое простое доказательство, данное выше.
Так в чем же причина того, что 5-й постулат остается спорным до сих пор?
Мне представляется, что проблема, как ни странно, кроется в Определении прямой линии.
До сих пор не найдено красивого, лаконичного, очевидного и, что крайне важно, применимого для доказательства Определения прямой линии. Такого Определения, которое запрещало бы «кривизну» прямой линии.
Для прямой линии нет определения, подобного тому, как дано для окружности: «Окружность – это геометрическое место точек, равноудаленных от данной».
Определение прямой линии вида: «Через две точки можно провести только одну прямую» трудно назвать определением. Это скорее описание одного из свойств прямой линии.
Из этого свойства вытекает, что двумя точками можно задать положение прямой линии в пространстве, но к определению прямой это не имеет отношения. Прямая линия может быть как угодно «искривлена», и если у нас нет аргументов считать это абсурдным, то у нас и нет доказательной базы для объявления это абсурдом. Всегда можно будет апеллировать к тому, что «прямота» прямой линии – это наше бытовое представление о ней. Что, например мы не видим «кривизну» в силу ограниченности наблюдаемого нами пространства и если неограниченно продолжить эту прямую линию тогда мы могли бы увидеть ее «кривизну».
Определение через ось тела вращения – это скорее умозрительное описание предмета, не дающее работоспособных правил к применению. Это не более чем бытовое представление о прямой линии, по сути равнозначное определению прямой двумя точками. Этим определением мы ничего не сможем ни доказать, ни опровергнуть.
Определение типа «Прямая – это геометрическое место точек равноудаленных от двух данных», довольно строго описывает прямую, но крайне тяжело применимо для целей доказательства в случаях, где требуется опровергнуть возможную «кривизну» прямой.
Евклид дал такое определение прямой линии (в переводе Д. Д. Мордухай-Болтовского):
«Прямая линия есть та, которая равно расположена по отношению к точкам на ней».
В силу своей неясности, зачастую, вместе с переводом данного определения, оно приводиться в оригинальном виде. Возможно в надежде, что читатели сами смогут понять его витиеватость.
Об этом говорит обширность комментариев даваемых к этому Определению. Но в любом случае оно также неприменимо для целей доказательства или опровержения чего либо. Это просто бытовое представление о прямой линии, тем более не совсем ясное.
Лежандр признает: «Не подлежит сомнению, что безуспешность всех попыток вывести эту теорему (о сумме углов треугольника) из одних только наших сведений об условиях равенства треугольников, содержащихся в I книге Евклида, имеет свой источник в несовершенстве нашей повседневной речи и в трудности дать хорошее определение прямой линии».
Лобачевский не соглашается с этим заявлением. Ни сколько не умаляя ни труда, ни заслуг Лобачевского в поисках истины о 5-м Постулате Евклида, автору представляется, что именно эта причина, замеченная Лежандром, и есть суть проблемы.
Искривление пространства и прочие физические сущностиПри рассуждениях о 5-м постулате Евклида, некоторые популяризаторы уходят в рассуждения об искривлении пространства, об многомерности пространства невидимой бытовому наблюдателю и прочих головокружительных сущностях.
Так вот, что касается геометрии, как предмета рассматриваемого Евклидом, как и его великими последователями включая и Лежандра и Лобачевского, ни о каком физическом пространстве речи у них не идет.
Геометрия Евклида – это чисто логическая абстракция, где пространство не обладает какими либо физическими параметрами. Соответственно и привлечение, каких либо физических идей в геометрии Евклида неуместно.
13.07.2025, 01:29 
, то тем самым он неявно использует в своём доказательстве 5-й постулат Евклида, который он хочет доказать.
. Рассуждение про повороты прямой не обоснованны.
