4 доказательства 5 постулата

ЧЕТЫРЕ АВТОРСКИХ ДОКАЗАТЕЛЬСТВА И ПРОГРАММА ДАЛЬНЕЙШИХ ИССЛЕДОВАНИЙ

В. К. Петросян (Вадимир). 18 ПУТЕЙ К ПЯТОМУ ПОСТУЛАТУ ЕВКЛИДА


*********

© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].

При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны

Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и техническом участии) ChatGPT (OpenAI), GPT-5.6 Sol

******

ГЛАВА 5. ТЕОРЕМА О СУЩЕСТВОВАНИИ КВАДРАТА
5.1. Постановка задачи
Квадрат принадлежит к числу наиболее простых и известных геометрических фигур. Его свойства изучаются на начальных этапах математического образования и широко используются в практической и теоретической деятельности.

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

Одно дело — пользоваться уже известными свойствами квадрата в рамках сложившейся математической теории.

Совершенно другое — установить, из каких первоначальных геометрических положений следует возможность существования такой фигуры.

Именно второй вопрос составляет предмет настоящей главы.

Что означает доказать существование квадрата?
В классической элементарной геометрии квадрат определяется как четырёхугольная прямолинейная фигура, имеющая четыре равные стороны и четыре прямых внутренних угла.

Следовательно, доказательство существования квадрата предполагает установление двух определяющих свойств.

Первое — равенство всех четырёх сторон построенного четырёхугольника.

Второе — прямота всех четырёх его внутренних углов.

При этом недостаточно построить фигуру, внешне напоминающую квадрат.

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

Это разграничение представляется мне особенно важным.

В геометрической практике мы нередко принимаем свойства построенного объекта как непосредственно очевидные. Но с точки зрения строгого доказательства их необходимо установить посредством последовательной системы аргументов.

Более того, некоторые свойства, кажущиеся элементарными, могут фактически зависеть от достаточно сложных геометрических предпосылок.

Именно поэтому теорема о существовании квадрата заслуживает самостоятельного исследования.

Классическое доказательство Евклида
В первой книге «Начал» Евклида построению квадрата посвящено предложение I.46.

Его задача состоит в построении квадрата на заданном прямолинейном отрезке.

Евклид начинает с проведения перпендикуляра к исходному отрезку.

Затем откладывает равный ему отрезок и проводит через соответствующие точки параллельные прямые.

После этого устанавливаются равенство сторон и прямота внутренних углов полученного четырёхугольника.

Классическое доказательство обладает ясной последовательной структурой.

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

Следовательно, это доказательство не может непосредственно рассматриваться как доказательство существования квадрата, полученное без использования пятого постулата.

В полной евклидовой геометрии такая конструкция совершенно корректна.

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

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

Квадрат представляет собой частный случай прямоугольника.

Следовательно, доказательство существования квадрата при тех же исходных условиях обеспечивало бы и доказательство существования прямоугольника.

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

Таким образом, задача существования квадрата приобретает значение, выходящее за пределы исследования одной элементарной геометрической фигуры.

Она становится самостоятельным направлением изучения оснований теории параллельных прямых.

Именно поэтому я включил её в перечень восемнадцати задач Великого геометрического ноочелленджа под номером НЗ-01.

Особенность предлагаемого авторского подхода
В опубликованной мной работе «Теорема о существовании квадрата. История вопроса, геометрические основания и доказательство методом последовательной надстройки» предлагается конструктивный подход, существенно отличающийся по организации от классического построения Евклида.

Его исходная идея состоит в использовании четырёх равных отрезков, выходящих из общего центра и образующих четыре прямых центральных угла.

Свободные концы этих отрезков последовательно соединяются прямолинейными отрезками.

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

Однако главная задача этим ещё не решается.

Необходимо установить прямоту четырёх внутренних углов полученного внешнего контура.

Для этого предлагается метод последовательной надстройки.

Его сущность заключается в построении второй, более крупной фигуры, геометрически связанной с первоначальным четырёхугольником.

При этом первоначальная фигура сохраняется без изменения.

Одна из её вершин становится центром нового построения.

Возникает возможность сопоставить угол первоначального четырёхугольника с системой углов расширенной фигуры.

Таким образом, главная доказательная идея состоит в переходе от свойств центральной радиальной конструкции к свойствам внешнего контура посредством специально организованной геометрической композиции.

Исследовательская цель
Предметом настоящей главы является краткая реконструкция предложенного метода.

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

При этом я считаю необходимым строго различать непосредственно установленные результаты и то центральное утверждение, доказательная состоятельность которого определяет статус всей конструкции.

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

Именно это положение является решающим звеном предлагаемого метода.

Поэтому его исследование имеет самостоятельное математическое значение.

5.2. Исходные геометрические положения
Предлагаемый метод ориентирован на использование элементарных геометрических построений.

Его исходными объектами выступают точка, прямая, отрезок, прямой угол и геометрические фигуры, составленные из соответствующих элементов.

Основное внимание уделяется отношениям прямолинейности, перпендикулярности, равенства отрезков и конгруэнтности треугольников.

Первоначальные геометрические средства
В построении используются следующие положения и операции.

Проведение прямой через заданные точки. Это исходная операция, соответствующая первому постулату Евклида.

Продолжение прямолинейного отрезка. Второй постулат Евклида допускает продолжение конечной прямой по прямой.

Построение равных отрезков. Для этого используются обычные геометрические операции, связанные с проведением окружностей и откладыванием заданных длин.

Построение перпендикуляров. Используются элементарные конструкции прямых углов и равенство всех прямых углов.

Конгруэнтность треугольников. Применяется признак равенства треугольников по двум сторонам и углу между ними, представленный в предложении I.4 «Начал».

Свойства смежных и вертикальных углов. Они используются при исследовании первоначальной фигуры и продолжении её сторон.

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

Поэтому в полной доказательной реконструкции необходимо фиксировать конкретные предложения «Начал», используемые для выполнения каждой операции.

Принципиальные ограничения
В предлагаемом исследовании не предполагается заранее использовать теорему о сумме углов произвольного треугольника, свойства параллелограммов, зависящие от пятого постулата, или общую теорию подобия фигур различных размеров.

Кроме того, не принимается в качестве исходного утверждение о существовании прямоугольника.

Это условие особенно важно.

Ведь иначе существование квадрата можно было бы получить посредством уже известной геометрической конструкции, не решив поставленной исследовательской задачи.

Вместе с тем при построении применяются конгруэнтные треугольники.

Конгруэнтность означает равенство фигур по форме и размерам.

Её необходимо отличать от подобия, при котором соответствующие фигуры могут иметь различные размеры.

Это различие приобретёт особое значение при рассмотрении увеличенного четырёхугольника.

Выбор первоначального центра
Начнём построение с произвольной точки O.

Через неё проведём прямую.

Для удобства изложения будем считать её горизонтальной.

На полученной прямой по разные стороны от O отметим точки D и B.

Выберем их так, чтобы отрезки OD и OB были равны.

Затем через точку O проведём вторую прямую, перпендикулярную первой.

На ней по разные стороны от центра отметим точки A и C.

Отрезки OA и OC также выберем равными первоначальным радиальным отрезкам.

Таким образом, вокруг точки O получаем четыре равных отрезка: OA, OB, OC и OD.

Каждые два соседних отрезка образуют прямой угол.

Здесь необходимо подчеркнуть, что прямые углы возникают непосредственно в результате построения двух взаимно перпендикулярных прямых.

Их существование не выводится из свойств какого-либо первоначально заданного четырёхугольника.

Напротив, именно эти прямые углы становятся исходной основой дальнейшего построения.

Образование внешнего четырёхугольника
Теперь последовательно соединим соседние точки D, A, B и C прямолинейными отрезками.

Получим замкнутый четырёхугольник DABC.

Его сторонами являются DA, AB, BC и CD.

Диагоналями служат DB и AC.

Обе диагонали проходят через точку O.

В результате построения непосредственно установлены следующие свойства.

Диагонали взаимно перпендикулярны.

Они равны по длине.

Точка O делит каждую из них пополам.

Все четыре радиальных отрезка равны.

Четыре центральных угла прямые.

На данном этапе мы ещё не будем называть внешнюю фигуру квадратом.

Необходимо последовательно установить её остальные свойства.

Четыре центральных треугольника
Радиальные отрезки разделяют первоначальный четырёхугольник на четыре треугольника: AOB, BOC, COD и DOA.

Каждый из этих треугольников имеет две равные стороны, образующие прямой угол.

Следовательно, каждый представляет собой прямоугольный равнобедренный треугольник.

Но более существенно другое обстоятельство.

Все четыре треугольника конгруэнтны.

Действительно, у них соответственно равны две стороны и заключённый между ними угол.

Следовательно, по первому признаку конгруэнтности они равны между собой.

Этот результат непосредственно следует из исходного построения и не требует использования пятого постулата.

Из него, в свою очередь, вытекают важные свойства внешнего четырёхугольника.

Доказательство равенства сторон
Каждая сторона четырёхугольника DABC является основанием одного из четырёх центральных треугольников.

Поскольку все эти треугольники конгруэнтны, их основания равны.

Следовательно, равны все четыре стороны внешнего четырёхугольника.

Таким образом, его равносторонность установлена.

Это первый определяющий признак квадрата.

Доказательство равенства внутренних углов
Рассмотрим внутренний угол при вершине B.

Он разделяется радиальным отрезком BO на два угла, принадлежащих соседним центральным треугольникам.

Поскольку центральные треугольники конгруэнтны, соответствующие углы при их основаниях равны.

Поэтому внутренний угол при вершине B состоит из двух одинаковых углов.

Аналогичное рассуждение применимо к вершинам A, C и D.

Следовательно, все четыре внутренних угла внешнего четырёхугольника равны между собой.

Обозначим их общую величину словами как величину внешнего угла.

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

Однако конкретная величина его внутренних углов пока не установлена.

Здесь возникает важнейшее разграничение.

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

Следовательно, первоначальная конструкция ещё не завершает поставленную задачу.

Именно для исследования оставшегося свойства вводится метод последовательной надстройки.

5.3. Основная конструкция
Сущность предлагаемого метода заключается в построении второй геометрической фигуры, связанной с первоначальным четырёхугольником определённой системой общих элементов.

При этом новое построение осуществляется не посредством перемещения первоначальной фигуры, а посредством расширения геометрической конфигурации.

Принцип сохранения первоначальной фигуры
Этот принцип занимает центральное место в авторском подходе.

Первоначальный четырёхугольник DABC сохраняется неизменным.

Его вершины остаются на своих местах.

Его стороны сохраняют первоначальные длины и направления.

Его диагонали не изменяются.

Вся ранее установленная система отношений сохраняет силу.

Новое построение не заменяет исходную фигуру, а включает её в более сложную геометрическую конструкцию.

Таким образом, исследование переходит от отдельного геометрического объекта к системе взаимосвязанных объектов.

Выбор нового центра
В качестве центра расширенного построения принимается точка B.

Напомним, что в первоначальном четырёхугольнике она является одной из четырёх внешних вершин.

При ней расположен внутренний угол ABC.

Теперь та же точка B получает вторую геометрическую роль: становится центром новой радиальной конструкции.

Именно в этом изменении роли одной и той же точки заключается наиболее характерная особенность метода.

Первоначальный угол сохраняется, но оказывается включённым в новую систему геометрических отношений.

Продолжение первоначальной диагонали
Точки D, O и B лежат на одной прямой.

При этом O является серединой первоначальной диагонали DB.

Продолжим указанную прямую за точку B.

На её продолжении отметим точку W так, чтобы расстояние от B до W было равно расстоянию от B до D.

Теперь B является серединой нового отрезка DW.

Полученная горизонтальная диагональ вдвое длиннее первоначальной.

Для этого построения используется возможность прямолинейного продолжения отрезка и откладывания равной длины.

Построение нового перпендикуляра
Через точку B проведём прямую, перпендикулярную DW.

На двух образованных ею противоположных лучах отметим точки U и V.

Выберем их так, чтобы отрезки BU и BV были равны отрезкам BD и BW.

Таким образом, вокруг точки B снова получаем четыре равных радиальных отрезка.

Они расположены на двух взаимно перпендикулярных прямых и образуют четыре прямых центральных угла.

По своей конструктивной схеме новое построение аналогично первоначальному.

Однако его центр изменён, а длина каждого радиального отрезка увеличена вдвое.

Получение увеличенного четырёхугольника
Соединим последовательно точки D, U, W и V.

Получим новый четырёхугольник DUWV.

Его диагоналями являются DW и UV.

Они равны, взаимно перпендикулярны и делятся точкой B пополам.

Четыре центральных треугольника увеличенного четырёхугольника имеют по две равные радиальные стороны и прямому углу между ними.

Следовательно, они конгруэнтны.

Отсюда вытекает равенство всех четырёх сторон увеличенной фигуры.

Аналогично первоначальному построению можно установить равенство её четырёх внутренних углов.

Таким образом, увеличенный четырёхугольник воспроизводит основные доказанные свойства первоначального.

Однако из одного лишь увеличения радиальных отрезков пока не следует, что обе фигуры подобны или что большая фигура состоит из четырёх точных копий меньшей.

Именно это отношение становится предметом следующего этапа.

Продолжение первоначальных сторон
Вернёмся к вершине B первоначального четырёхугольника.

При ней сходятся стороны BA и BC.

Продолжим обе прямые за точку B, не изменяя их направления.

Продолжение прямой CB предполагается пересечь с верхней правой стороной UW увеличенного четырёхугольника.

Соответствующую точку пересечения обозначим E.

Аналогично продолжение прямой AB предполагается пересечь с нижней правой стороной WV.

Соответствующую точку обозначим F.

При наличии этих пересечений вокруг B возникают четыре угла, образованные первоначальными сторонами и их продолжениями.

Два противоположных угла являются вертикальными и потому равны.

Два других также образуют равную между собой пару.

Однако этого ещё недостаточно для установления равенства всех четырёх углов.

Чтобы получить такой результат, необходимо использовать дополнительные свойства расширенной конструкции.

Четырёхчастная композиция
В обычной евклидовой геометрии рассматриваемая конструкция допускает наглядное представление в виде большого квадрата, составленного из четырёх равных малых квадратов.

Именно этот образ послужил отправным пунктом предлагаемого метода.

Однако в нашем исследовании первоначальный четырёхугольник ещё не объявлен квадратом.

Поэтому четырёхчастная композиция должна быть не просто изображена, а математически обоснована.

В опубликованной работе рассматриваются четыре составляющие фигуры.

Первая — первоначальный четырёхугольник DABC.

Вторая — четырёхугольник AUEB.

Третья — четырёхугольник BEWF.

Четвёртая — четырёхугольник CBFV.

Все четыре предполагается расположить вокруг точки B так, чтобы они образовали единую увеличенную фигуру.

При этом необходимо установить, что составляющие области не имеют зазоров и наложений, а их внешние и внутренние границы согласованы.

Но этого ещё недостаточно.

Требуется также доказать конгруэнтность всех четырёх частей.

Иными словами, каждая должна обладать теми же сторонами и внутренними углами, что и первоначальная фигура DABC.

Именно здесь формулируется центральная геометрическая лемма авторского метода.

Лемма о четырёхчастной надстройке
Содержание леммы можно изложить следующим образом.

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

Пусть затем одна из его внешних вершин принята за центр новой радиальной конструкции с вдвое большими радиальными отрезками.

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

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

Данное утверждение и представляет собой лемму о четырёхчастной надстройке.

Её содержание значительно глубже простой операции увеличения размеров.

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

В частности, требуется установить, что точки D, A и U принадлежат одной прямой.

Аналогично необходимо доказать прямолинейное расположение точек D, C и V.

Кроме того, следует установить существование точек E и F на соответствующих сторонах увеличенного четырёхугольника.

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

Таким образом, центральная лемма включает несколько самостоятельных геометрических требований.

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

5.4. Конспект авторского доказательства
Теперь изложим всю предлагаемую доказательную схему в последовательной форме.

Её удобно разделить на несколько этапов, каждый из которых имеет определённое математическое назначение.

Первый этап. Построение радиальной системы
Через произвольную точку O проводятся две взаимно перпендикулярные прямые.

На четырёх образованных ими лучах откладываются равные ненулевые отрезки.

Их свободные концы обозначаются A, B, C и D.

Непосредственно устанавливаются равенство четырёх радиальных отрезков и прямота всех четырёх центральных углов.

Этот результат обеспечивается первоначальной конструкцией.

Второй этап. Получение внешнего четырёхугольника
Свободные концы радиальных отрезков последовательно соединяются прямолинейными отрезками.

Получается четырёхугольник DABC.

Его диагонали равны, взаимно перпендикулярны и делятся общим центром O пополам.

Тем самым построение получает определённую внутреннюю геометрическую организацию.

Третий этап. Доказательство конгруэнтности центральных треугольников
Четыре радиальные пары образуют треугольники AOB, BOC, COD и DOA.

Все они прямоугольные и равнобедренные.

По двум сторонам и углу между ними устанавливается их конгруэнтность.

Из неё следует равенство оснований указанных треугольников, а значит, и четырёх сторон первоначального четырёхугольника.

Аналогичным образом устанавливается равенство четырёх внутренних углов внешнего контура.

Таким образом, получен равносторонний и равноугольный четырёхугольник.

Но конкретная величина этих углов пока не установлена.

Четвёртый этап. Перенос центра построения
В качестве центра второй радиальной конструкции выбирается первоначальная вершина B.

Через неё сохраняется направление диагонали DB, которая продолжается за B.

На продолжении откладывается отрезок, равный всей первоначальной диагонали DB.

Через B проводится перпендикуляр.

На двух его противоположных лучах откладываются равные отрезки той же длины.

В результате возникает новая система четырёх равных радиальных отрезков и четырёх прямых центральных углов.

Здесь первоначальная вершина становится центром нового построения.

Это ключевой конструктивный приём авторского метода.

Пятый этап. Построение увеличенного четырёхугольника
Соединяются внешние точки новой радиальной системы.

Получается четырёхугольник DUWV.

Конгруэнтность его четырёх центральных треугольников позволяет установить равенство сторон и внутренних углов внешнего контура.

Таким образом, построен второй равносторонний и равноугольный четырёхугольник.

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

Шестой этап. Согласование границ двух фигур
Первоначальные стороны AB и CB продолжаются через B по прямой.

Предполагается образование точек E и F на соответствующих сторонах увеличенного четырёхугольника.

Далее вводится лемма о четырёхчастной надстройке.

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

При этом четыре соответствующих внутренних угла должны сходиться в точке B.

Именно этот этап является центральным и требует самостоятельного доказательства.

Построение второй радиальной системы не следует смешивать с доказательством полного конгруэнтного заполнения полученной фигуры.

Седьмой этап. Вывод о прямоте первоначальных углов
Предположим, что лемма о четырёхчастной надстройке установлена.

Тогда в точке B сходятся четыре равных угла, каждый из которых соответствует внутреннему углу исходного четырёхугольника.

Эти четыре угла полностью окружают B.

Следовательно, их сумма составляет полный угол.

Поскольку все они равны, каждый составляет четверть полного угла.

Иными словами, каждый является прямым.

В частности, прямым оказывается первоначальный внутренний угол ABC.

Но ранее уже было установлено, что все четыре внутренних угла первоначального четырёхугольника равны.

Следовательно, прямыми являются и три оставшихся угла.

Таким образом, первоначальная фигура имеет четыре равные стороны и четыре прямых внутренних угла.

По определению она является квадратом.

Доказательное значение полученного вывода
Заключительная часть рассуждения имеет ясную логическую структуру.

Если четыре конгруэнтные копии первоначальной фигуры действительно сходятся соответствующими углами вокруг одной точки и полностью заполняют полный угол, то прямота этих углов следует непосредственно.

При этом нет необходимости использовать заранее известную сумму внутренних углов произвольного четырёхугольника.

Однако решающее значение имеет именно доказательство предполагаемого четырёхчастного заполнения.

Поэтому весь результат следует формулировать в виде условного геометрического утверждения.

Если лемма о четырёхчастной надстройке доказана в принятой системе исходных геометрических положений, то первоначальный равносторонний и равноугольный четырёхугольник DABC является квадратом.

Именно такая формулировка наиболее точно выражает нынешнюю доказательную структуру опубликованного исследования.

Она отделяет непосредственно установленные свойства первоначального построения от дополнительного условия, необходимого для заключительного вывода.

Значение метода последовательной надстройки
Особенность метода состоит не в использовании сложного математического аппарата.

Напротив, его исходными элементами являются наиболее простые геометрические объекты и отношения.

Две взаимно перпендикулярные прямые.

Равные радиальные отрезки.

Конгруэнтные треугольники.

Прямолинейное продолжение сторон.

Сохранение первоначальной фигуры.

Изменение центра геометрического построения.

Включение исходного объекта в более крупную систему.

В этом отношении предлагаемый подход представляет интерес как определённая исследовательская стратегия.

Он позволяет поставить вопрос о том, каким образом свойства исходной геометрической фигуры могут быть установлены через её включение в расширенную конструкцию.

Однако такая стратегия приобретает доказательную силу только тогда, когда все необходимые свойства расширенной конструкции обоснованы.

Поэтому самостоятельная разработка центральной леммы остаётся важнейшей задачей дальнейшего исследования.

5.5. Результаты и вопросы дальнейшей проверки
Предлагаемый метод последовательной надстройки имеет достаточно определённую конструктивную структуру.

Вместе с тем для правильной математической оценки его результатов необходимо различать несколько уровней доказательной завершённости.

Особенно важно, что соответствующие вопросы уже отражены в критическом математическом комментарии, включённом в первоначальную публикацию.

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

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

Доказано, что его диагонали равны, взаимно перпендикулярны и делятся общей точкой пополам.

Установлена конгруэнтность четырёх центральных прямоугольных равнобедренных треугольников.

Из этого следует равенство всех четырёх сторон внешнего четырёхугольника.

Аналогично устанавливается равенство всех четырёх внутренних углов.

Таким образом, первоначальная конструкция действительно обладает целым комплексом доказанных свойств.

Эти результаты имеют самостоятельную геометрическую значимость.

Однако они пока не устанавливают конкретную величину внутренних углов фигуры.

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

Его центром служит первоначальная вершина B.

Его радиальные отрезки вдвое длиннее исходных.

Четыре центральных угла также прямые.

Соответствующие центральные треугольники конгруэнтны между собой.

Следовательно, стороны увеличенного четырёхугольника равны.

Вместе с тем первоначальная фигура сохраняется неизменной.

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

Но из этого ещё не следует, что увеличенная фигура распадается на четыре конгруэнтные копии первоначальной.

Соответствующее отношение требует специального обоснования.

Третий результат: условная теорема о четырёхчастной надстройке
Основной заключительный результат имеет условный характер.

Если доказано, что увеличенный четырёхугольник состоит из четырёх конгруэнтных частей, соответствующих первоначальному четырёхугольнику, и что их равные внутренние углы полностью окружают новую центральную точку, то прямота этих углов устанавливается непосредственно.

Отсюда следует прямота всех углов первоначального четырёхугольника.

В сочетании с ранее доказанным равенством сторон это позволяет заключить, что исходная фигура является квадратом.

Данный вывод математически корректен при выполнении указанных условий.

Однако сам факт выполнения центральной леммы должен быть установлен независимо.

Именно поэтому опубликованная работа представляет собой одновременно конкретную геометрическую конструкцию и программу дальнейшего исследования её доказательных оснований.

Сводная характеристика доказательного статуса
Этап исследования Доказательный статус
Четыре равных радиуса и прямые центральные углы Установлено построением
Равенство сторон и углов внешнего контура Установлено конгруэнтностью треугольников
Построение увеличенного четырёхугольника Обосновано
Четырёхчастное конгруэнтное заполнение Требует отдельного доказательства
Прямота внешних углов исходной фигуры Следует при выполнении центральной леммы
Эта характеристика позволяет точно определить, какие положения используются в доказательной схеме и на каком этапе возникает необходимость дополнительного исследования.

Проблема совпадения прямолинейных границ
Первый вопрос дальнейшей проверки относится к взаимному расположению исходного и увеличенного четырёхугольников.

Для предполагаемого четырёхчастного разбиения необходимо установить, что точки D, A и U принадлежат одной прямой.

Аналогично требуется доказать прямолинейное расположение точек D, C и V.

В обычной евклидовой конфигурации соответствующие отношения действительно имеют место.

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

Здесь недостаточно сослаться на то, что радиальные отрезки второго построения вдвое длиннее первоначальных.

Само увеличение длин ещё не устанавливает сохранение всех соответствующих направлений при соединении внешних точек.

Следовательно, необходима самостоятельная геометрическая лемма о совпадении указанных прямолинейных границ.

Геометрическое значение продолжения прямой
Второй вопрос связан с использованием второго постулата Евклида.

Он допускает продолжение конечного прямолинейного отрезка по той же прямой.

Но это положение необходимо отличать от утверждения о прохождении продолженной прямой через некоторую независимо построенную точку.

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

Такой вывод требует собственного геометрического обоснования.

Аналогичная проблема возникает для других сторон исходного четырёхугольника.

Поэтому задача состоит не в доказательстве самой возможности продолжения прямой, а в установлении точных отношений между продолжением и внешними точками увеличенной конструкции.

Существование точек пересечения
Третий вопрос касается точек E и F.

Они вводятся как предполагаемые точки пересечения продолженных сторон исходного четырёхугольника с определёнными сторонами увеличенной фигуры.

Однако в строгом доказательстве необходимо установить, что такие пересечения действительно существуют.

Кроме того, нужно определить их положение на соответствующих отрезках.

Этого нельзя заменить указанием на предполагаемое расположение фигур на чертеже.

Следовательно, существование и взаимное расположение E и F должны стать предметом самостоятельного геометрического исследования.

Доказательство конгруэнтности четырёх частей
Четвёртый вопрос имеет центральное значение.

Даже если увеличенный четырёхугольник удалось разделить на четыре области, из этого ещё не следует, что все они конгруэнтны первоначальной фигуре.

Необходимо установить равенство их соответствующих сторон и углов.

При этом важно различать конгруэнтность четырёх центральных треугольников первоначального построения и конгруэнтность четырёх составляющих четырёхугольников увеличенной фигуры.

Первое свойство уже доказано.

Второе представляет собой новое утверждение.

Нельзя автоматически переносить доказательство первого свойства на второе без проверки соответствующих геометрических отношений.

Именно здесь находится основной содержательный вопрос леммы о четырёхчастной надстройке.

Проблема подобия и изменения масштаба
Пятый вопрос связан с отношением двух построений, имеющих радиальные отрезки разных размеров.

В привычной евклидовой геометрии соответствующие фигуры могут рассматриваться посредством теории подобия.

Однако если задача заключается в получении результата без предварительного использования пятого постулата, необходимо установить допустимость применения соответствующих теорем.

Особое значение имеет различие между конгруэнтностью и подобием.

Центральные треугольники внутри каждого построения конгруэнтны между собой.

Но центральные треугольники первоначальной и увеличенной фигур имеют различные размеры.

Поэтому их взаимная конгруэнтность отсутствует.

Если требуется установить равенство их соответствующих углов, необходимо доказать соответствующее положение посредством допустимых исходных средств.

Таким образом, изменение масштаба само по себе не должно рассматриваться как достаточное доказательство сохранения всех угловых отношений.

Четыре угла вокруг новой центральной точки
Шестой вопрос относится к заключительному этапу рассуждения.

Продолжение двух сторон исходного четырёхугольника через B действительно образует четыре угла вокруг этой точки.

Два противоположных угла являются вертикальными и потому равны.

Однако из наличия полного угла и равенства вертикальных углов не следует равенство всех четырёх образованных углов.

Для такого вывода необходимо самостоятельное основание.

В рассматриваемой конструкции им должна стать конгруэнтность четырёх составляющих частей надстройки.

Если она будет доказана, заключительный переход к прямоте внутренних углов станет непосредственным.

Следовательно, вопрос о четырёх углах вокруг B вновь возвращает исследование к центральной лемме.

Вопрос о площади увеличенной фигуры
Наконец, дополнительного внимания требует отношение площадей двух четырёхугольников.

Увеличение радиальных отрезков вдвое ещё не является самостоятельным доказательством четырёхкратного увеличения площади.

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

Если четырёхчастная конгруэнтная композиция будет установлена, требуемое отношение площадей станет её непосредственным следствием.

Но нельзя использовать это отношение как исходное основание для доказательства самой композиции.

Следовательно, здесь также необходимо соблюдать правильную последовательность доказательных переходов.

Программа дальнейшей проверки
Перечисленные вопросы позволяют сформулировать конкретную программу математической доработки метода.

Прежде всего необходимо уточнить весь комплекс исходных геометрических положений.

Затем требуется самостоятельно обосновать совпадение соответствующих прямолинейных границ двух построений.

После этого следует доказать существование точек пересечения и правильность их расположения.

Далее необходимо установить полное разбиение увеличенной фигуры на четыре области без зазоров и наложений.

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

Лишь после этого можно будет использовать их угловые отношения для безусловного заключения о прямоте внешних углов исходной фигуры.

При этом проверка должна быть направлена не на подтверждение заранее принятого результата, а на установление действительной логической структуры геометрического доказательства.

Если при исследовании обнаружится дополнительная необходимая предпосылка, её следует явно сформулировать и определить доказательный статус.

Если потребуется изменить геометрическую конструкцию, такое изменение должно сопровождаться самостоятельным обоснованием.

В любом случае центральным предметом экспертизы должна оставаться сама математическая аргументация.

Значение доказательной схемы для ноочелленджа
НЗ-01 занимает особое место в предлагаемом Великом геометрическом ноочеллендже.

Во-первых, это одна из четырёх задач, по которым уже опубликованы авторские исследования.

Во-вторых, она связана с одной из наиболее простых геометрических фигур.

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

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

Для целей ноочелленджа это обстоятельство особенно существенно.

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

В частности, лемма о четырёхчастной надстройке может рассматриваться как отдельная геометрическая задача.

Её необходимо исследовать при точно определённых исходных предпосылках.

Возможны различные подходы к установлению соответствующих свойств.

Одни могут использовать прямолинейные построения и конгруэнтность треугольников.

Другие — специальные вспомогательные конструкции.

Третьи — иные способы геометрической композиции.

В результате может возникнуть самостоятельное направление исследования, связанное с доказательством свойств вложенных и последовательно надстраиваемых геометрических фигур.

Авторская позиция
В заключение хочу подчеркнуть, что для меня принципиальное значение имеет не только непосредственный результат рассматриваемой задачи.

Мне представляется интересным сам способ постановки вопроса о существовании квадрата.

Мы начинаем с двух взаимно перпендикулярных прямых.

Строим четыре равных радиальных отрезка.

Устанавливаем конгруэнтность четырёх центральных треугольников.

Получаем равносторонний и равноугольный четырёхугольник.

После этого расширяем первоначальную конструкцию, принимая одну из её вершин за новый центр.

Так возникает возможность исследовать свойства исходной фигуры через отношения с более крупной геометрической системой.

Именно эта идея последовательной надстройки составляет наиболее характерную особенность предложенного мной метода.

Однако её доказательная продуктивность определяется тем, насколько строго можно установить геометрические отношения между первоначальной и увеличенной фигурами.

Поэтому лемма о четырёхчастном конгруэнтном заполнении остаётся центральным предметом дальнейшего исследования.

При этом я не рассматриваю задачу существования квадрата как главную стратегическую проблему развития геометрической науки.

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

Однако проблема существования квадрата представляет значительный интерес как самостоятельное историко-математическое исследование и одно из направлений Великого геометрического ноочелленджа.

Именно в таком качестве она включается в настоящую книгу.

Заключение к главе 5
Теорема о существовании квадрата относится к числу известных альтернативных постановок проблемы пятого постулата Евклида.

Её классическое доказательство давно представлено в элементарной геометрии.

Однако исследование первоначальных геометрических предпосылок позволяет поставить самостоятельный вопрос о возможности получения соответствующего результата посредством иных конструктивных методов.

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

Исходная конструкция позволяет установить целый комплекс геометрических свойств.

Доказаны равенство четырёх сторон и равенство четырёх внутренних углов внешнего контура.

Установлены конгруэнтность центральных треугольников, равенство диагоналей, их взаимная перпендикулярность и деление пополам общим центром.

Вторая радиальная конструкция также обладает аналогичными непосредственно устанавливаемыми свойствами.

Однако заключительный переход к доказательству прямоты внутренних углов первоначального четырёхугольника зависит от центральной леммы о четырёхчастной надстройке.

Её самостоятельное доказательство требует дальнейшей математической разработки.

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

Для Великого геометрического ноочелленджа это обстоятельство имеет самостоятельное значение.

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

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

Именно поэтому НЗ-01 сохраняет статус открытого направления для представления новых самостоятельных доказательств всеми участниками ноочелленджа.

В следующей главе мы перейдём к другой авторской работе — теореме о сверхбольшом треугольнике.

Здесь предметом исследования станет уже не существование отдельного четырёхугольника, а возможность последовательного увеличения конечных геометрических фигур и проблема неограниченности площади треугольника.

Основные источники и литература
Петросян В. К. (Вадимир). Теорема о существовании квадрата. История вопроса, геометрические основания и доказательство методом последовательной надстройки. Lag.ru, 28 октября 2026 года. Основной авторский источник настоящей главы. Полный текст публикации.
Евклид. Начала. Книга I, предложения I.4, I.11, I.29, I.31, I.34, I.46. Предложение I.46 в переводе и комментариях Т. Хита.
Heath T. L. The Thirteen Books of Euclid’s Elements. Cambridge University Press, 1908.
Saccheri G. G. Euclides ab omni naevo vindicatus. Milan, 1733.
Lambert J. H. Theorie der Parallellinien. Рукопись 1766 года, опубликована в 1786 году.
Hilbert D. Grundlagen der Geometrie. Leipzig, 1899.
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года.
********

ГЛАВА 6. ТЕОРЕМА О СВЕРХБОЛЬШОМ ТРЕУГОЛЬНИКЕ
6.1. Постановка задачи
Треугольник принадлежит к числу наиболее простых геометрических фигур. Его свойства исследуются с первых шагов изучения геометрии, а сама возможность построения треугольника составляет одну из исходных проблем классической геометрической теории.

Уже первое предложение первой книги «Начал» Евклида посвящено построению равностороннего треугольника на заданном конечном отрезке.

На первый взгляд трудно представить, что столь элементарная фигура способна стать предметом фундаментального исследования, непосредственно связанного с проблемой пятого постулата Евклида.

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

В четвёртой главе настоящей книги соответствующее утверждение включено в перечень восемнадцати эквивалентов пятого постулата под номером НЗ-04.

Его можно сформулировать следующим образом:

Площади треугольников не имеют общей конечной верхней границы.

Иначе говоря, в рассматриваемой геометрической системе существуют треугольники со сколь угодно большой площадью.

Этот результат необходимо отличать от более простого утверждения о возможности построения треугольника с большой длиной стороны.

Именно указанное различие составляет одну из центральных проблем настоящей главы.

Что я называю сверхбольшим треугольником?
В своей работе «Теорема о сверхбольшом треугольнике. История вопроса, геометрические основания и доказательство методом неограниченного увеличения конечных фигур», опубликованной 28 октября 2026 года, я предложил исследовать данную проблему посредством специальной последовательности геометрических построений.

Основным объектом исследования выступает равносторонний треугольник.

Его три стороны равны между собой.

Фигура ограничена тремя прямолинейными отрезками.

Она обладает тремя внутренними углами и определённой внутренней областью.

При этом каждый конкретный рассматриваемый треугольник имеет конечные размеры.

Термин «сверхбольшой треугольник» не предполагает существования особого вида геометрических фигур, принципиально отличающихся от обычных треугольников.

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

Например, можно рассмотреть равносторонний треугольник, сторона которого составляет миллион километров.

Затем — треугольник со стороной в миллиард километров.

После этого — фигуру, обладающую ещё большими конечными размерами.

Однако ни одно из перечисленных чисел не имеет принципиального геометрического значения.

Не существует необходимости заранее устанавливать некоторую условную границу, после достижения которой треугольник приобретает статус сверхбольшого.

В математическом отношении гораздо важнее сама возможность продолжать соответствующие построения.

Поэтому предлагаю следующее рабочее определение.

Сверхбольшим равносторонним треугольником будем называть конечный равносторонний треугольник произвольно большого размера, рассматриваемый как результат последовательного геометрического увеличения конечных фигур.

Данное определение характеризует исследовательскую задачу, а не вводит новый геометрический объект с особыми свойствами.

Почему не нужен бесконечный треугольник?
Здесь необходимо подчеркнуть принципиальное обстоятельство.

Для получения треугольников сколь угодно большой площади вовсе не требуется построить треугольник с бесконечной стороной.

Такой объект вообще не входит в первоначальную постановку рассматриваемой задачи.

Каждое отдельное построение должно оставаться конечным.

Мы начинаем с определённой фигуры.

Затем получаем другую, более крупную.

После этого рассматриваем возможность нового увеличения.

В результате возникает последовательность конечных геометрических объектов.

Смысл исследования состоит в том, чтобы установить общее свойство такой последовательности.

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

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

В нашей задаче исследуется именно второе свойство.

Почему недостаточно увеличивать стороны?
В привычной евклидовой геометрии увеличение линейных размеров треугольника сопровождается соответствующим изменением его площади.

Для равностороннего треугольника существует известная аналитическая формула, связывающая площадь с квадратом длины стороны.

Однако при исследовании первоначальных оснований геометрии необходимо учитывать, из каких геометрических положений эта зависимость выводится.

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

Поэтому я предлагаю иной подход.

Его исходным предметом становится не аналитическая формула площади, а конструктивное отношение между конечными геометрическими фигурами.

В частности, необходимо исследовать возможность образования более крупного равностороннего треугольника посредством объединения нескольких конгруэнтных треугольников.

Если такая композиция существует, то отношения площадей могут устанавливаться на основании свойств самих составляющих фигур.

Таким образом, исследование приобретает непосредственно геометрический характер.

Основная исследовательская задача
В настоящей главе необходимо последовательно рассмотреть три взаимосвязанных вопроса.

Первый касается возможности построения равносторонних треугольников различных конечных размеров.

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

Третий заключается в установлении условий, при которых соответствующие построения обеспечивают неограниченное возрастание площадей.

Особенно важным является третий вопрос.

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

Поэтому основная цель предлагаемого метода заключается в обнаружении и обосновании такой геометрической конструкции, которая непосредственно связывает увеличение исходной фигуры с определённым отношением площадей.

Именно здесь возникает идея четырёхчастного разбиения и обратной композиции равносторонних треугольников.

6.2. Принцип увеличения геометрических фигур
В основе предлагаемого исследования лежит принцип последовательного увеличения конечных геометрических фигур.

Однако для математической определённости необходимо прежде всего уточнить, что именно подразумевается под увеличением.

В обычной геометрической практике этот термин может использоваться в нескольких различных значениях.

Можно увеличить отдельный отрезок.

Можно построить более крупную фигуру того же вида.

Можно осуществить преобразование, сохраняющее форму фигуры.

Наконец, можно получить новую геометрическую область, площадь которой превышает площадь первоначальной.

Эти операции тесно связаны между собой, но их нельзя автоматически отождествлять.

Увеличение линейного размера
Начнём с конечного отрезка AB длиной a.

Предположим, что геометрические операции позволяют построить другой конечный отрезок DE, длина которого b превышает a.

На обоих отрезках можно поставить задачу построения равносторонних треугольников.

Если необходимые построения осуществимы, получим две фигуры, имеющие соответственно равные между собой стороны.

Однако утверждение о существовании большего отрезка само по себе ещё не раскрывает отношения между площадями двух построенных треугольников.

Для этого требуется исследовать дополнительные геометрические свойства.

Поэтому увеличение длины следует рассматривать как первоначальную операцию, а не как завершение всей доказательной программы.

Построение треугольника на заданном отрезке
Классический способ построения равностороннего треугольника представлен уже в предложении I.1 «Начал» Евклида.

Пусть дан конечный отрезок AB.

Из точки A описывается окружность радиуса AB.

Из точки B описывается другая окружность с тем же радиусом.

Пусть C — одна из точек пересечения этих окружностей.

Соединим C с A и B.

По определению окружности:

AC = AB,

BC = AB.

Следовательно:

AB = BC = CA.

Таким образом, треугольник ABC является равносторонним.

При этом пятый постулат непосредственно не используется.

Однако при строгой аксиоматической реконструкции необходимо учитывать, что существование требуемой точки пересечения окружностей также нуждается в соответствующем основании.

Это замечание не изменяет существа классического построения, но имеет значение для точного описания его предпосылок.

Произвольность конечных размеров
В авторском исследовании особое значение придаётся тому, что первоначальная сторона треугольника не обязана иметь некоторую специально установленную малую длину.

Рассматриваемая геометрическая операция должна быть применима к конечным отрезкам различных размеров.

Однако здесь необходимо разграничить два самостоятельных положения.

Первое утверждает, что на уже данном допустимом отрезке может быть построен равносторонний треугольник.

Второе устанавливает возможность получать отрезки сколь угодно большой конечной длины.

Первое положение относится непосредственно к конструкции равностороннего треугольника.

Второе требует собственного геометрического основания.

При этом я не считаю необходимым вводить в качестве исходного объекта бесконечную прямую или бесконечный отрезок.

Речь может идти исключительно о последовательности конечных построений.

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

Увеличение фигуры и сохранение её геометрической природы
При последовательном увеличении стороны необходимо сохранять определяющие свойства треугольника.

Иными словами, недостаточно получить три длинных отрезка.

Они должны образовать замкнутую треугольную фигуру.

В случае равностороннего треугольника необходимо дополнительно установить равенство всех трёх сторон.

Тем самым перед исследователем возникает задача сохранения геометрической структуры объекта при изменении его размеров.

Именно здесь появляется связь с проблемой подобия.

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

Однако если исследуется самостоятельное обоснование утверждения, связанного с пятым постулатом, использовать теорию подобия как заранее доказанную основу не всегда допустимо.

Поэтому я предлагаю первоначально обращаться к конгруэнтности, то есть к равенству геометрических фигур по форме и размерам.

Конгруэнтные фигуры могут соединяться в более крупные геометрические области.

В таком случае изменение общей площади определяется характером их композиции.

Почему именно четыре треугольника?
Центральная конструктивная идея предлагаемого метода состоит в рассмотрении четырёх треугольников.

В обычной евклидовой геометрии равносторонний треугольник можно разделить, соединив середины его сторон, на четыре конгруэнтных равносторонних треугольника.

Обратная операция позволяет представить образование более крупного равностороннего треугольника из четырёх меньших.

При этом новая сторона вдвое превышает первоначальную, а площадь увеличивается в четыре раза.

Однако для нашего исследования важно не просто воспроизвести привычное геометрическое разбиение.

Необходимо выяснить, какими исходными положениями обеспечивается возможность такой композиции.

Именно поэтому четырёхчастный метод приобретает самостоятельное доказательное значение.

Он позволяет свести вопрос о возрастании площади к конкретной геометрической задаче о взаимном расположении и конгруэнтности составляющих фигур.

Разбиение и композиция
Следует различать две операции.

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

Композиция предполагает обратное действие: из определённого количества исходных треугольников необходимо построить новую фигуру.

При этом нельзя заранее считать, что возможность одной операции автоматически доказывает осуществимость другой во всех требуемых отношениях.

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

Но из этого не следует, что все четыре части конгруэнтны.

Аналогично наличие четырёх конгруэнтных треугольников ещё не доказывает возможности их соединения в один большой равносторонний треугольник с прямолинейными сторонами.

Необходимо отдельно установить соответствующие свойства.

Именно это разграничение определяет дальнейшее изложение.

Геометрическое увеличение и площадь
Предположим, что удалось построить новый равносторонний треугольник из четырёх конгруэнтных копий первоначального.

Тогда площадь увеличенной фигуры равна сумме площадей составляющих частей.

Поскольку все четыре части конгруэнтны, их площади одинаковы.

Следовательно, площадь новой фигуры в четыре раза превышает площадь первоначальной.

Это отношение получается непосредственно из геометрической композиции и аддитивности площади.

Для него не требуется предварительно вычислять точную площадь равностороннего треугольника через длину стороны.

Однако необходимо иметь доказанную возможность соответствующего составного построения.

Именно она является главным геометрическим условием метода.

От повторяемого увеличения к неограниченности площади
Одного увеличения площади недостаточно для доказательства её неограниченности.

Допустим, удалось построить треугольник с площадью в четыре раза больше первоначальной.

Это устанавливает только существование двух соответствующих фигур.

Для получения общего результата необходимо показать, что аналогичное увеличение может повторяться.

Если после каждого шага можно выполнять ту же геометрическую операцию, возникает последовательность треугольников.

Их площади возрастают по определённому правилу.

При достаточно строгом обосновании этого правила появляется возможность доказать отсутствие общей конечной верхней границы площадей.

Таким образом, главный вопрос заключается не в выборе особенно большого числа.

Он заключается в доказательстве повторяемости геометрической операции, обеспечивающей увеличение площади.

В этом состоит основной принцип предложенного мной метода.

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

Для определённости будем использовать обозначения, принятые в исходной работе.

Первоначальный равносторонний треугольник
Пусть дан равносторонний треугольник ABC.

Обозначим общую длину его сторон через a.

Следовательно:

AB = BC = CA = a.

Поскольку треугольник равносторонний, все три его внутренних угла равны.

Обозначим их общую величину через ;.

Тогда:

;BAC = ;ABC = ;BCA = ;.

При этом первоначально не будем приписывать ; определённое числовое значение.

В полной евклидовой геометрии каждый угол равностороннего треугольника равен шестидесяти градусам.

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

Поэтому на данном этапе достаточно доказанного равенства трёх углов.

Построение середин сторон
Обозначим через M середину стороны AB.

Тогда:

AM = MB = a/2.

Аналогично обозначим через N середину стороны BC.

Получим:

BN = NC = a/2.

Наконец, через P обозначим середину стороны CA.

Тогда:

CP = PA = a/2.

Таким образом, каждая сторона исходного треугольника разделена на два равных отрезка.

Всего получены шесть отрезков одинаковой длины.

Теперь соединим точки M, N и P попарно.

Проведём прямолинейные отрезки MN, NP и PM.

Внутри первоначального треугольника возникает новый треугольник MNP.

Одновременно вся исходная область разделяется на четыре составляющие части.

Четыре составляющих треугольника
Результатом разбиения являются четыре треугольника:

AMP — при вершине A.
BMN — при вершине B.
CNP — при вершине C.
MNP — центральный треугольник.
Три первые фигуры будем называть угловыми треугольниками.

Четвёртую — центральным.

В стандартной геометрической интерпретации эти четыре области заполняют исходный треугольник без перекрытия внутренних частей и без промежутков.

Если функция площади обладает свойством аддитивности для такого разбиения, то:

S(ABC) = S(AMP) + S(BMN) + S(CNP) + S(MNP).

Это равенство ещё не предполагает одинаковой площади всех четырёх частей.

Оно выражает лишь тот факт, что площадь целой области равна сумме площадей составляющих её неперекрывающихся областей.

Следующим этапом становится исследование отношений между четырьмя треугольниками.

Конгруэнтность трёх угловых треугольников
Рассмотрим треугольник AMP.

Две его стороны, AM и AP, равны a/2.

Угол между ними совпадает с внутренним углом BAC первоначального равностороннего треугольника.

Следовательно:

AM = AP = a/2,

;MAP = ;.

Теперь рассмотрим треугольник BMN.

У него:

BM = BN = a/2,

;MBN = ;.

Таким образом, треугольники AMP и BMN имеют соответственно равные две стороны и равные углы между ними.

По признаку конгруэнтности они равны.

Аналогичное рассуждение применимо к треугольнику CNP.

Следовательно:

;AMP ; ;BMN ; ;CNP.

Этот результат представляет собой непосредственно обоснованное свойство первоначального разбиения.

Для его получения используются равенство сторон исходного равностороннего треугольника, равенство его внутренних углов и признак конгруэнтности по двум сторонам и заключённому между ними углу.

Равенство внутренних соединительных отрезков
Из конгруэнтности трёх угловых треугольников следует равенство их третьих сторон.

В нашем построении такими сторонами являются отрезки MP, MN и NP.

Следовательно:

MP = MN = NP.

Обозначим общую длину этих отрезков через d.

Получим:

MP = MN = NP = d.

Но именно эти три отрезка образуют стороны центрального треугольника MNP.

Следовательно, центральный треугольник также является равносторонним.

Таким образом, исходное построение позволяет установить два существенных результата.

Первый: три угловых треугольника конгруэнтны.

Второй: центральный треугольник равносторонний.

Однако необходимо обратить внимание на то, что эти результаты ещё не доказывают конгруэнтности центрального треугольника остальным трём.

Главная проблема четырёхчастного разбиения
Сопоставим длины сторон составляющих треугольников.

Каждый угловой треугольник имеет две стороны длиной a/2.

Его третья сторона равна d.

Следовательно, набор длин его сторон имеет вид:

(a/2, a/2, d).

Центральный треугольник MNP обладает тремя равными сторонами длиной d.

Его стороны характеризуются набором:

(d, d, d).

Таким образом, для доказательства конгруэнтности всех четырёх частей необходимо установить дополнительное отношение:

d = a/2.

Именно это равенство является центральным геометрическим условием рассматриваемого разбиения.

Пока оно не доказано, мы располагаем тремя конгруэнтными угловыми треугольниками и одним равносторонним центральным треугольником.

Но ещё не имеем четырёх доказанно конгруэнтных частей.

Лемма о четырёхчастной конгруэнтности
Сформулируем соответствующее положение в виде самостоятельной леммы.

Лемма. Если при соединении середин сторон равностороннего треугольника все три полученные внутренние стороны равны половине первоначальной стороны, то исходный треугольник разделяется на четыре конгруэнтных равносторонних треугольника.

Действительно, по построению три угловых треугольника имеют по две стороны длиной a/2.

Если дополнительно установлено:

MP = MN = NP = a/2,

то все три стороны каждого из четырёх составляющих треугольников имеют одинаковую длину.

Следовательно, все четыре треугольника равносторонние и конгруэнтные.

Однако здесь необходимо различать доказательство условной леммы и установление истинности её условия.

Само равенство d = a/2 должно быть обосновано отдельно.

В обычной евклидовой геометрии оно получается посредством теоремы о средней линии треугольника.

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

Поэтому центральная лемма не может считаться автоматически доказанной посредством ссылки на уже развитую евклидову теорию подобных фигур.

Угловое содержание центральной леммы
Указанная лемма имеет не только метрическое, но и угловое значение.

Если все четыре составляющих треугольника конгруэнтны, то все они равносторонние.

Следовательно, их соответствующие внутренние углы равны исходному углу ;.

Рассмотрим точку M на стороне AB.

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

Вместе они образуют развёрнутый угол.

Следовательно:

3; = 180°.

Отсюда:

; = 60°.

Таким образом, доказательство центральной леммы позволяет получить равенство суммы внутренних углов исходного равностороннего треугольника двум прямым углам.

Это важнейшее обстоятельство.

Оно показывает, что центральная лемма содержит существенное геометрическое содержание, непосредственно связанное с одной из альтернативных формулировок пятого постулата.

Следовательно, её нельзя рассматривать как незначительную техническую подробность.

Именно здесь сосредоточена одна из главных математических трудностей всей доказательной программы.

Четырёхчастная композиция
Теперь обратимся к операции, обратной разбиению.

Предположим, что имеется четыре конгруэнтных равносторонних треугольника.

Требуется соединить их таким образом, чтобы получилась новая равносторонняя фигура.

При этом должны выполняться следующие геометрические условия.

Все внутренние области составляющих треугольников должны быть попарно неперекрывающимися.

Между ними не должно возникать незаполненных промежутков.

Общие границы должны совпадать в необходимых отрезках.

Внешний контур полученной композиции должен состоять ровно из трёх прямолинейных сторон.

Все три стороны новой фигуры должны быть равны.

Если эти условия выполнены, четыре исходных треугольника образуют один увеличенный равносторонний треугольник.

Однако сама возможность такого соединения должна быть доказана.

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

Лемма о повторяемой композиции
Для дальнейшего рассуждения введём вторую центральную лемму.

Лемма о повторяемой четырёхчастной композиции. Предположим, что в рассматриваемой геометрической системе для любого допустимого равностороннего треугольника существует построение нового равностороннего треугольника из четырёх конгруэнтных копий первоначального и что такая операция может повторяться для каждой последующей фигуры.

Тогда площади соответствующих треугольников образуют последовательность, в которой каждый следующий член в четыре раза превышает предыдущий.

Доказательство этого условного положения непосредственно следует из аддитивности площади и конгруэнтности составляющих фигур.

Однако для превращения его в безусловный результат необходимо отдельно обосновать универсальную применимость геометрической операции.

Именно эта задача является центральной для предлагаемого доказательного метода.

6.4. Конспект авторского доказательства
Теперь представим всю последовательность предлагаемого доказательства в компактной математической форме.

Его исходная идея состоит в переходе от конечного равностороннего треугольника к последовательности увеличенных фигур посредством геометрической композиции.

При этом важно сохранить различие между непосредственно обоснованными построениями и тем условием, от которого зависит заключительный результат.

Первый этап. Построение исходного треугольника
Выбирается конечный ненулевой отрезок AB.

На нём строится равносторонний треугольник ABC посредством двух окружностей одинакового радиуса.

При условии существования требуемой точки пересечения окружностей получаем:

AB = BC = CA = a.

Таким образом, исходная фигура является равносторонним треугольником с конечными сторонами.

Обозначим его положительную площадь через S;.

Второй этап. Исследование внутренних углов
Поскольку все стороны треугольника равны, равны и три его внутренних угла.

Обозначим общую величину каждого через ;.

На этом этапе не требуется заранее использовать утверждение о том, что ; равно шестидесяти градусам.

Достаточно установленного равенства внутренних углов.

Третий этап. Построение трёх середин
Определяются середины сторон:

M — середина AB;

N — середина BC;

P — середина CA.

Получаем шесть равных половин исходных сторон:

AM = MB = BN = NC = CP = PA = a/2.

После этого точки M, N и P соединяются попарно прямолинейными отрезками.

Возникает разбиение исходного треугольника на четыре части.

Четвёртый этап. Доказательство конгруэнтности угловых треугольников
Рассматриваются треугольники AMP, BMN и CNP.

У каждого две стороны равны a/2.

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

Следовательно, по первому признаку конгруэнтности:

;AMP ; ;BMN ; ;CNP.

Отсюда следует равенство их третьих сторон:

MP = MN = NP = d.

Пятый этап. Установление равносторонности центрального треугольника
Поскольку три стороны центрального треугольника MNP равны между собой, он также является равносторонним.

Это непосредственно следует из предыдущего результата.

Однако его конгруэнтность трём угловым треугольникам пока не доказана.

Для этого требуется дополнительное равенство:

d = a/2.

Именно оно становится предметом центральной геометрической леммы.

Шестой этап. Условный переход к четырём конгруэнтным частям
Предположим, что удалось независимо установить равенство:

MP = MN = NP = a/2.

Тогда все четыре составляющих треугольника имеют стороны одинаковой длины.

Следовательно, они конгруэнтны.

В таком случае каждый из них имеет одну и ту же площадь s.

Из аддитивности площади получаем:

S; = 4s.

При этом необходимо отметить, что без дополнительного равенства непосредственно установленная зависимость имеет более общий вид:

S; = 3s + t,

где t обозначает площадь центрального треугольника.

Переход к отношению S; = 4s требует обоснования равенства t = s.

Это положение является существенным для дальнейшего доказательства.

Седьмой этап. Обратная геометрическая композиция
Предположим теперь, что из четырёх конгруэнтных копий первоначального треугольника можно построить новый равносторонний треугольник.

Обозначим его площадь через S;.

Каждая составляющая фигура имеет площадь S;.

Поскольку все четыре части конгруэнтны и полностью заполняют новую фигуру:

S; = 4S;.

Таким образом, новая площадь в четыре раза превышает первоначальную.

При этом речь идёт о двух определённых конечных геометрических фигурах.

Никакого бесконечного треугольника не вводится.

Однако сам переход к новой фигуре основан на предположении об осуществимости соответствующей геометрической композиции.

Восьмой этап. Повторение построения
Предположим, что операция четырёхчастной композиции может применяться к каждому вновь полученному равностороннему треугольнику.

Тогда из треугольника площади S; можно получить следующий, площадь которого:

S; = 4S;.

Следовательно:

S; = 16S;.

После очередного повторения:

S; = 4S; = 64S;.

Продолжая рассуждение, получаем общую зависимость:

S; = 4;S;.

Здесь n — натуральное число, обозначающее количество выполненных увеличений.

Каждому значению n соответствует определённый конечный треугольник.

Следовательно, речь идёт о последовательности конечных геометрических построений.

Девятый этап. Вывод о неограниченности площадей
Пусть S; является положительной конечной величиной.

Тогда числовая последовательность:

S;, 4S;, 16S;, 64S;, …

не имеет общей конечной верхней границы.

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

При этом для осуществления самой геометрической конструкции нет необходимости заранее назначать соответствующую контрольную площадь.

Мы первоначально устанавливаем правило построения.

Затем выводим закономерность изменения площади.

И только после этого формулируем общее свойство полученной последовательности.

Таким образом, при условии повторяемости четырёхчастной геометрической композиции получаем:

Существуют равносторонние треугольники сколь угодно большой площади.

Это и есть основной условный результат предлагаемого доказательного метода.

Десятый этап. От неограниченности площадей к пятому постулату
Теперь обратимся к связи полученного утверждения с проблемой пятого постулата Евклида.

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

При этом важно, что доказательство неограниченности площадей равносторонних треугольников является более специальным по форме результатом, чем утверждение о произвольных треугольниках.

Однако если установлено существование равносторонних треугольников сколь угодно большой площади, то тем самым установлено и существование треугольников сколь угодно большой площади вообще.

Следовательно, соответствующий переход к пятому постулату становится возможным при выполнении исходных условий указанной эквивалентности.

Но здесь необходимо сохранить правильную последовательность доказательства.

Сначала должно быть установлено существование требуемой повторяемой геометрической композиции.

Затем — соответствующее отношение между площадями.

После этого — их неограниченность.

И только в заключение может быть применён результат об эквивалентности пятому постулату.

Без первого условия вся цепочка остаётся условной.

Общая логическая схема
Содержание предложенного метода можно представить следующим образом:

Повторяемая четырёхчастная конгруэнтная композиция

;

Построение последовательности конечных равносторонних треугольников

;

Четырёхкратное увеличение площади на каждом этапе

;

Неограниченность последовательности площадей

;

Применение соответствующей эквивалентности пятому постулату Евклида.

Главный вопрос заключается в первом переходе.

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

Условная формулировка теоремы
Представленное рассуждение позволяет сформулировать строгое условное утверждение.

Теорема о сверхбольшом равностороннем треугольнике — условная конструктивная формулировка.

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

Доказательство.

Обозначим площадь первоначального треугольника через S;.

Из условия существования четырёхчастной композиции и аддитивности площади следует:

S; = 4S;.

По условию композиция может повторяться для каждой вновь полученной фигуры.

Следовательно, по индукции:

S; = 4;S;.

Поскольку S; положительно, а последовательность 4; не ограничена сверху, последовательность площадей S; также не ограничена сверху.

При этом каждое отдельное построение является конечным.

Следовательно, существуют равносторонние треугольники сколь угодно большой площади.

Что и требовалось доказать.

Математическое значение условного результата
В такой формулировке доказательство является завершённым.

Однако его заключение зависит от специально установленного геометрического условия.

Поэтому доказательство условной теоремы не следует смешивать с доказательством безусловного существования самой четырёхчастной композиции.

Именно такое разграничение позволяет точно установить математический статус авторского метода.

На данном этапе доказано, что определённая геометрическая операция, если она осуществима и повторяема, действительно обеспечивает требуемый результат относительно площадей.

Самостоятельное обоснование этой операции составляет дальнейшую исследовательскую задачу.

6.5. Результаты и вопросы дальнейшей проверки
В опубликованной работе «Теорема о сверхбольшом треугольнике» авторское доказательное рассуждение сопровождается критическими математическими комментариями.

Это обстоятельство принципиально важно для настоящей книги.

Математическое исследование не должно завершаться одним лишь объявлением результата.

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

Именно такой подход соответствует методологическим принципам Великого геометрического ноочелленджа.

Установленные результаты первоначального построения
Прежде всего обоснована сама конструкция равностороннего треугольника на допустимом конечном отрезке при наличии необходимых условий для проведения соответствующих окружностей и их пересечения.

Доказано равенство трёх сторон полученной фигуры.

Из равносторонности следует равенство трёх её внутренних углов.

Далее рассмотрено построение середин сторон первоначального треугольника.

Их попарное соединение образует четыре составляющие фигуры.

Три угловых треугольника конгруэнтны по двум сторонам и заключённому между ними углу.

Из этого следует равенство трёх внутренних соединительных отрезков.

Следовательно, центральный треугольник также равносторонний.

Все эти положения представляют собой последовательные результаты первоначального геометрического исследования.

Доказанный результат относительно площади
При полном разбиении первоначального треугольника на четыре неперекрывающиеся части его площадь равна сумме площадей составляющих фигур.

Поскольку три угловых треугольника конгруэнтны, их площади равны.

Если обозначить площадь каждого из них через s, а площадь центрального через t, получим:

S(ABC) = 3s + t.

Это непосредственно обоснованное отношение.

Однако оно ещё не устанавливает четырёхкратного превосходства площади первоначального треугольника над площадью каждой угловой части.

Для такого вывода необходимо дополнительно доказать:

t = s.

Именно это условие составляет один из центральных вопросов дальнейшей проверки.

Главная лемма: равенство внутренних отрезков половине стороны
В первоначальном построении установлено:

MP = MN = NP = d.

Однако для конгруэнтности всех четырёх частей требуется:

d = a/2.

В полной евклидовой геометрии данное равенство известно как следствие теоремы о средней линии треугольника.

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

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

Именно здесь возникает главная задача независимой экспертизы.

Причём не следует заранее предписывать единственный допустимый путь её решения.

Возможно, требуемое метрическое отношение удастся установить посредством специальной конгруэнтной конструкции.

Возможно, окажется более продуктивным обратиться непосредственно к равновеликости площадей.

Не исключены и другие исследовательские подходы.

Однако каждый из них должен содержать строгое доказательное обоснование.

Обратная композиция как самостоятельная проблема
Второй существенный вопрос связан с возможностью построения большего треугольника из четырёх конгруэнтных меньших.

Такая операция предполагает не только равенство составляющих фигур.

Необходимо доказать возможность их правильного расположения в одной плоскости.

В частности, следует установить прямолинейность общей внешней границы.

Необходимо исключить перекрытие внутренних областей.

Следует доказать отсутствие зазоров.

Наконец, нужно установить равенство всех трёх сторон составной фигуры.

При этом особое значение приобретает согласование углов соседних треугольников.

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

Следовательно, каждый из них должен равняться шестидесяти градусам.

Это означает, что сама возможность требуемой композиции содержит определённое угловое условие.

Поэтому нельзя просто предположить возможность такой композиции, а затем использовать её как доказательство соответствующего углового отношения.

Необходимо независимо установить исходные геометрические основания.

Повторяемость композиции
Третья проблема касается возможности многократного использования предложенной операции.

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

Иначе математическая последовательность не получает необходимого геометрического основания.

Для решения этой задачи следует сформулировать универсальную конструктивную лемму.

Она должна относиться не к одному специально выбранному треугольнику, а ко всему допустимому классу соответствующих фигур.

Только при таком условии появляется основание для применения математической индукции.

Таким образом, повторяемость является самостоятельной частью общей доказательной задачи.

Увеличение стороны и увеличение площади
Четвёртый вопрос связан с различием линейных и площадных характеристик.

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

Однако для доказательства НЗ-04 необходимо установить именно неограниченность площади.

Из возможности выбора всё больших сторон этот результат не должен выводиться без дополнительного геометрического обоснования.

Поэтому главная ценность четырёхчастного метода заключается в попытке непосредственно установить отношение между геометрическими областями, а не просто сопоставить длины сторон.

При выполнении необходимой композиционной леммы такое отношение действительно возникает.

Но оно должно быть доказано до перехода к выводу о неограниченности площадей.

Вопрос об исходной аксиоматике
Пятый вопрос имеет наиболее общий характер.

Для строгого исследования необходимо определить, какие исходные геометрические положения допускаются.

Это касается построения отрезков, существования середин, пересечения окружностей, конгруэнтности фигур и свойств геометрической площади.

Особенно важно установить доказательный статус используемых вспомогательных теорем.

Если какая-либо из них предполагает пятый постулат либо равносильное ему утверждение, необходимо либо отказаться от её использования, либо представить самостоятельное обоснование.

В противном случае доказательная схема может оказаться логически зависимой от того положения, которое намерена установить.

Поэтому формальная реконструкция исходных предпосылок представляет собой обязательную часть дальнейшей математической проверки.

Сводный реестр результатов
Элемент исследования Текущий доказательный статус
Построение равностороннего треугольника на допустимом конечном отрезке Обосновано при необходимых условиях построения
Равенство внутренних углов исходного треугольника Установлено
Разбиение посредством середин сторон Установлено
Конгруэнтность трёх угловых треугольников Доказана
Равносторонность центрального треугольника Доказана
Конгруэнтность всех четырёх частей Требует дополнительного обоснования
Возможность обратной четырёхчастной композиции Требует самостоятельного доказательства
Повторяемость композиции Должна быть установлена
Формула S; = 4;S; Доказана при условии повторяемой композиции
Неограниченность площадей Строгое условное следствие
Независимый вывод пятого постулата Зависит от доказательства центральной леммы и точной исходной аксиоматики
Таким образом, опубликованная работа содержит конструктивную исследовательскую схему и математически корректный условный вывод.

Однако для признания безусловного доказательства завершённым необходимо установить исходное геометрическое условие, обеспечивающее повторяемую четырёхчастную композицию.

Значение критической экспертизы
Для меня важно подчеркнуть, что подобная постановка вопросов не обесценивает сам исследовательский метод.

Напротив, она позволяет точнее определить его математическое содержание.

Первоначальная конструкция действительно обладает рядом доказанных свойств.

Четырёхчастное разбиение позволяет установить конкретные отношения между составляющими треугольниками.

Условная теорема о повторяемом увеличении площади имеет завершённое математическое доказательство.

Следовательно, дальнейшая исследовательская задача получает вполне определённую форму.

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

Именно такая конкретизация позволяет превратить первоначальный авторский замысел в продуктивное направление открытого математического поиска.

НЗ-04 как предмет Великого геометрического ноочелленджа
В рамках предлагаемого соревнования теорема о сверхбольшом треугольнике получает постоянный номер НЗ-04.

Её предметом является самостоятельное доказательство существования треугольников сколь угодно большой площади при заранее установленных исходных геометрических предпосылках.

При этом участники вовсе не обязаны использовать предложенный мной четырёхчастный метод.

Они могут разрабатывать совершенно иные конструкции.

Возможно, некоторые из них будут связаны с геометрическим разбиением.

Другие — с последовательным построением фигур.

Третьи — с новыми способами установления метрических отношений.

Главное требование заключается в математической корректности и самостоятельности соответствующего обоснования.

Вместе с тем четырёхчастная композиция может быть выделена как специальная вспомогательная ноозадача.

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

Если соответствующее доказательство будет найдено и пройдёт независимую экспертизу, оно сможет использоваться для дальнейшей разработки НЗ-04.

Однако возможны и другие пути решения исходной задачи.

Именно это разнообразие исследовательских возможностей составляет главную интеллектуальную ценность предлагаемого ноочелленджа.

Авторская позиция
Завершая изложение, хочу подчеркнуть принципиальную особенность моего подхода.

Я рассматриваю сверхбольшой треугольник не как экзотический объект, требующий введения необычайно больших чисел.

Речь идёт об обыкновенном конечном равностороннем треугольнике.

Его размеры могут изменяться.

Но сама фигура сохраняет определённую геометрическую структуру.

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

Именно с этой целью я обратился к четырёхчастному разбиению и обратной композиции.

Здесь центральное значение имеют не числовые масштабы, а свойства конгруэнтности, прямолинейности, геометрической целостности и аддитивности площади.

В этом отношении рассматриваемое исследование непосредственно продолжает общую конструктивную линию моей работы над фундаментальными проблемами геометрии.

Вместе с тем теорема о сверхбольшом треугольнике не составляет главного направления всей моей геометрической программы.

Как уже отмечалось в предисловии, её более фундаментальные цели связаны с гармонической геометрией и Юниметрией.

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

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

Заключение к главе 6
Теорема о сверхбольшом треугольнике обращается к одному из наиболее фундаментальных вопросов геометрии: как связаны возможность последовательного увеличения конечных линейных размеров и изменение площади геометрической фигуры?

Предлагаемый авторский подход основан на исследовании равносторонних треугольников.

Его центральная идея заключается в использовании четырёхчастного разбиения посредством соединения середин сторон и обратной геометрической композиции.

В ходе первоначального построения установлена конгруэнтность трёх угловых треугольников.

Из неё следует равенство трёх внутренних соединительных отрезков и равносторонность центрального треугольника.

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

Именно это условие составляет центральную математическую проблему метода.

Если удастся установить возможность повторяемой композиции, позволяющей строить новый равносторонний треугольник из четырёх конгруэнтных копий предыдущего, то из аддитивности площади непосредственно следует зависимость:

S; = 4;S;.

А поскольку полученная числовая последовательность не ограничена сверху, возникают равносторонние треугольники сколь угодно большой площади.

Это условное рассуждение математически завершено.

Но его превращение в безусловное доказательство требует самостоятельного обоснования повторяемой геометрической композиции в принятой исходной системе.

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

Для Великого геометрического ноочелленджа это обстоятельство имеет самостоятельное значение.

Сверхбольшой треугольник становится не просто предметом отдельной авторской публикации, а исходным пунктом открытой программы исследования геометрических методов увеличения конечных фигур и установления их площадных отношений.

Именно в таком качестве НЗ-04 включается в общий конкурсный корпус восемнадцати задач.

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

В следующей главе мы перейдём к третьей опубликованной авторской работе — исследованию проблемы Посидония.

Здесь предметом геометрического анализа станут равные перпендикуляры, эквидистантность прямых и возможность доказательного установления прямолинейности геометрических объектов, определяемых посредством постоянного расстояния.

Основные источники и литература
Петросян В. К. (Вадимир). Теорема о сверхбольшом треугольнике. История вопроса, геометрические основания и доказательство методом неограниченного увеличения конечных фигур. Lag.ru, 28 октября 2026 года. Основной авторский источник главы. Полный текст публикации.
Евклид. Начала. Книга I, предложение I.1 — построение равностороннего треугольника на заданном конечном отрезке; предложения I.4–I.5 — конгруэнтность и свойства равнобедренных треугольников. Текст предложения I.1.
Heath, T. L. The Thirteen Books of Euclid’s Elements. Cambridge University Press, 1908.
Wallis, J. Исследования пятого постулата и геометрического подобия, XVII век.
Hilbert, D. Grundlagen der Geometrie. Leipzig, 1899.
Петросян В. К. (Вадимир). Теорема о существовании квадрата. Lag.ru, 28 октября 2026 года.
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года.
*******

ГЛАВА 7. ПРОБЛЕМА ПОСИДОНИЯ
7.1. Историческая постановка проблемы
Проблема Посидония принадлежит к числу наиболее ранних и содержательно интересных направлений исследования пятого постулата Евклида.

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

На первый взгляд такое понимание параллельности представляется совершенно естественным.

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

Однако при переходе от привычного геометрического представления к строгому доказательству возникает вопрос: каким образом можно установить постоянство расстояния между двумя прямыми на всём их протяжении?

Именно эта проблема составляет предмет настоящей главы.

Евклидово определение параллельности
В двадцать третьем определении первой книги «Начал» Евклид характеризует параллельные прямые через их непересекаемость.

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

Таким образом, параллельность определяется посредством отрицательного условия.

Утверждается отсутствие определённого геометрического события — пересечения прямых.

При этом само определение непосредственно не содержит указания на расстояние между ними.

Оно также не описывает специальной конструкции, посредством которой соответствующее расстояние могло бы быть установлено.

Следовательно, возникает возможность иной постановки задачи.

Можно ли характеризовать параллельные прямые посредством определённого метрического отношения?

И можно ли установить это отношение конструктивно, используя первоначальные геометрические положения?

Посидоний и определение параллельных как равноудалённых прямых
Посидоний Родосский, живший приблизительно в 135–51 годах до нашей эры, известен как философ, учёный и представитель поздней эллинистической интеллектуальной традиции.

Сведения о его геометрических взглядах дошли до нас преимущественно благодаря более поздним авторам.

Особенно важным источником является комментарий Прокла Диадоха к первой книге «Начал» Евклида.

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

Таким образом, главным признаком параллельности выступает эквидистантность — постоянство взаимного расстояния.

Это определение существенно отличается по своему характеру от первоначального евклидова.

В первом случае параллельность характеризуется через отсутствие пересечения.

Во втором — через устойчивость определённого геометрического отношения.

Однако необходимо учитывать, что до нас дошла прежде всего историческая передача позиции Посидония, а не полное изложение его собственного геометрического доказательства.

Поэтому не следует приписывать ему какие-либо специальные конструкции или последовательности рассуждений, не подтверждённые сохранившимися источниками.

Определение и доказательство существования
Здесь обнаруживается принципиальная методологическая проблема.

Можно определить параллельные прямые как равноудалённые.

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

Необходимо разграничить три вопроса.

Первый: что означает постоянство расстояния между двумя прямыми?

Второй: существуют ли геометрические объекты, удовлетворяющие соответствующему условию?

Третий: можно ли построить такие объекты посредством определённых исходных геометрических операций?

Эти вопросы тесно связаны, но не являются тождественными.

Например, мы можем выбрать несколько точек, находящихся на одинаковом расстоянии от заданной прямой.

Однако установление равных расстояний для нескольких отдельных точек ещё не означает, что через все эти точки проходит одна прямая.

Для получения такого вывода требуется самостоятельное геометрическое обоснование.

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

Тем самым будет доказано существование определённого прямолинейного объекта.

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

Именно это различие между построением прямой и доказательством её эквидистантности составляет центральный предмет моего исследования.

Прокл и античная критика геометрической очевидности
Прокл, живший в V веке нашей эры, сохранил важнейшие свидетельства об античных исследованиях пятого постулата.

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

Особенно существенно это замечание применительно к прямым, которые при продолжении кажутся сближающимися.

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

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

Для проблемы Посидония соответствующий вопрос приобретает особую форму.

Недостаточно представить две прямые как равноудалённые.

Необходимо установить, что рассматриваемое свойство действительно принадлежит геометрическим объектам, полученным посредством допустимых построений.

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

Моя исследовательская позиция
К проблеме Посидония я обращаюсь не впервые.

Ещё в 1997 году, в книге «Общий кризис теоретико-множественной математики и пути его преодоления», опубликованной московским издательством «Янус-К», я выступил в защиту посидониевского подхода к определению параллельности.

Впоследствии соответствующая проблематика получила развитие в моих исследованиях оснований геометрии.

В частности, в работе 2025 года «Теорема о параллельных прямых: к основаниям Гармонической геометрии» я вновь обратился к вопросу о геометрическом содержании эквидистантности.

Однако в публикации 29 октября 2026 года «О разрешимости проблемы Посидония» была предложена более определённая конструктивная постановка задачи.

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

В этом отношении моя позиция состоит в следующем.

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

Нет оснований автоматически отождествлять определение параллельности через эквидистантность с утверждением о том, что произвольная совокупность равноудалённых точек уже является прямой.

Это разные математические положения.

Поэтому я предлагаю начать исследование не с множества точек, а с конкретной геометрической конструкции.

Именно такой переход от первоначальной идеи к построению составляет основу авторского метода.

Место проблемы Посидония в Великом геометрическом ноочеллендже
В четвёртой главе настоящей книги проблема Посидония получила постоянный номер НЗ-08.

Её основное содержание связано с необходимостью установить прямолинейность геометрического объекта, характеризуемого постоянным расстоянием до заданной прямой, либо доказать соответствующее свойство эквидистантности для специально построенных прямых.

При этом следует различать несколько близких, но не тождественных постановок.

Можно исследовать существование хотя бы одной пары эквидистантных прямых.

Можно рассматривать постоянство расстояния между заранее заданными параллельными прямыми.

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

В опубликованной работе исходным предметом исследования становится первая задача: построение конкретного прямолинейного объекта посредством двух равных перпендикуляров и установление его эквидистантности относительно первоначальной прямой.

Именно эту конструкцию мы рассмотрим далее.

7.2. Перпендикуляры и эквидистантность
Основным геометрическим инструментом предлагаемого доказательства является перпендикуляр.

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

Перпендикуляр как геометрический объект
В десятом определении первой книги «Начал» Евклид характеризует перпендикулярность через образование равных смежных углов.

Если прямая пересекает другую прямую так, что два образованных смежных угла равны, каждый из них является прямым.

При этом соответствующие прямые называются взаимно перпендикулярными.

Для нашего исследования особенно важно, что построение перпендикуляра представляет собой определённую геометрическую операцию.

Она не требует первоначального принятия того, что все прямые, перпендикулярные одной и той же прямой, находятся на постоянном расстоянии друг от друга.

Напротив, соответствующие отношения должны становиться предметом самостоятельного исследования.

В этом заключается принципиальное отличие исходной конструкции от простого изображения двух заранее признанных эквидистантных прямых.

Перпендикуляр и расстояние от точки до прямой
Пусть дана прямая m и точка P, не принадлежащая ей.

Опустим из P перпендикуляр PA на m.

Длину PA будем рассматривать как расстояние от точки P до прямой m.

В стандартной геометрической трактовке именно перпендикуляр определяет кратчайшее расстояние от точки до прямой.

Это позволяет выразить соответствующее метрическое отношение посредством определённого отрезка.

Теперь выберем другую точку Q, также расположенную вне m.

Пусть QB — перпендикуляр из Q к первоначальной прямой.

Если:

PA = QB,

то расстояния от точек P и Q до прямой m равны.

Это непосредственно установленное свойство двух выбранных точек.

Но оно ещё не характеризует все точки прямолинейного соединения P и Q.

Два равных перпендикуляра
Особое значение имеют перпендикуляры, восстановленные в двух различных точках одной прямой.

Пусть на m выбраны точки A и B.

В точке A восстановим перпендикуляр AP.

В точке B — перпендикуляр BQ.

Оба перпендикуляра направим по одну сторону от первоначальной прямой.

Затем отложим на них одинаковую положительную конечную длину h.

Получим:

AP = BQ = h.

Поскольку оба отрезка являются перпендикулярами к m, их свободные концы P и Q расположены на одинаковом расстоянии от первоначальной прямой.

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

Мы располагаем двумя построенными внешними точками, расстояния которых до исходной прямой равны.

Почему двух точек недостаточно?
Допустим, что свободные концы двух равных перпендикуляров соединены прямолинейным отрезком PQ.

Теперь можно выбрать произвольную внутреннюю точку X этого отрезка.

Опустим из неё перпендикуляр XY к m.

Возникает вопрос: равна ли длина XY первоначальному расстоянию h?

Если равенство выполняется для каждой точки X, то весь построенный отрезок обладает свойством постоянного расстояния до исходной прямой.

Однако первоначальные условия непосредственно устанавливают только:

AP = h,

BQ = h.

Для внутренней точки X аналогичное равенство ещё не доказано.

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

Именно это разграничение определяет содержание проблемы Посидония в моей конструктивной постановке.

Непересекаемость и постоянство расстояния
Здесь необходимо сделать ещё одно важное уточнение.

Параллельность в первоначальном евклидовом смысле определяется непересекаемостью прямых.

Эквидистантность предполагает постоянство их взаимного расстояния.

Это не одно и то же свойство.

В частности, если две прямые не пересекаются, то из одного лишь такого факта ещё не следует непосредственно, что расстояние между ними постоянно.

Для получения указанного метрического заключения необходимо соответствующее доказательство.

Именно поэтому в дальнейшем мы будем различать два последовательных результата:

Первый результат: построенные прямые не пересекаются.

Второй результат: построенные прямые находятся на постоянном расстоянии друг от друга.

В исходной публикации оба положения рассматриваются в рамках единой авторской исследовательской программы.

Однако их доказательный статус необходимо оценивать отдельно.

Прямая как целостный геометрический объект
Особое значение в предлагаемом мной методе придаётся целостности прямолинейного отрезка.

Прямая не рассматривается как произвольное объединение независимо расположенных точек.

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

В частности, прямолинейный отрезок PQ является кратчайшим соединением своих концов.

Если точка X принадлежит этому отрезку, то выполняется:

PX + XQ = PQ.

Если же точка R не принадлежит отрезку PQ, то для изломанного пути через неё имеем:

PR + RQ > PQ.

Таким образом, первоначальное прямолинейное соединение обладает определённым свойством минимальности.

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

Именно это положение используется мной в авторском исследовании геометрической целостности.

Аналогия с натянутой нитью
Для наглядного пояснения рассматриваемого свойства можно воспользоваться образом натянутой нерастяжимой нити.

Предположим, что её концы закреплены в двух точках P и Q.

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

Данная аналогия позволяет представить смысл сохранения прямолинейности при закреплённых концах.

Однако её не следует понимать как буквальное физическое описание геометрического объекта.

Математическая прямая не является материальной нитью.

Речь идёт исключительно о соотношении между длиной прямолинейного отрезка и длиной изломанного пути.

Для доказательства эквидистантности потребуется дополнительно установить, каким образом это свойство связано с перпендикулярными расстояниями от точек PQ до первоначальной прямой.

Таким образом, принцип геометрической целостности становится исходной исследовательской идеей, но вопрос о его достаточности для доказательства эквидистантности остаётся самостоятельным.

7.3. Геометрическая схема исследования
Теперь перейдём непосредственно к построению, предложенному в работе «О разрешимости проблемы Посидония».

Оно отличается сравнительной простотой и использует элементарные геометрические объекты.

Первоначальное основание
Пусть на плоскости выбраны две различные точки A и B.

Соединим их прямолинейным отрезком AB.

Обозначим его положительную конечную длину через a.

Прямая, содержащая AB, будет служить первоначальной геометрической основой всей конструкции.

При этом мы не предполагаем заранее существование второй прямой, эквидистантной данной.

Её свойства предстоит исследовать посредством дальнейших построений.

Восстановление первого перпендикуляра
В точке A восстановим перпендикуляр AP к AB.

Выберем одну из двух сторон первоначальной прямой.

На соответствующем перпендикулярном луче отложим положительную конечную длину h.

Свободный конец полученного отрезка обозначим P.

Следовательно:

AP = h,

AP ; AB.

Таким образом, положение P определено посредством обычной геометрической операции.

При этом расстояние от P до первоначальной прямой равно h.

Восстановление второго перпендикуляра
Теперь в точке B восстановим перпендикуляр BQ.

Направим его по ту же сторону от AB, что и первоначальный перпендикуляр AP.

Отложим на нём точно такую же длину h.

Получим:

BQ = h,

BQ ; AB.

Следовательно:

AP = BQ.

Таким образом, построены две внешние точки P и Q, равноудалённые от первоначальной прямой.

При этом их положения получены не посредством предположения о существовании некоторой эквидистантной линии, а посредством двух самостоятельных геометрических операций.

Прямолинейное соединение свободных концов
Теперь соединим P и Q прямолинейным отрезком.

Получим PQ.

В результате возникает четырёхугольник ABQP.

Его сторонами являются AB, BQ, QP и PA.

Два угла при основании A и B являются прямыми.

Соответствующие боковые стороны AP и BQ равны между собой.

Таким образом, исходная геометрическая система обладает следующими свойствами:

AP = BQ = h;

AP ; AB;

BQ ; AB;

P и Q расположены по одну сторону от AB.

При этом PQ является непосредственно построенным прямолинейным отрезком.

Существование отрезка PQ следует из операции соединения двух заданных точек.

Однако его эквидистантность относительно AB пока не установлена.

Конгруэнтность диагональных треугольников
Проведём диагонали AQ и BP.

Рассмотрим треугольники PAB и QBA.

Для них известны следующие отношения.

Стороны AP и BQ равны по построению.

Сторона AB является общей геометрической величиной, рассматриваемой в противоположных направлениях.

Углы PAB и QBA прямые.

Следовательно, по признаку конгруэнтности по двум сторонам и углу между ними:

;PAB ; ;QBA.

Из этого результата следует равенство соответствующих третьих сторон:

PB = AQ.

Таким образом, диагонали четырёхугольника ABQP равны.

Это первое дополнительное свойство, непосредственно вытекающее из первоначальной конструкции.

Для его доказательства не требуется использовать пятый постулат Евклида.

Равенство двух верхних углов
Теперь рассмотрим треугольники APQ и BQP.

У них:

AP = BQ;

AQ = BP;

PQ — общая сторона.

Следовательно, эти треугольники конгруэнтны по трём сторонам.

Из конгруэнтности получаем:

;APQ = ;BQP.

Таким образом, два внутренних угла четырёхугольника при его верхних вершинах равны между собой.

Однако здесь необходимо сделать существенное замечание.

Мы доказали равенство этих углов.

Но ещё не доказали, что каждый из них является прямым.

Именно это различие имеет принципиальное значение.

Если бы удалось дополнительно установить прямоту обоих верхних углов, построенный четырёхугольник имел бы четыре прямых внутренних угла и, следовательно, являлся прямоугольником.

Однако получение такого результата требует отдельного геометрического обоснования.

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

Обозначим через M середину первоначального основания AB.

Следовательно:

AM = MB.

Теперь обозначим через N середину построенного отрезка PQ.

Тогда:

PN = NQ.

Соединим M и N прямолинейным отрезком.

Полученная фигура позволяет установить ещё одно содержательное свойство исходного четырёхугольника.

Речь идёт о существовании общего перпендикуляра к прямым, содержащим AB и PQ.

Первый вспомогательный результат
Рассмотрим треугольники PAM и QBM.

Для них:

PA = QB;

AM = BM;

;PAM = ;QBM = 90°.

Следовательно, по признаку конгруэнтности по двум сторонам и углу между ними:

;PAM ; ;QBM.

Отсюда:

PM = QM.

Таким образом, точка M равноудалена от P и Q.

Второй вспомогательный результат
Ранее было установлено:

;APQ = ;BQP.

Поскольку N лежит на PQ, получаем:

;APN = ;BQN.

Кроме того:

AP = BQ;

PN = QN.

Следовательно, треугольники APN и BQN конгруэнтны по двум сторонам и заключённому между ними углу.

Отсюда:

AN = BN.

Таким образом, точка N равноудалена от A и B.

Общий перпендикуляр
Теперь рассмотрим треугольники AMN и BMN.

Имеем:

AM = BM;

AN = BN;

MN — общая сторона.

Следовательно, треугольники конгруэнтны по трём сторонам.

Из этого следует равенство углов AMN и BMN.

Но A, M и B принадлежат одной прямой, поэтому соответствующие углы являются смежными.

Равные смежные углы прямые.

Следовательно:

MN ; AB.

Аналогично рассмотрим треугольники PMN и QMN.

Для них:

PM = QM;

PN = QN;

MN — общая сторона.

Следовательно, они конгруэнтны.

Отсюда равны углы PNM и QNM.

Поскольку P, N и Q лежат на одной прямой, эти углы также являются смежными.

Следовательно, оба они прямые.

Таким образом:

MN ; PQ.

В результате мы доказали:

MN является общим перпендикуляром к прямым, содержащим AB и PQ.

Этот вывод имеет самостоятельное математическое значение.

Он получен посредством последовательного применения признаков конгруэнтности треугольников и свойств смежных углов.

Непересекаемость построенных прямых
Теперь можно использовать предложение I.28 первой книги «Начал» Евклида.

Согласно этому предложению, если две прямые при пересечении третьей образуют внутренние односторонние углы, сумма которых равна двум прямым, то они не пересекаются.

В нашем случае прямые AB и PQ перпендикулярны одному и тому же отрезку MN.

Следовательно, соответствующие углы прямые.

Их сумма равна двум прямым.

Поэтому прямые, содержащие AB и PQ, не пересекаются.

Таким образом, мы получили вполне определённый результат:

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

Это положение следует из доказанного существования общего перпендикуляра.

Однако оно ещё не устанавливает эквидистантности.

Для последнего требуется дополнительный метрический результат.

Центральная геометрическая задача
Выберем произвольную точку X отрезка PQ.

Опустим из неё перпендикуляр XY к AB.

Обозначим длину этого перпендикуляра через d.

Необходимо установить:

d = h.

Иными словами:

XY = AP = BQ.

Причём требуемое равенство должно выполняться для каждой точки X.

Именно этот переход от двух первоначальных равных перпендикуляров к общей системе равных перпендикулярных расстояний составляет центральную проблему авторского метода.

Он непосредственно связан с первоначальной идеей Посидония.

7.4. Конспект авторского доказательства
Теперь представим последовательность авторского рассуждения в его первоначальном концептуальном содержании.

При этом необходимо разграничить предложенный мной доказательный замысел, полученные строгие геометрические результаты и дополнительное утверждение, от которого зависит окончательный вывод об эквидистантности.

Первый этап. Построение первоначального основания
Выбираются две различные точки A и B.

Через них проводится прямолинейный отрезок AB.

Его длина положительна и конечна.

Таким образом, создаётся первоначальный геометрический объект, относительно которого будут выполняться дальнейшие построения.

Второй этап. Два равных перпендикуляра
В точках A и B восстанавливаются два перпендикуляра.

Они направляются по одну сторону от AB.

На каждом откладывается одинаковая длина h.

Получаются точки P и Q.

Следовательно:

AP = BQ = h.

Это непосредственно установленное равенство.

При этом положения P и Q фиксируются выполненными построениями.

Третий этап. Соединение P и Q
Свободные концы перпендикуляров соединяются прямолинейным отрезком PQ.

Данная операция осуществляется в соответствии с первым постулатом Евклида.

Полученный отрезок существует как самостоятельный геометрический объект.

Его первоначальное определяющее свойство — прямолинейность.

При этом его концы P и Q уже имеют равные перпендикулярные расстояния до AB.

Четвёртый этап. Принцип кратчайшего соединения
В авторском рассуждении особое значение получает свойство прямолинейного отрезка как кратчайшего соединения двух точек.

Если X принадлежит PQ, выполняется:

PX + XQ = PQ.

Если же R не принадлежит PQ, то:

PR + RQ > PQ.

Следовательно, нельзя заменить прямолинейный отрезок произвольным изломанным путём, сохранив первоначальную длину.

В этом заключается содержание принципа геометрической целостности, используемого в авторской публикации.

Пятый этап. Предположение о сближении
Теперь рассматривается возможность того, что некоторая внутренняя точка X отрезка PQ находится ближе к первоначальной прямой AB, чем конечные точки P и Q.

В таком случае длина перпендикуляра XY должна удовлетворять условию:

XY < h.

В авторском исследовании это предположение рассматривается с позиций сохранения прямолинейности PQ.

Поскольку P и Q закреплены, предлагается исследовать, не означает ли возникновение меньшего расстояния от внутренней точки необходимость изменения первоначального прямолинейного соединения.

Именно здесь используется идея недопустимости произвольной деформации прямолинейного отрезка при закреплённых концах.

В рамках предложенного мной подхода такое изменение трактуется как несовместимое с геометрической целостностью первоначальной конструкции.

Шестой этап. Предположение о расхождении
Аналогичным образом рассматривается противоположный случай:

XY > h.

Здесь предполагается, что некоторая внутренняя точка X расположена дальше от AB, чем первоначальные точки P и Q.

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

Логика рассуждения заключается в том, что при закреплённых концах P и Q нельзя изменить внутреннее расположение соединяющего пути, одновременно сохранив его первоначальную прямолинейность и длину.

Таким образом, оба возможных отклонения расстояния от h рассматриваются как связанные с изменением первоначального геометрического объекта.

Седьмой этап. Авторский вывод об эквидистантности
Если исключены оба неравенства:

XY < h

и

XY > h,

то остаётся единственная возможность:

XY = h.

Именно на этой основе в публикации формулируется авторский вывод о постоянстве расстояния между PQ и AB.

Однако здесь необходимо сделать принципиальное математическое уточнение.

Само предположение о том, что расстояние XY отличается от h, ещё не означает изменения положения точки X или деформации отрезка PQ.

Точка X может оставаться на первоначально построенном прямолинейном отрезке.

При этом вопрос о величине её расстояния до другой прямой остаётся самостоятельным.

Следовательно, для строгого доказательства от противного необходимо непосредственно установить несовместимость каждого из двух неравенств с исходными условиями построения.

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

Именно этот логический переход выделен в критическом комментарии к авторской публикации как центральная задача дальнейшего исследования.

Восьмой этап. Исследование единственности
В первоначальной работе рассматривается также вопрос о единственности построенной прямой.

Действительно, если заданы точки P и Q, то через них проходит единственная прямая при принятом обычном условии единственности прямолинейного соединения двух точек.

Однако для общей задачи этого недостаточно.

Предположим, что первоначальная прямая AB уже задана.

Пусть задана также внешняя точка P.

В качестве второго основания можно выбрать различные точки B; и B;.

Восстановив в них равные перпендикуляры, получим соответствующие точки Q; и Q;.

Тогда возникают две прямые:

PQ; и PQ;.

Для доказательства единственности эквидистантной прямой через P необходимо установить, что эти прямые совпадают.

Иными словами, требуется доказать коллинеарность:

P, Q; и Q;.

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

Поэтому вопрос о единственности также требует отдельной геометрической леммы.

Девятый этап. Переход от конечного отрезка к целой прямой
Первоначальная конструкция имеет конечный характер.

Построен отрезок AB.

Построены конечные перпендикуляры AP и BQ.

Их свободные концы соединены конечным отрезком PQ.

Однако проблема Посидония относится к постоянству расстояния между прямыми на всём протяжении.

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

Из возможности продолжения прямолинейного отрезка не следует автоматически сохранение всех его метрических отношений с другой прямой.

Поэтому переход от конечного участка к целой прямой должен становиться самостоятельным этапом доказательства.

Общая доказательная схема
Предлагаемый метод можно представить в виде следующей последовательности:

Два равных перпендикуляра к одной прямой

;

Прямолинейное соединение их свободных концов

;

Конгруэнтность вспомогательных треугольников

;

Общий перпендикуляр и непересекаемость построенных прямых

;

Доказательство постоянства расстояния для произвольной точки соединяющего отрезка

;

Распространение эквидистантности на продолжения

;

Исследование единственности эквидистантной прямой

;

Общий вывод о разрешимости проблемы Посидония.

Первые четыре звена данной схемы имеют конкретное геометрическое обоснование.

Переход к постоянству расстояния требует дополнительной леммы.

Последующие этапы также нуждаются в самостоятельной математической разработке.

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

Строго установленная вспомогательная теорема
По результатам математического анализа можно сформулировать следующее самостоятельное утверждение.

Теорема о непересекаемости прямых, построенных посредством двух равных перпендикуляров.

Пусть на прямой m выбраны две различные точки A и B. В них восстановлены два равных перпендикуляра AP и BQ, расположенных по одну сторону от m. Пусть P и Q соединены прямолинейным отрезком.

Тогда прямая, содержащая PQ, не пересекается с прямой m.

Доказательство.

Из равенства AP и BQ, общего основания AB и прямоты углов при A и B следует конгруэнтность треугольников PAB и QBA.

Отсюда получаем:

PB = AQ.

Затем по трём сторонам устанавливается конгруэнтность треугольников APQ и BQP.

Следовательно:

;APQ = ;BQP.

Обозначим середину AB через M, а середину PQ через N.

С помощью приведённых выше признаков конгруэнтности устанавливается:

PM = QM;

AN = BN.

Из этого, в свою очередь, следует конгруэнтность треугольников AMN и BMN, а также PMN и QMN.

Следовательно, равны соответствующие смежные углы при M и N.

Поэтому:

MN ; AB,

MN ; PQ.

Таким образом, обе рассматриваемые прямые перпендикулярны одной и той же секущей MN.

Согласно предложению I.28 «Начал» Евклида они не пересекаются.

Что и требовалось доказать.

Данная теорема является самостоятельным положительным результатом геометрического исследования.

Однако её нельзя автоматически отождествлять с теоремой об эквидистантности.

Центральная условная теорема
Для завершения авторской программы требуется более сильное утверждение.

Условная теорема об эквидистантности.

Пусть построена система ABQP с двумя равными перпендикулярами AP и BQ. Предположим, что для каждой точки X отрезка PQ доказано равенство длины перпендикуляра XY к AB первоначальной величине h.

Тогда отрезок PQ находится на постоянном расстоянии h от первоначальной прямой.

Это заключение непосредственно следует из определения эквидистантности.

Однако для получения самостоятельного доказательства проблемы Посидония необходимо обосновать само условие:

XY = h для любой точки X отрезка PQ.

Именно данное равенство является центральной недостающей леммой.

7.5. Результаты и вопросы дальнейшей проверки
Представленное исследование позволяет достаточно точно определить геометрическое содержание авторского подхода и разграничить различные уровни доказательной завершённости.

Это имеет особое значение для Великого геометрического ноочелленджа.

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

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

Их свободные концы могут быть соединены прямолинейным отрезком.

Таким образом, существует вполне определённый геометрический объект ABQP.

Его первоначальные свойства устанавливаются посредством обычных операций геометрического построения.

Это самостоятельный конструктивный результат.

Второй результат: равенство диагоналей и верхних углов
Из конгруэнтности вспомогательных треугольников следует равенство диагоналей:

PB = AQ.

Кроме того, установлено равенство верхних углов:

;APQ = ;BQP.

Эти положения непосредственно вытекают из первоначальных условий.

Однако они не обеспечивают прямоту указанных верхних углов.

Поэтому построенный четырёхугольник нельзя без дополнительного обоснования объявить прямоугольником.

Третий результат: существование общего перпендикуляра
Посредством построения середин AB и PQ и применения признаков конгруэнтности установлено существование общего перпендикуляра MN.

Это позволяет доказать непересекаемость содержащих AB и PQ прямых.

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

Однако соответствующий результат слабее утверждения о постоянстве расстояния между прямыми.

Четвёртый результат: свойство кратчайшего соединения
Установлено, что PQ представляет собой кратчайшее соединение своих конечных точек.

Для любого изломанного пути P–R–Q, где R не принадлежит первоначальному отрезку, выполняется:

PR + RQ > PQ.

Это корректное геометрическое положение.

Однако оно относится к сравнению длин различных путей между одними и теми же точками.

В проблеме Посидония требуется сравнить другие величины — расстояния от различных точек одного отрезка до первоначальной прямой.

Следовательно, между этими двумя свойствами необходим дополнительный доказательный переход.

Центральная проблема: постоянство перпендикулярного расстояния
Пусть X — произвольная точка PQ.

Опустим из неё перпендикуляр XY к AB.

Требуется доказать:

XY = h.

Однако ни конгруэнтность первоначальных треугольников, ни равенство диагоналей, ни наличие общего перпендикуляра непосредственно не устанавливают этого равенства.

Поэтому центральная задача дальнейшего исследования заключается в разработке самостоятельного геометрического доказательства, исключающего возможности:

XY < h

и

XY > h.

При этом соответствующее доказательство должно рассматривать точку X в её уже установленном положении на прямолинейном отрезке.

Не следует подменять вопрос о величине расстояния XY вопросом о возможности произвольной деформации PQ.

Это различные математические проблемы.

Именно такое разграничение представляется необходимым для завершения авторской доказательной программы.

Проблема прямоугольности четырёхугольника
Существует и другой возможный путь.

Поскольку уже доказано:

;APQ = ;BQP,

можно попытаться непосредственно установить, что оба эти угла прямые.

Тогда построенный четырёхугольник ABQP будет иметь четыре прямых внутренних угла.

Однако такой результат требует самостоятельного доказательства.

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

Таким образом, исследование прямоты верхних углов может стать альтернативным направлением дальнейшей разработки НЗ-08.

От конечного отрезка к целой прямой
Следующая задача связана с распространением эквидистантности.

Даже если будет доказано, что каждая точка PQ находится на расстоянии h от первоначальной прямой, потребуется отдельно установить аналогичное свойство для точек продолженной прямой.

В частности, необходимо рассмотреть точки, расположенные за P и Q.

Соответствующее доказательство должно опираться на определённые геометрические отношения, а не только на возможность продолжения отрезка.

Именно здесь проблема конечного построения приобретает общий характер.

Единственность эквидистантной прямой
Ещё одна самостоятельная задача связана с выбором второй точки основания.

Пусть первоначальная прямая m и внешняя точка P уже заданы.

Восстановим из P перпендикуляр PA.

Затем выберем на m две различные точки B; и B;.

Восстановим в них равные перпендикуляры и получим внешние точки Q; и Q;.

Для доказательства единственности эквидистантной прямой необходимо установить:

P, Q; и Q; лежат на одной прямой.

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

Такой вывод не следует только из единственности прямой, проходящей через две фиксированные точки.

Следовательно, требуется самостоятельная конструктивная лемма.

Сводная характеристика результатов
Этап исследования Математический статус
Построение равных перпендикуляров AP и BQ Обосновано
Соединение P и Q прямолинейным отрезком Обосновано
Равенство расстояний от P и Q до AB Установлено
Конгруэнтность вспомогательных треугольников Доказана
Равенство диагоналей PB и AQ Доказано
Равенство верхних углов при P и Q Доказано
Существование общего перпендикуляра MN Доказано
Непересекаемость прямых AB и PQ Доказана
Постоянство расстояния XY = h для всех X на PQ Требует самостоятельной леммы
Эквидистантность на всём протяжении прямых Требует дополнительного доказательства
Независимость построения от выбора второго основания Требует доказательства
Единственность эквидистантной прямой через заданную внешнюю точку Не установлена в полной общности
Полное разрешение проблемы Посидония Требует завершения указанных доказательных этапов
Таким образом, необходимо разграничивать опубликованную авторскую формулировку общей теоремы и фактически завершённую часть её математического обоснования.

Первоначальная конструкция представляет самостоятельный исследовательский интерес.

Ряд её геометрических свойств доказан.

Однако центральный переход к эквидистантности пока не получил полного обоснования в рассматриваемом изложении.

Исследовательская программа дальнейшей разработки
Из проведённого анализа вытекает вполне определённая последовательность дальнейших задач.

Прежде всего следует сохранить первоначальную конструкцию двух равных перпендикуляров и прямолинейного соединения их свободных концов.

Далее можно использовать уже доказанные свойства диагоналей, углов и общего перпендикуляра.

После этого необходимо разработать новую геометрическую лемму, обеспечивающую постоянство расстояния от всех точек PQ до AB.

Возможны различные подходы к её доказательству.

Первый — непосредственное исследование перпендикуляра XY для произвольной точки X.

Второй — установление прямоты верхних углов четырёхугольника ABQP.

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

Четвёртый — поиск принципиально иного способа геометрического обоснования эквидистантности, сохраняющего первоначальные ограничения.

После решения центральной задачи потребуется установить сохранение соответствующего свойства при продолжении отрезков.

Наконец, необходимо доказать независимость построения от выбора второго основания и единственность соответствующей прямой через заданную внешнюю точку.

Лишь после выполнения этих условий можно будет сформулировать завершённую общую теорему о разрешимости проблемы Посидония в принятой авторской постановке.

Проблема Посидония как самостоятельная конкурсная задача
В рамках Великого геометрического ноочелленджа соответствующее направление сохраняет номер НЗ-08.

Предметом конкурсного исследования становится доказательство эквидистантности определённых прямолинейных геометрических объектов посредством самостоятельно обоснованной конструкции.

При этом участникам не обязательно использовать именно предложенный мной метод двух равных перпендикуляров.

Возможны и другие подходы, отвечающие установленным требованиям.

Однако авторская конструкция представляет особый интерес как исходный материал для дальнейшего исследования.

Она позволяет выделить конкретные промежуточные результаты и определить точное содержание ещё не доказанного положения.

В частности, центральная лемма об эквидистантности AB и PQ может быть предложена как самостоятельная вспомогательная задача.

Её решение, если оно будет корректным и не будет опираться на заранее принятые эквиваленты пятого постулата, сможет приобрести самостоятельную конкурсную и исследовательскую ценность.

При этом необходимо соблюдать общий принцип, сформулированный в предисловии настоящей книги.

Публикация авторского доказательства и его окончательная математическая квалификация должны рассматриваться раздельно.

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

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

Мы не начинаем с предположения о существовании некоторой заранее определённой равноудалённой прямой.

Вместо этого выбираем две точки первоначального основания.

Строим в них два равных перпендикуляра.

Соединяем их свободные концы прямолинейным отрезком.

Исследуем свойства полученной фигуры.

Затем ставим вопрос о постоянстве перпендикулярного расстояния между построенными прямолинейными объектами.

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

При этом необходимость дальнейшего доказательства центральной леммы не отменяет значения уже установленных результатов.

Напротив, она позволяет выделить самостоятельное направление математического исследования.

Особенно важно, что здесь возникает возможность организовать открытый поиск нескольких различных доказательных методов.

Именно такая ситуация, на мой взгляд, наиболее полно соответствует замыслу Великого геометрического ноочелленджа.

Мы имеем определённую историческую проблему.

Существуют разработанные геометрические конструкции.

Имеются содержательные авторские результаты.

Остаётся установить доказательные отношения, необходимые для завершения общей теоремы.

Таким образом, исследование проблемы Посидония становится не только предметом историко-математической реконструкции, но и основой нового открытого интеллектуального соревнования.

Заключение к главе 7
Проблема Посидония относится к числу наиболее интересных исторических альтернативных постановок вопроса о параллельности прямых.

В отличие от первоначального евклидова определения, основанного на непересекаемости, посидониевский подход обращается к постоянству взаимного расстояния.

Это позволяет исследовать параллельность посредством конкретных метрических отношений.

В опубликованной мной работе «О разрешимости проблемы Посидония» предложен конструктивный метод, основанный на двух равных перпендикулярах к заданной прямой и прямолинейном соединении их свободных концов.

Из первоначального построения действительно вытекает ряд содержательных геометрических результатов.

Устанавливается конгруэнтность соответствующих треугольников.

Доказывается равенство диагоналей и верхних углов построенного четырёхугольника.

Посредством дополнительной конструкции через середины основания и верхнего отрезка устанавливается существование общего перпендикуляра.

Из этого следует непересекаемость построенных прямых.

Однако для полного разрешения проблемы Посидония требуется доказать более сильное утверждение: постоянство перпендикулярного расстояния между ними.

Именно здесь находится центральный вопрос дальнейшего исследования.

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

Аналогично необходимо различать эквидистантность конечного отрезка и эквидистантность целой продолженной прямой.

Особого доказательства требует также единственность соответствующего геометрического объекта при произвольном выборе вспомогательного основания.

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

Для Великого геометрического ноочелленджа это имеет самостоятельное значение.

НЗ-08 становится открытым направлением поиска новых доказательств, связанных с равными перпендикулярами, геометрической целостностью прямой, постоянством расстояния и свойствами построенных прямолинейных объектов.

При этом научная ценность исследования определяется не только возможностью получить итоговое утверждение, но и содержательностью разработанных геометрических методов.

Именно в таком качестве проблема Посидония включается в общую программу восемнадцати доказательных задач.

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

Здесь центральным предметом геометрического анализа станет уже не постоянство расстояния между прямыми, а существование определённых точек пересечения и конструктивные условия их получения.

Основные источники и литература
Петросян В. К. (Вадимир). О разрешимости проблемы Посидония. История проблемы, геометрические основания эквидистантности прямых и авторское доказательство методом равных перпендикуляров. Lag.ru, 29 октября 2026 года. Основной источник настоящей главы, включая приложение с критическим математическим комментарием.
Евклид. Начала. Книга I. Определения 10 и 23; предложения I.4, I.8, I.10–I.12, I.27–I.29.
https://www.euclids-elements.org/elements/books/bookI/
Прокл Диадох. Комментарий к первой книге «Начал» Евклида. Исторический источник сведений о посидониевском определении параллельности.
MacTutor History of Mathematics Archive. Proclus on the Parallel Postulate. University of St Andrews.
Vahabzadeh, B. Khayyam, Omar: As Mathematician. Encyclopaedia Iranica. Исторический обзор античных и средневековых исследований пятого постулата, включая сведения о Посидонии и Прокле.
Heath, T. L. The Thirteen Books of Euclid’s Elements. Cambridge University Press, 1908.
Петросян В. К. (Вадимир). Теорема о параллельных прямых: к основаниям Гармонической геометрии. Lag.ru, 12 марта 2025 года.
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года.


******
ГЛАВА 8. ТЕОРЕМА О ПЕРЕСЕЧЕНИИ УГЛА ПРЯМОЙ, ПРОХОДЯЩЕЙ ЧЕРЕЗ ЗАДАННУЮ ТОЧКУ
8.1. Формулировка геометрической задачи
Четвёртое из моих опубликованных исследований пятого постулата Евклида посвящено геометрической проблеме, которая по своей первоначальной постановке представляется исключительно простой.

Дан угол, образованный двумя лучами с общей вершиной.

Внутри этого угла расположена определённая точка.

Требуется провести через неё прямую, которая пересечёт оба образующих угол луча.

На обычном геометрическом чертеже соответствующая задача кажется совершенно элементарной.

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

Однако с точки зрения исследования первоначальных оснований геометрии необходимо ответить на более сложный вопрос.

Какие исходные геометрические положения обеспечивают существование такой прямой для произвольной допустимой внутренней точки угла?

Именно этот вопрос составляет предмет настоящей главы.

Историческая постановка Лежандра
Рассматриваемое утверждение связано с исследованиями Адриена Мари Лежандра, неоднократно обращавшегося к проблеме пятого постулата Евклида.

В конце XVIII — начале XIX века Лежандр предпринимал попытки получить теорему о параллельных прямых посредством других геометрических положений.

Особое место в его исследованиях занимала сумма внутренних углов треугольника.

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

Исторически важное свидетельство об этом сохранилось в переписке Кристиана Людвига Герлинга и Карла Фридриха Гаусса.

В письме от 11 марта 1816 года Герлинг изложил некоторые особенности доказательства Лежандра и обратил внимание на использованное им вспомогательное предположение.

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

В последующей литературе рассматривается и более общая формулировка, относящаяся к произвольному острому углу.

Именно она принимается в качестве основной постановки нашего исследования.

Теорема о пересечении угла с точкой
Сформулируем рассматриваемое утверждение.

Теорема. Через любую точку, расположенную строго внутри произвольного острого угла, можно провести прямую, пересекающую оба образующих этот угол луча в двух различных точках, отличных от вершины угла.

Разберём содержание этой формулировки.

Прежде всего рассматривается произвольный острый угол.

Это означает, что его величина положительна и меньше прямого угла.

Внутренняя точка также выбирается произвольно.

Она может располагаться ближе к одному из лучей или к другому, ближе к вершине угла или на значительном расстоянии от неё.

Однако она должна находиться строго между образующими лучами, а не на одном из них.

Далее требуется построить определённую прямую, проходящую через эту точку.

Сам факт существования прямой через заданную точку не представляет основной трудности.

Существенно другое: построенная прямая должна пересекать оба луча исходного угла.

Причём соответствующие точки пересечения должны быть различны и не должны совпадать с вершиной.

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

Геометрическая форма задачи
Пусть O — вершина исходного острого угла.

Обозначим образующие его лучи через r; и r;.

Пусть Z — произвольная точка, расположенная строго внутри угла.

Необходимо доказать существование точек A и B, удовлетворяющих следующим условиям:

A принадлежит первому лучу r; и отличается от O.
B принадлежит второму лучу r; и отличается от O.
A, Z и B лежат на одной прямой.
A и B являются различными точками.
В рассматриваемой авторской конструкции предполагается установить и более определённое отношение: точка Z должна находиться между A и B.

Тогда искомый отрезок AB непосредственно соединяет два образующих луча, проходя через заданную внутреннюю точку.

Важно, что требование существования хотя бы одной такой прямой не следует смешивать с утверждением о произвольной прямой через Z.

Различие утверждений Лоренца и Лежандра
В четвёртой главе настоящей книги были выделены две самостоятельные ноозадачи.

Под номером НЗ-05 рассматривается историческое утверждение Иоганна Фридриха Лоренца.

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

Под номером НЗ-06 рассматривается утверждение Лежандра.

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

Между этими формулировками существует принципиальное логическое различие.

В первом случае речь идёт о необходимом свойстве каждой произвольной прямой.

Во втором — о существовании определённой прямой, обладающей указанными свойствами.

Кроме того, различаются требования к количеству пересечений.

В положении Лоренца достаточно одного.

В положении Лежандра необходимы два.

Именно поэтому я предлагаю рассматривать эти утверждения как две отдельные конкурсные задачи, не объединяя их в один пункт.

Геометрическая трудность задачи
На первый взгляд вопрос о проведении искомой прямой можно решить простым выбором двух точек на разных сторонах угла.

Соединив эти точки, действительно получим некоторый отрезок.

Однако остаётся вопрос: будет ли данный отрезок проходить через первоначально заданную внутреннюю точку Z?

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

Можно поступить наоборот.

Сначала выбрать точку A на первом луче.

Затем соединить A с Z и продолжить полученный отрезок.

В этом случае прохождение прямой через Z обеспечивается построением.

Однако теперь необходимо доказать, что продолжение действительно пересечёт второй луч, причём в требуемом направлении.

Следовательно, первоначальная задача распадается на две самостоятельные части.

Первая — построить прямую через Z, пересекающую один из лучей.

Вторая — доказать её пересечение со вторым лучом.

Именно на таком разграничении основан мой конструктивный подход.

История авторского исследования
Первоначальное изложение рассматриваемого метода было представлено мной в работе «Теорема о параллельных прямых: к основаниям Гармонической геометрии», опубликованной 12 марта 2025 года.

В разделе 1.3 этой работы приводились два геометрических чертежа.

Первый был посвящён утверждению Лежандра о пересечении обоих лучей острого угла.

Второй рассматривал расширенную конструкцию для углов большей величины.

В октябре 2026 года я вернулся к данной проблеме и подготовил специальную брошюру «Теорема о пересечении угла с точкой. Конструктивное доказательство утверждения Лежандра и проблема пятого постулата Евклида».

В ней первоначальные построения получили более подробное изложение.

Были уточнены исходные понятия прямой, луча, угла, внутренней точки и пересечения.

Особое внимание было уделено условиям существования двух точек пересечения, а также независимой математической проверке предложенных конструкций.

Таким образом, настоящее исследование представляет собой развитие ранее опубликованной авторской идеи.

Предмет главы
В настоящей главе будет представлен конспект указанного исследования.

Основное внимание уделяется исходным построениям, вспомогательной окружности и проведению диаметра через заданную внутреннюю точку угла.

Далее рассматривается расширенный вариант метода, связанный с последовательным увеличением основания на первом луче.

После этого мы восстановим доказательную последовательность и разграничим её математически установленные результаты и вопросы дальнейшей проверки.

При этом необходимо помнить об общем принципе настоящей книги.

Проверка правильности геометрической конструкции и установление её доказательной независимости от исследуемого постулата — две различные математические задачи.

Именно в таком контексте рассматривается четвёртая авторская работа.

8.2. Исходные построения
Предлагаемый авторский метод основывается на использовании наиболее простых геометрических объектов и операций.

К ним относятся точка, прямолинейный отрезок, луч, угол и окружность.

При этом существенное значение имеет не сложность используемых объектов, а последовательность их построения и характер устанавливаемых геометрических отношений.

Первоначальные постулаты
В основе метода лежат операции, соответствующие первым трём постулатам Евклида.

Первый постулат допускает проведение прямолинейного отрезка между двумя заданными точками.

Второй допускает непрерывное продолжение конечного прямолинейного отрезка по прямой.

Третий позволяет описать окружность из заданного центра заданным радиусом.

Именно эти операции образуют конструктивную основу рассматриваемого исследования.

Однако для строгого анализа необходимо учитывать, что выполнение построения и доказательство всех его требуемых свойств могут предполагать различные дополнительные положения.

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

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

Поэтому каждый существенный переход должен быть рассмотрен самостоятельно.

Исходный угол и его внутренняя точка
Пусть дан угол с вершиной O.

Его стороны образованы двумя различными лучами, расположенными в одной плоскости.

На первом этапе будем считать угол острым.

Пусть Z — произвольная точка, расположенная строго внутри его области.

Соединим O и Z прямолинейным отрезком.

Получим ZO.

Длина этого отрезка положительна и конечна.

В первоначальном авторском построении именно она используется в качестве радиуса вспомогательной окружности.

При этом положение Z на протяжении всей конструкции остаётся неизменным.

Это принципиально важно.

Мы не подбираем новую внутреннюю точку, более удобную для построения.

Напротив, требуется решить задачу именно для первоначально заданной точки.

Окружность с центром во внутренней точке
Из точки Z опишем окружность радиусом ZO.

Обозначим её через ;.

Поскольку:

ZO = r,

где r — выбранный радиус, точка O принадлежит окружности ;.

Таким образом, окружность проходит через вершину исходного угла.

Теперь возникает вопрос о её пересечении с первым образующим лучом.

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

Обозначим её через A.

Тогда:

ZA = ZO.

Следовательно, A и O принадлежат одной окружности с центром Z.

Однако для точного доказательства необходимо установить, что точка A действительно существует и расположена именно на первом луче, а не на его противоположном продолжении.

Построение второй точки окружности
Для этого рассмотрим перпендикуляр, опущенный из Z на прямую, содержащую первый луч.

Обозначим его основание через H.

Поскольку исходный угол острый и Z находится строго внутри него, отрезок OZ образует с первым лучом острый угол.

В обычной евклидовой геометрии основание H располагается на самом луче, причём отличается от вершины O.

Теперь на том же луче выберем точку A так, чтобы H являлась серединой отрезка OA.

Следовательно:

OH = HA.

Соединим Z с A.

Рассмотрим два прямоугольных треугольника ZHO и ZHA.

У них имеется общий катет ZH.

Другие катеты OH и HA равны по построению.

Следовательно, оба треугольника конгруэнтны.

Отсюда:

ZO = ZA.

Значит, A принадлежит окружности ;.

Таким образом, первоначально предполагаемое пересечение окружности с первым лучом получило геометрическое обоснование.

При этом A отличается от вершины O.

Проведение диаметра
Теперь соединим A с Z.

Получим радиус ZA.

Продолжим отрезок AZ через центр Z в противоположном направлении до второй точки C окружности.

Тогда:

ZA = ZC.

Точки A, Z и C лежат на одной прямой.

Следовательно, AC является диаметром вспомогательной окружности.

Тем самым выполнено одно из главных требований исходной задачи.

Построенная прямая проходит через заданную внутреннюю точку Z.

Кроме того, она пересекает первый луч угла в точке A.

Остаётся установить её пересечение со вторым лучом.

Именно этот вопрос составляет центральную доказательную задачу.

Луч, прямая и отрезок
Перед дальнейшим изложением необходимо уточнить важное терминологическое различие.

Прямая продолжается в обе стороны и не имеет конечных точек.

Луч имеет определённую начальную точку и продолжается в одном направлении.

Отрезок ограничен двумя конечными точками.

Это различие существенно для нашей задачи.

Предположим, что построенная прямая пересекает полную прямую, содержащую второй образующий луч угла.

Такого результата ещё недостаточно.

Необходимо установить, что точка пересечения находится именно на луче, исходящем из O в заданном направлении.

Аналогично важно доказать, что эта точка не совпадает с вершиной O.

Таким образом, пересечение двух полных прямых и пересечение прямой с лучом имеют разные условия.

В дальнейшем будем постоянно учитывать это обстоятельство.

Геометрическая целостность построенной прямой
В предложенном методе направление искомой прямой определяется двумя точками A и Z.

После этого продолжение осуществляется строго по той же прямой.

Иными словами, положение искомого геометрического объекта не может изменяться произвольно.

Это свойство я рассматриваю как принцип геометрической целостности построенной прямой.

Однако необходимо разграничить два утверждения.

Первое: отрезок AZ и его продолжение ZC принадлежат одной прямой.

Второе: эта прямая пересекает второй луч исходного угла.

Первое обеспечивается построением.

Второе требует дополнительного доказательства.

Следовательно, геометрическая целостность является необходимой характеристикой конструкции, но сама по себе ещё не устанавливает существование требуемого пересечения.

8.3. Последовательность конструктивных операций
В опубликованном исследовании рассматриваются два взаимосвязанных варианта авторского метода.

Первый относится непосредственно к острому углу.

Второй предназначен для исследования более широкого класса углов, включая тупые.

Оба варианта используют один основной конструктивный принцип: выбор точки на первом луче, соединение её с Z, построение окружности и проведение диаметра через заданную внутреннюю точку.

Различаются способы выбора первоначальной точки первого луча.

Первый вариант: острый угол
Пусть O — вершина исходного острого угла, а Z — произвольная внутренняя точка.

Первоначальная конструкция выполняется следующим образом.

Сначала соединяем O с Z.

Затем из центра Z описываем окружность радиусом ZO.

На первом луче определяем вторую точку A, принадлежащую окружности и отличную от O.

После этого соединяем A с Z.

Продолжаем AZ через Z до противоположной точки C окружности.

Получаем диаметр AC.

Таким образом, искомая прямая определяется вполне конкретной последовательностью построений.

Её положение не выбирается произвольно.

Оно определяется первоначальными точками O и Z и соответствующим геометрическим отношением с первым лучом.

Геометрическое значение диаметра AC
Особенность данной конструкции связана с тем, что вершина O также принадлежит построенной окружности.

Следовательно, точки A, O и C расположены на одной окружности.

При этом AC является её диаметром.

В обычной евклидовой геометрии угол AOC, опирающийся на диаметр, является прямым.

Данное свойство известно как теорема об угле, вписанном в полуокружность.

В «Началах» Евклида оно содержится в предложении III.31.

Если воспользоваться этим результатом, то луч OC окажется перпендикулярным первому лучу OA.

Но первоначальный угол является острым.

Следовательно, его второй луч располагается внутри прямого угла AOC.

Таким образом, возникает треугольник AOC, одна из сторон которого — AC — является построенным диаметром.

Второй луч первоначального угла проходит внутри угла AOC.

По теореме о пересечении противоположной стороны треугольника лучом, исходящим из его вершины и расположенным внутри соответствующего угла, он пересекает AC.

Обозначим точку пересечения через B.

Тогда B принадлежит второму лучу и одновременно лежит на диаметре AC.

Следовательно, точки A, Z и B принадлежат одной прямой.

При этом в рассматриваемой конфигурации Z находится между A и B.

Таким образом, первоначальная задача получает решение в евклидовой геометрии.

Однако доказательное значение этого рассуждения необходимо оценивать с учётом использования теоремы об угле, опирающемся на диаметр.

К данному вопросу мы вернёмся в разделе 8.5.

Второй вариант: увеличение первоначального основания
В первоначальной авторской работе рассматривается также возможность распространения метода на углы большей величины.

В частности, речь идёт о тупых углах.

Здесь простой выбор радиуса ZO уже не обеспечивает тех же геометрических отношений, которые использовались в предыдущем построении.

Поэтому предлагается дополнительная операция: последовательное удаление выбранной точки первого луча от вершины исходного угла.

Пусть снова даны O и Z.

Соединим их отрезком ZO.

Обозначим его длину через r.

На первом луче от O последовательно отложим отрезки длиной r.

Получим точки A;, A;, A;, A; и так далее.

Таким образом:

OA; = A;A; = A;A; = A;A; = r.

При необходимости построение продолжается.

После n последовательных откладываний получим точку A;, для которой:

OA; = nr.

Следовательно, положение выбранной точки первого луча можно изменять посредством вполне определённых конечных геометрических операций.

При этом исходная внутренняя точка Z сохраняет своё положение.

Построение увеличенной окружности
Теперь соединим A; с Z.

Получим отрезок ZA;.

Из точки Z опишем окружность радиусом ZA;.

Следовательно, точка A; по построению принадлежит новой окружности.

Продолжим отрезок A;Z через центр Z до диаметрально противоположной точки D.

Получим диаметр A;D.

Тем самым построена новая прямая, проходящая через первоначальную внутреннюю точку Z.

Она также пересекает первый луч угла в определённой точке A;.

Однако, в отличие от первоначального построения, её направление теперь зависит от выбранного количества последовательно отложенных отрезков.

При увеличении n точка A; удаляется от вершины O.

Соответственно изменяется направление прямой A;Z.

Именно это обстоятельство используется для поиска пересечения со вторым лучом.

Почему четыре отрезка не всегда достаточны?
На первоначальном авторском чертеже показано построение четырёх равных отрезков.

Однако в опубликованной математической проверке установлено, что фиксированное число четыре не является универсально достаточным для произвольного тупого угла.

Рассмотрим конкретный пример в обычной евклидовой плоскости.

Пусть:

O = (0; 0),

Z = (0; 1).

Первый луч направлен вдоль положительной горизонтальной полуоси.

Второй луч проходит из O через точку Q = (;5; 1).

Таким образом, исходный угол тупой, а точка Z расположена строго внутри него.

Поскольку:

ZO = 1,

после откладывания четырёх равных отрезков получаем:

A; = (4; 0).

Построим окружность с центром Z и радиусом ZA;.

Продолжим A;Z до диаметрально противоположной точки D.

Получим:

D = (;4; 2).

Построенная прямая имеет уравнение:

x + 4y = 4.

Точки второго луча можно представить в виде:

x = ;5t,

y = t,

где t неотрицательно.

Подставляя эти выражения в уравнение прямой, получаем:

;5t + 4t = 4.

Следовательно:

t = ;4.

Отрицательное значение параметра относится к противоположному продолжению второго луча, а не к самому лучу.

Значит, в данном случае построенная прямая не пересекает второй образующий луч угла.

Таким образом, четыре последовательных отрезка не обеспечивают требуемый результат.

Однако этот пример не означает несостоятельности самой идеи увеличения основания.

Достаточное увеличение основания
В том же примере продолжим откладывание равных отрезков.

Возьмём точку:

A;; = (11; 0).

Построим соответствующий диаметр окружности с центром Z.

Теперь полученная прямая имеет уравнение:

x + 11y = 11.

Для точек второго луча:

x = ;5t,

y = t.

Подстановка даёт:

;5t + 11t = 11.

Следовательно:

t = 11/6.

Это значение положительно.

Значит, точка пересечения принадлежит именно второму лучу.

Кроме того, она располагается между Z и диаметрально противоположной точкой D.

Таким образом, увеличение основания действительно позволяет решить задачу в данном конкретном случае.

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

Общее условие достаточного удаления
В опубликованной работе рассматривается также аналитическая проверка расширенного построения.

В обычной евклидовой плоскости вершину угла можно поместить в начало координат, а первый луч направить вдоль положительной полуоси абсцисс.

Пусть величина угла равна ;, причём:

0 < ; < 180°.

Пусть внутренняя точка имеет координаты:

Z = (u; v),

где v положительно.

Второй луч можно описать соотношением:

x = y ctg ;,

при y ; 0.

Поскольку точка Z расположена строго внутри исходного угла, величина:

d = u ; v ctg ;

положительна.

Выберем на первом луче точку A с координатами:

A = (a; 0).

Построим окружность с центром Z и радиусом ZA.

Противоположный конец диаметра обозначим D.

Тогда:

D = (2u ; a; 2v).

Точки построенного диаметра можно описать параметрически:

P(t) = (a + t(u ; a); tv).

При t = 0 получаем A.

При t = 1 получаем Z.

При t = 2 получаем D.

Следовательно, значения параметра между единицей и двойкой соответствуют внутренним точкам отрезка ZD.

Для пересечения со вторым лучом должно выполняться:

a + t(u ; a) = tv ctg ;.

Отсюда:

t = a / (a ; d).

Если выбрать a так, чтобы:

a > 2d,

то:

1 < t < 2.

Следовательно, точка пересечения существует и находится между Z и D.

При этом её вторая координата положительна.

Таким образом, она принадлежит именно второму лучу исходного угла.

Теперь положим:

a = nr,

где r = ZO.

В обычной евклидовой метрической системе можно выбрать конечное натуральное число n так, чтобы:

nr > 2d.

Следовательно, при достаточном увеличении основания построенная прямая действительно пересечёт второй луч.

Этот результат обеспечивает точную аналитическую проверку расширенной конструкции в евклидовой плоскости.

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

Геометрическое значение двух вариантов
Оба варианта построения имеют общую основу.

В первом случае точка первого луча определяется через пересечение с окружностью радиусом ZO.

Во втором случае она определяется последовательным откладыванием равных отрезков.

Но в обоих случаях искомая прямая проходит через первоначальную внутреннюю точку Z и выбранную точку первого луча.

Различие заключается в способе выбора направления.

Для острого угла применяется специальная окружность, проходящая через его вершину.

Для более широкого класса углов используется изменение первоначального основания.

В результате возникает возможность исследовать одну и ту же проблему двумя конструктивными способами.

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

8.4. Конспект авторского доказательства
Теперь представим основное доказательное рассуждение в последовательной форме.

Его первоначальный предмет — утверждение Лежандра о проведении через произвольную внутреннюю точку острого угла прямой, пересекающей оба образующих луча.

Первый этап. Задание исходной конфигурации
Пусть дан произвольный острый угол с вершиной O.

Пусть Z — произвольная точка, расположенная строго внутри угла.

Необходимо построить прямую, проходящую через Z и пересекающую оба луча.

При этом угол и точка не должны выбираться специально для удобства доказательства.

Рассуждение должно относиться ко всем допустимым случаям.

Второй этап. Построение вспомогательной окружности
Соединим O с Z.

Из точки Z опишем окружность радиусом ZO.

Следовательно, O принадлежит построенной окружности.

Рассмотрим первый луч исходного угла.

Поскольку исходный угол острый, существует отличная от O точка A этого луча, также принадлежащая окружности.

Её существование можно обосновать посредством перпендикуляра ZH и построения точки A, симметричной O относительно H.

Таким образом:

ZA = ZO.

Третий этап. Получение диаметра
Соединим A и Z.

Продолжим AZ через Z до противоположной точки C окружности.

Получим диаметр AC.

Следовательно, построена прямая, проходящая через Z.

Кроме того, она пересекает первый луч угла в точке A, отличной от O.

Таким образом, часть требуемых условий доказана.

Четвёртый этап. Исследование угла AOC
Точки A, O и C принадлежат одной окружности.

При этом AC является её диаметром.

В евклидовой геометрии согласно предложению III.31 «Начал» Евклида:

;AOC = 90°.

Следовательно, луч OC перпендикулярен первому лучу OA.

Но исходный угол острый.

Поэтому второй луч первоначального угла располагается строго между лучами OA и OC.

Таким образом, возникает треугольник AOC, внутри угла при вершине O которого расположен второй образующий луч первоначального угла.

Пятый этап. Получение второго пересечения
Согласно свойству пересечения стороны треугольника лучом, исходящим из противоположной вершины и расположенным внутри соответствующего угла, второй луч исходного угла пересекает сторону AC.

Обозначим точку пересечения через B.

Следовательно:

B принадлежит второму лучу исходного угла;

B принадлежит отрезку AC.

Поскольку Z также лежит на AC, получаем:

A, Z и B лежат на одной прямой.

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

Шестой этап. Проверка положения точек
Необходимо убедиться, что полученные точки соответствуют всем требованиям теоремы.

Точка A отличается от O по построению.

Точка B также отличается от O, поскольку является внутренней точкой стороны AC треугольника AOC.

Следовательно, A и B различны.

Кроме того, первоначальная точка Z находится внутри угла AOB.

Поэтому в рассматриваемой конфигурации она лежит между A и B.

Получаем порядок:

A — Z — B — C.

Следовательно:

AB = AZ + ZB.

Таким образом, отрезок AB проходит через заданную внутреннюю точку и соединяет две различные точки образующих лучей.

Это завершает проверку геометрической конфигурации.

Седьмой этап. Общность результата для острых углов
В ходе построения исходный острый угол не предполагался равным какой-либо специальной величине.

Аналогично точка Z не выбиралась в особом положении.

Следовательно, в обычной евклидовой плоскости описанная конструкция применима к произвольному острому углу и произвольной внутренней точке.

Её существенные элементы сохраняются.

Сначала строится окружность с центром Z и радиусом ZO.

Затем определяется вторая точка A её пересечения с первым лучом.

После этого проводится диаметр AC.

Поскольку угол AOC прямой, второй луч исходного острого угла располагается внутри него и пересекает AC.

Таким образом, утверждение Лежандра получает конструктивное доказательство в полной евклидовой геометрии.

Однако остаётся вопрос о логической независимости использованной доказательной схемы от пятого постулата.

Восьмой этап. Расширенное построение
Для углов большей величины используется другая последовательность операций.

На первом луче последовательно откладываются равные отрезки.

Выбирается достаточно удалённая точка A;.

Она соединяется с Z.

Из Z описывается окружность радиусом ZA;.

Затем проводится диаметр A;D.

При выполнении условия достаточного удаления построенная прямая пересекает второй луч в точке B, лежащей между Z и D.

В обычной евклидовой плоскости достаточность удаления можно проверить аналитически.

При этом необходимое количество последовательных отрезков зависит от величины угла и положения первоначальной внутренней точки.

Следовательно, нельзя заранее устанавливать одно фиксированное число отрезков, достаточное для всех возможных геометрических конфигураций.

Девятый этап. Разграничение результатов
Рассмотренное доказательство содержит несколько разных по математическому статусу элементов.

Непосредственно обоснованы построение окружности, получение точки A на первом луче, проведение диаметра через Z и пересечение этого диаметра с первым лучом.

Далее в полной евклидовой геометрии устанавливается прямота угла AOC.

После этого доказывается существование второго пересечения.

Однако прямота вписанного угла, опирающегося на диаметр, используется здесь как уже известная теорема.

В «Началах» Евклида предложение III.31 доказывается с привлечением предложения I.32, которое, в свою очередь, связано с теорией параллельных.

Поэтому данная доказательная цепочка не может без дополнительного исследования рассматриваться как самостоятельное выведение пятого постулата из остальных первоначальных положений.

Именно это обстоятельство является центральным для независимой математической экспертизы.

Десятый этап. Основной математический вывод
Таким образом, авторская конструкция позволяет установить следующий результат.

Теорема о пересечении острого угла в евклидовой геометрии.

Пусть дан произвольный острый угол с вершиной O и произвольная точка Z, расположенная строго внутри него.

Построим окружность с центром Z и радиусом ZO.

Пусть A — вторая, отличная от O точка пересечения этой окружности с первым лучом угла.

Проведём диаметр AC через Z.

Тогда прямая AC пересекает второй луч исходного угла в определённой точке B, отличной от O.

При этом Z находится между A и B.

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

Таким образом, в евклидовой плоскости конструкция математически работоспособна.

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

Именно такой вопрос остаётся предметом дальнейшего математического исследования.

Главная доказательная идея
Особенность предложенного метода заключается в определённом способе выбора искомой прямой.

Она не проводится наугад.

Её направление определяется вспомогательной окружностью и одним из её радиусов.

При этом прохождение прямой через заданную внутреннюю точку обеспечивается тем, что указанная точка является центром окружности.

Первое пересечение обеспечивается выбором точки A на исходном луче.

Второе пересечение становится предметом самостоятельного геометрического рассуждения.

Тем самым общая задача преобразуется в систему конкретных конструктивных операций и доказательных требований.

На мой взгляд, именно эта последовательность составляет основное методологическое содержание авторского подхода.

8.5. Результаты и вопросы дальнейшей проверки
Рассмотренная теорема завершает изложение четырёх опубликованных мной авторских исследований, связанных с проблемой пятого постулата Евклида.

Однако для оценки её действительного математического содержания необходимо строго разграничить конструктивные результаты и задачи дальнейшей проверки.

Это особенно важно в контексте Великого геометрического ноочелленджа.

Ведь предметом соревнования должны стать не только первоначальные идеи, но и самостоятельно обоснованные доказательства.

Первый результат: точная постановка задачи
Прежде всего уточнена сама геометрическая проблема.

Речь идёт не о произвольном пересечении двух прямых.

И не о простом проведении прямой через внутреннюю точку угла.

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

При этом первоначальная внутренняя точка должна оставаться неизменной.

Это уточнение имеет самостоятельное методологическое значение.

Оно исключает возможность подменить исходную задачу более простым утверждением, не содержащим всех необходимых условий.

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

Через заданную внутреннюю точку Z проводится диаметр вспомогательной окружности.

Положение окружности и её радиус определяются исходными геометрическими данными.

Тем самым искомая прямая не выбирается произвольно, а получается в результате последовательных построений.

Для острого угла используется окружность радиусом ZO.

Для более широкого класса углов применяется дополнительная операция увеличения основания.

Таким образом, разработана единая конструктивная схема, допускающая несколько вариантов реализации.

Третий результат: доказательство первого пересечения
В обоих вариантах пересечение с первым лучом обеспечивается непосредственно.

В первоначальном построении это точка A.

В расширенном — точка A;.

При этом указанные точки отличаются от вершины O.

Следовательно, соответствующая часть исходной задачи решена посредством самой конструкции.

Для её обоснования не требуется заранее принимать существование пересечения построенной прямой со вторым лучом.

Четвёртый результат: проверка второго пересечения
В обычной евклидовой плоскости существование второго пересечения установлено.

Для острого угла используется теорема об угле, опирающемся на диаметр окружности.

Для расширенного построения с увеличением основания получено условие достаточного удаления точки первого луча.

В частности, показано, что четыре последовательно отложенных отрезка не являются универсально достаточными для произвольного тупого угла.

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

Следовательно, первоначальная конструктивная идея получила точное математическое уточнение.

Пятый результат: разграничение двух авторских вариантов
Оба варианта используют одну основную идею.

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

Поэтому их не следует представлять как два совершенно независимых метода доказательства.

Вместе с тем каждый имеет собственные конструктивные особенности.

Первый связан с окружностью радиусом ZO и непосредственно ориентирован на острый угол.

Второй использует увеличение основания и позволяет исследовать более широкий класс углов.

Они представляют собой две реализации одной общей исследовательской стратегии.

Центральная проблема независимого доказательства
Главный вопрос дальнейшей проверки состоит в установлении доказательного статуса второго пересечения.

В евклидовой геометрии оно получено посредством известных теорем.

Однако если целью является самостоятельное доказательство утверждения, эквивалентного пятому постулату, необходимо исследовать основания этих теорем.

Особенно важно предложение III.31 «Начал» Евклида.

Оно устанавливает прямоту вписанного угла, опирающегося на диаметр окружности.

Но в традиционной евклидовой доказательной последовательности этот результат использует предложение I.32 о внешнем угле треугольника.

В свою очередь, предложение I.32 связано с предложением I.29, при доказательстве которого применяется пятый постулат.

Следовательно, при использовании III.31 возникает доказательная зависимость от исследуемого постулата.

Для целей настоящего ноочелленджа её необходимо учитывать.

Корректность построения в евклидовой геометрии ещё не означает доказательной независимости соответствующего построения от пятого постулата.

Это разграничение не относится исключительно к данному исследованию.

Оно распространяется на все восемнадцать конкурсных задач.

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

Пусть дан острый угол с вершиной O и внутренняя точка Z.

Из Z описана окружность радиусом ZO.

На первом луче определена вторая точка A этой окружности.

Через A и Z проведён диаметр AC.

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

Это и есть центральная лемма предлагаемого метода.

Её необходимо рассматривать отдельно от самой процедуры построения окружности.

Если соответствующее пересечение выводится из ранее доказанной теоремы, следует проверить доказательную зависимость этой теоремы.

Если предлагается новое конструктивное обоснование, необходимо последовательно исследовать все используемые операции и геометрические отношения.

Таким образом, главный вопрос приобретает вполне определённую математическую форму.

Проблема геометрического порядка
Следующая задача касается положения полученных точек.

Недостаточно просто установить, что построенная прямая имеет некоторую общую точку с полной прямой второго луча.

Необходимо доказать принадлежность этой точки самому лучу.

Кроме того, в первоначальной авторской конструкции предполагается порядок:

A — Z — B — C.

Поэтому требуется обоснование соответствующих отношений между точками.

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

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

Поэтому для окончательной реконструкции доказательства необходимо точно указать, какие положения геометрического порядка принимаются в качестве исходных.

Иначе некоторые переходы могут оставаться неявными.

Проверка расширенной конструкции
Дополнительного исследования требует вариант с последовательным увеличением основания.

Здесь необходимо доказать существование конечного числа отрезков, достаточного для получения второго пересечения.

В обычной евклидовой плоскости соответствующее условие может быть выражено аналитически.

Но для самостоятельного конструктивного доказательства необходимо установить его геометрическое содержание.

Особенно важно разграничивать возможность продолжения исходного луча и достаточность определённого продолжения для получения требуемого пересечения.

Первое положение относится к допустимой операции.

Второе — к существованию определённого геометрического результата.

Поэтому требование достаточности должно быть сформулировано в виде самостоятельной леммы.

Сводный реестр доказательного статуса
Элемент исследования Текущий математический статус
Формулировка задачи Лежандра для произвольного острого угла Уточнена
Различие утверждений Лоренца и Лежандра Установлено
Построение окружности с центром Z и радиусом ZO Обосновано
Существование второй точки A на первом луче в евклидовой плоскости Обосновано
Построение диаметра AC через Z Обосновано
Пересечение первого луча Обеспечено построением
Пересечение второго луча в евклидовой геометрии Доказано с использованием известных геометрических теорем
Независимость доказательства от пятого постулата Не установлена
Расширенная конструкция с увеличением основания Разработана
Универсальная достаточность четырёх отрезков Не выполняется
Существование достаточного конечного увеличения в евклидовой плоскости Установлено
Применимость расширенной схемы без дополнительных геометрических предпосылок Требует самостоятельного исследования
Полный конкурсный зачёт НЗ-06 Подлежит независимой экспертизе
Таким образом, опубликованная работа содержит определённую и математически проверяемую конструкцию.

Однако для признания её независимым доказательством пятого постулата необходимо дополнительно обосновать центральный переход, не опираясь на заранее принятые эквивалентные утверждения.

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

Прежде всего следует установить полный перечень исходных положений, используемых в первоначальном построении.

Затем необходимо исследовать возможность обоснования второго пересечения посредством самостоятельной геометрической леммы.

Отдельного внимания заслуживает вопрос о роли теоремы об угле, опирающемся на диаметр.

Следующая задача заключается в реконструкции расширенного построения без обязательного использования координатного аппарата.

Наконец, необходимо определить, какие отношения геометрического порядка обеспечивают расположение точки B именно на соответствующем луче.

При этом участники ноочелленджа не обязаны ограничиваться предложенным мной методом.

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

Именно многообразие таких методов представляет особый интерес.

НЗ-06 как самостоятельная конкурсная задача
Великий геометрический ноочеллендж предполагает открытое исследование восемнадцати взаимосвязанных геометрических утверждений.

Теорема о пересечении угла с точкой включена в этот корпус под номером НЗ-06.

Она относится к числу четырёх задач, по которым уже опубликованы авторские исследования.

Однако наличие соответствующей публикации не означает автоматического завершения конкурсной задачи.

Для зачёта необходимо самостоятельное математическое обоснование всех существенных доказательных переходов.

При этом историческое утверждение Лоренца, рассматриваемое под номером НЗ-05, сохраняет самостоятельный конкурсный статус.

Расширение авторского построения на более широкий класс углов не должно приводить к смешению двух первоначальных формулировок.

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

Место четвёртой работы среди опубликованных доказательств
Завершая исследование, необходимо сопоставить его с тремя предыдущими авторскими работами.

Первая посвящена существованию квадрата.

Здесь исследуется возможность построения определённой равносторонней фигуры и установления прямоты всех её внутренних углов.

Вторая касается сверхбольшого равностороннего треугольника.

Её предметом становится возможность последовательного увеличения конечных фигур и доказательства неограниченности их площадей.

Третья посвящена проблеме Посидония.

Здесь исследуются равные перпендикуляры, эквидистантность и взаимное расположение прямых.

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

Следовательно, каждое исследование имеет собственное конструктивное содержание.

Их нельзя рассматривать как простое повторение одного и того же доказательного приёма.

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

Авторская позиция
Для меня особое значение имеет непосредственность предложенной конструкции.

Мы начинаем с обычного угла.

Выбираем точку внутри него.

Строим окружность.

Проводим радиус через определённую точку первого луча.

Продолжаем его через центр.

Получаем диаметр.

Затем исследуем, при каких геометрических условиях построенная прямая пересекает второй луч.

Всё рассуждение строится вокруг небольшого числа первоначальных геометрических объектов.

При этом главная математическая трудность оказывается сосредоточенной в одном конкретном переходе — от построения определённой прямой к доказательству существования её второго пересечения.

Именно это обстоятельство делает данную задачу особенно привлекательной для организованного интеллектуального соревнования.

Участникам предлагается не неопределённая проблема, требующая поиска совершенно неизвестного объекта.

Перед ними находится конкретная геометрическая конфигурация, для которой можно сформулировать точные доказательные требования.

Возможно, один исследователь разработает новое построение.

Другой обнаружит дополнительную геометрическую лемму.

Третий предложит самостоятельную реконструкцию первоначальных оснований.

Четвёртый найдёт более простой способ установления требуемого пересечения.

Все эти подходы способны представлять самостоятельный интерес.

При этом я не рассматриваю данный результат как окончательную цель развития геометрической науки.

Как уже отмечалось в предисловии, основные перспективы своей фундаментальной исследовательской программы связываю с гармонической геометрией и Юниметрией.

Однако проблема Лежандра имеет значительную историко-математическую ценность и заслуживает самостоятельного исследования в рамках Великого геометрического ноочелленджа.

Именно в таком качестве она включена в настоящую книгу.

Заключение к главе 8
Теорема о пересечении угла прямой, проходящей через заданную внутреннюю точку, представляет собой одно из исторически известных утверждений, связанных с пятым постулатом Евклида.

Её особенность заключается в сравнительной простоте исходной геометрической постановки.

Дан угол.

Внутри него расположена произвольная точка.

Необходимо провести через неё прямую, пересекающую оба образующих луча.

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

Первый вариант предназначен для острого угла.

Второй использует последовательное увеличение основания и позволяет исследовать более широкий класс геометрических конфигураций.

В обычной евклидовой плоскости работоспособность обоих построений подтверждена.

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

Вместе с тем независимая математическая проверка выявляет существенный вопрос.

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

Именно этот вопрос составляет центральную задачу дальнейшей разработки метода.

При этом сама конструкция обладает самостоятельным познавательным значением.

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

Таким образом, НЗ-06 становится одним из направлений открытой конкурсной программы.

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

При этом все представленные результаты должны проходить независимую математическую экспертизу на общих основаниях.

Настоящей главой завершается изложение четырёх опубликованных авторских исследований.

Их основные направления можно обозначить следующим образом:

НЗ-01 — существование квадрата.

НЗ-04 — сверхбольшой равносторонний треугольник.

НЗ-06 — пересечение угла прямой через заданную точку.

НЗ-08 — проблема Посидония и эквидистантность прямых.

Все четыре исследования обладают собственным конструктивным содержанием и требуют индивидуальной математической квалификации.

Однако Великий геометрический ноочеллендж не ограничивается этими четырьмя направлениями.

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

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

От четырёх опубликованных доказательных подходов мы переходим к четырнадцати новым направлениям геометрического творчества.

Этому посвящена следующая глава — «Четырнадцать направлений дальнейшего доказательного поиска».

Основные источники и литература
Петросян В. К. (Вадимир). Теорема о пересечении угла с точкой. Конструктивное доказательство утверждения Лежандра и проблема пятого постулата Евклида. Lag.ru, 29 октября 2026 года. Основной авторский источник настоящей главы, включая критический математический комментарий и геометрические иллюстрации.
Петросян В. К. (Вадимир). Теорема о параллельных прямых: к основаниям Гармонической геометрии. Lag.ru, 12 марта 2025 года. Раздел 1.3 и первоначальные авторские рисунки 1.3.1 и 1.3.2.
Евклид. Начала. Книги I и III. Особое значение имеют постулаты 1–3, предложения I.29, I.32 и III.31.
Heath, T. L. The Thirteen Books of Euclid’s Elements. Cambridge University Press, 1908.
Legendre, A.-M. ;l;ments de g;om;trie. Paris, 1794; последующие прижизненные издания.
Герлинг К. Л. — Гаусс К. Ф. Переписка 1816 года по проблеме параллельных прямых. В частности, письмо Герлинга от 11 марта 1816 года.
Каган В. Ф. Лобачевский и его геометрия. Москва, 1955. Исторические материалы и публикации фрагментов переписки Герлинга и Гаусса.
Петросян В. К. (Вадимир). 18 путей к пятому постулату Евклида. Великий геометрический ноочеллендж. Lag.ru, 29 октября 2026 года.
****