Теорема о пересечении угла с точкой
Конструктивное доказательство утверждения Лежандра и проблема пятого постулата Евклида
Аннотация
Настоящая брошюра посвящена исследованию одной из исторических проблем оснований евклидовой геометрии — доказательству существования прямой, проходящей через произвольную внутреннюю точку острого угла и пересекающей оба образующих его луча.
Рассматриваемое утверждение известно в истории математики как одно из предположений Адриена-Мари Лежандра, использованных при попытках доказательства пятого постулата Евклида. Близкое по содержанию, но логически отличное положение ранее рассматривалось Иоганном Фридрихом Лоренцем.
В работе исследуется история возникновения этой геометрической проблемы, её постановка в трудах Лежандра и других математиков, а также её место в развитии представлений об основаниях геометрии.
Центральное место занимает авторский конструктивный подход к доказательству теоремы о пересечении прямой, проходящей через внутреннюю точку острого угла, с обоими его лучами. Особое внимание уделяется первоначальным геометрическим построениям, свойствам прямой, луча и угла, а также условиям, обеспечивающим существование соответствующих точек пересечения.
Автор рассматривает данную задачу как самостоятельное направление исследования пятого постулата Евклида, отличное от предложенных им ранее методов построения квадрата, сверхбольшого равностороннего треугольника и исследования эквидистантности прямых.
Работа входит в цикл исследований В. К. Петросяна по основаниям Гармонической геометрии.
В отдельном приложении предусматривается независимый математический анализ авторского доказательства, основанный на непосредственном исследовании исходных геометрических построений и их логической последовательности.
Брошюра адресована математикам, историкам и философам науки, преподавателям геометрии, а также читателям, интересующимся основаниями математики, историей пятого постулата Евклида и проблемами геометрического доказательства.
*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и техническом участии) ChatGPT (OpenAI), GPT-5.6 Sol
******
ОГЛАВЛЕНИЕ
В. К. Петросян
Теорема о пересечении угла с точкой
Предисловие
Почему я возвращаюсь к проблеме пересечения прямой с лучами угла
Введение
Геометрическая очевидность, конструктивное доказательство и пятый постулат Евклида
Глава 1. История постановки проблемы пересечения прямой с лучами угла
1.1. Пятый постулат Евклида и проблема существования пересечения
1.2. Античные исследования: Прокл и проблема геометрической очевидности
1.3. От средневековой геометрии к исследованиям XVII–XVIII веков
1.4. Иоганн Фридрих Лоренц: постановка задачи пересечения
1.5. Адриен-Мари Лежандр и задача пересечения обеих сторон угла
1.6. Как возникло предположение Лежандра
1.7. Обсуждение предположения Лежандра в переписке Герлинга и Гаусса
1.8. Развитие вопроса в XIX веке
1.9. Возвращение к проблеме в исследованиях Гармонической геометрии
1.10. Основной исторический итог
Глава 2. Первоначальные геометрические понятия и постановка теоремы
2.1. Прямая как первоначальный геометрический объект
2.2. Прямолинейный отрезок и его продолжение
2.3. Луч и его отличие от прямой и отрезка
2.4. Угол, его вершина и образующие лучи
2.5. Острый угол и геометрическая область его внутренности
2.6. Произвольная внутренняя точка угла
2.7. Понятие пересечения прямой с лучом
2.8. Существование пересечения и его геометрические условия
2.9. Различие между построением прямой и доказательством её пересечения с заданным лучом
2.10. Точная постановка теоремы о пересечении угла с точкой
Глава 3. Авторская геометрическая конструкция
3.1. Исходный острый угол и произвольная внутренняя точка
3.2. Первоначальный авторский чертёж и система обозначений
3.3. Выбор вспомогательных геометрических элементов
3.4. Построение прямой, проходящей через внутреннюю точку угла
3.5. Взаимное расположение построенной прямой и первого луча
3.6. Продолжение построенной прямой и исследование второго луча
3.7. Геометрические условия существования двух точек пересечения
3.8. Независимость исходной задачи от произвольного выбора внутренней точки
3.9. Итоговая геометрическая конструкция
Глава 4. Авторское доказательство теоремы о пересечении угла с точкой
4.1. Формулировка основной теоремы
4.2. Исходные геометрические положения и допустимые построения
4.3. Обоснование построения искомой прямой
4.4. Доказательство пересечения с первым лучом угла
4.5. Доказательство пересечения со вторым лучом угла
4.6. Различие точек пересечения и их положение относительно вершины
4.7. Исследование произвольного положения внутренней точки
4.8. Общность доказательства для острых углов
4.9. Геометрическая целостность построенной прямой
4.10. Существование пересечения как самостоятельный геометрический результат
4.11. Итоговое доказательство основной теоремы
Глава 5. Теорема о пересечении угла с точкой и пятый постулат Евклида
5.1. Утверждение Лежандра в системе эквивалентов пятого постулата
5.2. Сопоставление геометрических положений Лоренца и Лежандра
5.3. Пересечение прямых и пересечение лучей
5.4. Условия существования пересечения в первоначальной геометрии
5.5. Конструктивное доказательство и проблема логической независимости
5.6. Значение авторской теоремы для исследования параллельности
5.7. Сопоставление с другими авторскими методами исследования пятого постулата
5.8. Место теоремы в основаниях Гармонической геометрии
5.9. Основные результаты исследования
Заключение
Геометрическое и методологическое значение теоремы о пересечении угла с точкой
Приложения
Приложение 1. Независимый критический математический комментарий
1.1. Предмет независимой экспертизы
1.2. Проверка исходных определений и построений
1.3. Анализ существования точек пересечения
1.4. Проверка используемых геометрических положений
1.5. Анализ логической независимости от пятого постулата
1.6. Итоговое математическое заключение
Приложение 2. Геометрические иллюстрации
2.1. Первоначальные авторские чертежи
2.2. Геометрическая схема исходной задачи
2.3. Последовательность авторского построения
2.4. Иллюстрации доказательства основной теоремы
2.5. Дополнительные геометрические случаи
Приложение 3. Исторические формулировки и источники
3.1. Пятый постулат Евклида
3.2. Геометрическое положение Лоренца
3.3. Предположение Лежандра
3.4. Материалы исторической переписки Герлинга и Гаусса
3.5. Исторические комментарии и современные интерпретации
Библиография
Основные исторические источники
Математические и историко-геометрические исследования
Публикации В. К. Петросяна по основаниям Гармонической геометрии
*****
ПРЕДИСЛОВИЕ
Почему я возвращаюсь к проблеме пересечения прямой с лучами угла
Проблема пятого постулата Евклида на протяжении более двух тысячелетий оставалась одной из наиболее известных и обсуждаемых проблем в истории математики. Её значение далеко выходит за пределы частного вопроса о параллельных прямых. В конечном счёте речь идёт о фундаментальных основаниях геометрического знания, о соотношении геометрической очевидности и математического доказательства, о возможностях первоначальных построений и о логической состоятельности самой системы евклидовой геометрии.
В течение многих лет я занимался исследованием этих вопросов, стремясь установить, действительно ли пятый постулат представляет собой самостоятельное, невыводимое из других первоначальных положений геометрии утверждение или его доказательство возможно посредством более последовательного использования самих геометрических понятий и построений.
В ходе этих исследований были разработаны несколько самостоятельных подходов к проблеме параллельности, включая построение квадрата, исследование сверхбольшого равностороннего треугольника и конструктивное построение эквидистантных прямых.
Однако особое место среди них занимает сравнительно простая геометрическая задача, известная в истории математики в связи с именем французского математика Адриена-Мари Лежандра.
Содержание этой задачи можно выразить следующим образом:
Через любую точку, лежащую внутри острого угла, можно провести прямую, пересекающую оба луча, образующие этот угол.
На первый взгляд это утверждение кажется настолько очевидным, что сама необходимость его специального доказательства способна вызвать недоумение.
Действительно, трудно представить себе более элементарную геометрическую ситуацию: два луча, исходящие из общей вершины, произвольная точка между ними и прямая, которую необходимо провести через эту точку так, чтобы она встретила оба луча.
Тем не менее именно подобные утверждения оказались в центре многовековых исследований пятого постулата Евклида.
Исторически близкое положение было сформулировано немецким математиком Иоганном Фридрихом Лоренцем в 1791 году. В отличие от утверждения Лежандра, оно касается пересечения произвольной прямой, проходящей через внутреннюю точку угла величиной менее двух прямых, по крайней мере с одной из его сторон.
Несмотря на различие формулировок, оба положения непосредственно связаны с общей проблемой существования пересечений прямых и лучей.
В современной аксиоматической геометрии эти утверждения рассматриваются как равносильные пятому постулату Евклида. Поэтому вопрос об их самостоятельном доказательстве приобретает особое значение.
Именно к этой проблеме я и возвращаюсь в настоящей работе.
От геометрической очевидности к конструктивному доказательству
Мой подход к рассматриваемой задаче основан на убеждении, что геометрическое доказательство должно прежде всего опираться на действительные отношения между первоначальными геометрическими объектами и на строго определённые операции их построения.
При этом необходимо различать прямую, луч и конечный прямолинейный отрезок.
Провести отрезок между двумя данными точками, продолжить его в определённом направлении и доказать пересечение полученной прямой с заданным лучом — не одно и то же.
Каждая из этих операций имеет собственное геометрическое содержание.
В особенности это относится к последней операции, поскольку существование точки пересечения нельзя просто предполагать, когда именно оно составляет предмет доказательства.
На протяжении истории геометрии многие рассуждения, связанные с пятым постулатом, сталкивались с трудностями именно при переходе от построенных конечных объектов к утверждениям об их дальнейшем взаимном расположении.
По моему мнению, рассмотрение первоначальных геометрических конструкций позволяет подойти к этой проблеме с другой стороны.
Вместо того чтобы начинать с двух произвольных бесконечно продолженных прямых и выяснять, встретятся ли они когда-нибудь, можно исследовать вполне определённую конечную геометрическую конструкцию, состоящую из угла, внутренней точки, построенных отрезков и вспомогательной окружности.
При этом окружность выступает не просто как вспомогательное изображение, а как геометрический объект, построение которого непосредственно допускается третьим постулатом Евклида.
Её центр, радиус и точки пересечения с другими геометрическими объектами позволяют установить определённые отношения между исходной точкой, сторонами угла и искомой прямой.
Основная идея моего построения
В основу предлагаемого доказательства положена следующая конструктивная идея.
Пусть дан острый угол с вершиной O и произвольная внутренняя точка Z.
Соединив эти точки, получаем определённый прямолинейный отрезок.
Из точки Z описываем окружность радиусом, равным длине этого отрезка. Затем выбираем точку A пересечения окружности с одним из лучей угла, соединяем её с Z и продолжаем полученный отрезок через центр окружности до противоположной точки C.
Таким образом, искомая прямая возникает посредством построения диаметра определённой окружности.
Главный вопрос заключается в установлении того, что построенная прямая пересекает и второй луч исходного угла.
В моём доказательстве это обстоятельство рассматривается не как произвольное допущение, а как необходимое следствие взаимного расположения исходных геометрических объектов и выполненных построений.
Особое значение имеет возможность расширения этого подхода на углы большей величины.
Для этого используется последовательное откладывание равных отрезков на одном из лучей угла.
В частности, на первоначальном авторском чертеже рассматриваются четыре последовательно отложенных отрезка, каждый из которых равен исходному отрезку между вершиной угла и его внутренней точкой.
После этого строится окружность с центром во внутренней точке угла и радиусом, равным расстоянию от этой точки до конечной точки полученного основания.
Соединение указанной конечной точки с центром окружности и продолжение полученного отрезка до противоположной точки окружности задаёт определённую прямую.
Задача состоит в доказательном установлении того, что при достаточно большом удалении выбранной точки по первому лучу эта прямая не может миновать второй луч, не встретившись с ним.
Именно данное обстоятельство составляет центральное содержание предлагаемого геометрического рассуждения.
Принципиально важно, что точка пересечения со вторым лучом не задаётся заранее и не выбирается произвольно. Её существование должно быть установлено как результат выполненного построения.
Почему я считаю необходимым самостоятельное изложение этого доказательства
В моей работе «Теорема о параллельных прямых: к основаниям Гармонической геометрии», опубликованной 12 марта 2025 года, данная конструкция уже была представлена наряду с другими авторскими подходами к пятому постулату Евклида.
Однако изложение нескольких различных доказательств в пределах одной публикации неизбежно ограничивает возможность подробного рассмотрения каждого из них.
Между тем задача о пересечении прямой с лучами угла, как мне представляется, заслуживает самостоятельного исследования.
Во-первых, она имеет собственную историю, связанную с именами Лоренца, Лежандра, Гаусса и других выдающихся математиков.
Во-вторых, её постановка отличается исключительной геометрической простотой, позволяющей сосредоточить внимание на первоначальных свойствах прямой, луча, угла и окружности.
В-третьих, предлагаемая конструкция позволяет рассматривать вопрос о пересечении непосредственно, без предварительного принятия теоремы о параллельных прямых в качестве исходного положения.
Наконец, эта задача представляет самостоятельный методологический интерес в контексте более широкой программы Гармонической геометрии.
Я исхожу из того, что последовательное исследование первоначальных геометрических объектов и их отношений должно способствовать выявлению тех логических и семантических трудностей, которые остаются недостаточно прояснёнными в традиционных изложениях оснований геометрии.
При этом речь идёт не об отказе от математической строгости, а, напротив, о необходимости максимально последовательного применения требований геометрического доказательства.
Геометрический чертёж должен не заменять доказательство, а раскрывать его конструктивную основу.
Каждый существенный переход от одного построения к другому должен получать соответствующее обоснование.
Именно поэтому в настоящей брошюре особое внимание уделяется первоначальным авторским рисункам и точному воспроизведению последовательности геометрических операций.
Место настоящей работы в программе Гармонической геометрии
Исследование проблемы пересечения прямой с лучами угла является одним из самостоятельных направлений моей многолетней работы над основаниями Гармонической геометрии.
Оно непосредственно связано с общей проблемой пятого постулата Евклида, но не должно смешиваться с другими предложенными мной способами её разрешения.
В частности, конструкция Лежандра не выводится здесь из существования эквидистантных прямых, не опирается на предварительное построение квадрата и не предполагает доказанности теоремы о сверхбольшом равностороннем треугольнике.
Каждый из этих подходов имеет собственную исходную идею и собственную последовательность геометрических построений.
Их объединяет общая исследовательская установка: стремление установить, насколько полно и последовательно могут быть использованы первоначальные геометрические определения и постулаты для доказательства фундаментальных утверждений геометрии.
В настоящей работе я намерен подробно изложить историческую постановку проблемы, первоначальные геометрические положения, авторскую конструкцию и последовательность доказательства.
Особое внимание будет уделено различию между существованием конечного отрезка, возможностью его продолжения и необходимостью пересечения соответствующего луча.
Надеюсь, что подобное изложение позволит читателю не только воспроизвести предлагаемые построения, но и самостоятельно проследить всю последовательность геометрических рассуждений.
Вместо заключительных замечаний
Возвращаясь к проблеме пересечения прямой с лучами угла, я возвращаюсь одновременно и к одному из основных вопросов, сопровождавших всю историю исследований пятого постулата Евклида.
Где проходит граница между геометрической очевидностью и геометрическим доказательством?
И может ли утверждение, которое на протяжении столетий рассматривалось как требующее самостоятельного постулата или равносильного ему допущения, получить конструктивное обоснование посредством первоначальных геометрических операций?
Именно на эти вопросы направлено настоящее исследование.
Предлагаемое доказательство рассматривается мной как самостоятельный результат, заслуживающий внимательного математического и историко-философского обсуждения.
Я убеждён, что дальнейшее развитие геометрии невозможно без последовательного возвращения к её первоначальным основаниям — не с целью механического повторения известных положений, а ради более глубокого понимания их действительного геометрического и логического содержания.
В этом я вижу основной смысл настоящей работы и одну из важнейших задач Гармонической геометрии.
В. К. Петросян
*****
ВВЕДЕНИЕ
Геометрическая очевидность, конструктивное доказательство и пятый постулат Евклида
Геометрическая очевидность и проблема доказательства
Геометрия исторически возникла как наука о пространственных формах, величинах и отношениях, непосредственно доступных человеческому восприятию и практической деятельности. Именно поэтому геометрические утверждения нередко обладают особой наглядностью, создающей впечатление их непосредственной и бесспорной истинности.
Однако история математики показывает, что между геометрической очевидностью и математическим доказательством существует принципиальное различие.
Наглядное изображение может демонстрировать определённое расположение точек, прямых и других геометрических объектов. Но само по себе оно ещё не устанавливает, что соответствующее отношение необходимо существует во всех случаях, предусмотренных условиями рассматриваемой задачи.
Более того, даже возможность непосредственного построения некоторого геометрического объекта не всегда тождественна доказательству всех приписываемых ему свойств.
Именно это обстоятельство имеет фундаментальное значение для проблемы пятого постулата Евклида.
На протяжении более двух тысячелетий математики пытались доказать утверждение о пересечении определённым образом расположенных прямых, исходя из других первоначальных геометрических положений.
При этом многие доказательства, казавшиеся их авторам вполне убедительными, впоследствии признавались недостаточными вследствие обнаружения дополнительных, явно не сформулированных предпосылок.
В результате сложилась ситуация, при которой проблема пятого постулата стала рассматриваться не только как отдельная геометрическая задача, но и как один из важнейших вопросов логического построения математической теории.
В настоящей работе предпринимается попытка вернуться к этой проблеме посредством исследования исключительно простой геометрической конструкции, имеющей непосредственное отношение к историческому предположению Адриена-Мари Лежандра.
Речь идёт о возможности провести через произвольную внутреннюю точку острого угла прямую, пересекающую оба образующих его луча.
Прямая, луч и отрезок: необходимость первоначальных различений
Для правильной постановки рассматриваемой задачи необходимо прежде всего различать три первоначальных геометрических объекта: прямую, луч и конечный прямолинейный отрезок.
Прямая рассматривается как прямолинейный объект, допускающий неограниченное продолжение в обоих направлениях.
Луч представляет собой часть прямой, имеющую начальную точку и продолжающуюся в одном определённом направлении.
Конечный прямолинейный отрезок ограничен двумя определёнными точками.
Эти объекты непосредственно связаны между собой, но не являются тождественными.
В частности, соединение двух точек прямолинейным отрезком ещё не означает, что данный отрезок пересекает произвольный третий геометрический объект.
Аналогичным образом возможность продолжения отрезка по прямой не должна смешиваться с доказательством существования точки его пересечения с наперёд заданным лучом.
С другой стороны, если соответствующее пересечение действительно может быть установлено посредством первоначальных геометрических построений и их свойств, то такое доказательство имеет самостоятельное математическое значение.
В рассматриваемой задаче исходными объектами являются два луча, имеющие общую начальную точку и образующие определённый угол.
Между этими лучами располагается произвольная внутренняя точка.
Требуется построить прямую, проходящую через данную точку и пересекающую каждый из двух лучей в определённой точке, отличной от вершины угла.
Последнее уточнение существенно.
Формальное проведение прямой через вершину угла и его внутреннюю точку не решает рассматриваемой проблемы, поскольку в таком случае общая точка двух лучей совпадает с вершиной самого угла.
Предметом исследования является существование прямой, пересекающей образующие угол лучи в двух различных точках и проходящей через заданную внутреннюю точку.
При этом утверждается существование хотя бы одной такой прямой, а не необходимость соответствующих пересечений для всякой произвольно выбранной прямой.
Первые три постулата Евклида как основа конструктивного исследования
Особое место в настоящем исследовании занимают первые три постулата Евклида.
Первый постулат допускает проведение прямолинейного отрезка между двумя определёнными точками.
Второй постулат допускает продолжение ограниченного прямолинейного отрезка по прямой.
Третий постулат устанавливает возможность описания окружности из произвольного центра произвольным радиусом.
На первый взгляд эти положения настолько элементарны, что их геометрические возможности представляются почти очевидными.
Однако именно последовательное сочетание указанных операций позволяет получать достаточно сложные геометрические конструкции.
Соединяя две точки, мы получаем определённый прямолинейный объект.
Продолжая этот объект, сохраняем его прямолинейность.
Описывая окружность из заданного центра определённым радиусом, получаем геометрическое место точек, находящихся на одинаковом расстоянии от данного центра.
Совместное применение этих построений создаёт условия для исследования взаимного расположения прямых, лучей, отрезков и окружностей.
Особое значение имеет построение двух противоположных радиусов одной окружности, лежащих на общей прямой.
Такое построение позволяет перейти от определённого конечного отрезка к диаметру окружности, положение которого обусловлено первоначально выбранными точками.
В настоящей работе именно эта возможность используется при построении прямой, проходящей через внутреннюю точку угла.
При этом рассматривается не произвольная секущая, существование которой заранее предполагается, а определённая прямая, получаемая посредством последовательного выполнения допустимых геометрических операций.
Главная задача состоит в доказательном установлении её пересечения с обоими лучами исходного угла.
Предположение Лежандра и его отношение к пятому постулату
В истории математики рассматриваемое утверждение связывается с именем французского математика Адриена-Мари Лежандра, предпринявшего ряд попыток доказательства пятого постулата Евклида.
В современной формулировке соответствующее положение гласит:
Через каждую точку, находящуюся внутри острого угла, можно провести прямую, пересекающую обе стороны этого угла.
В исторических исследованиях оснований геометрии данное утверждение рассматривается как одна из формулировок, равносильных пятому постулату Евклида.
Это обстоятельство определяет особое значение рассматриваемой задачи.
Если существование соответствующей прямой может быть доказано на основании первоначальных геометрических положений без предварительного обращения к пятому постулату или к равносильным ему утверждениям, возникает возможность использования полученного результата для исследования самого постулата о параллельных.
В связи с этим необходимо учитывать и близкое по содержанию положение немецкого математика Иоганна Фридриха Лоренца.
В отличие от предположения Лежандра, оно относится к произвольной прямой, проходящей через внутреннюю точку угла величиной менее развёрнутого, и утверждает пересечение по крайней мере одной из его сторон.
Таким образом, между двумя положениями имеется принципиальное логическое различие.
В первом случае требуется установить существование специально построенной прямой, пересекающей оба луча угла.
Во втором случае рассматривается произвольная прямая, относительно которой утверждается пересечение хотя бы одного из лучей.
История возникновения этих формулировок и их место в исследованиях теории параллельных будут подробно рассмотрены в первой главе настоящей работы.
Здесь же необходимо подчеркнуть, что предметом основного доказательства является прежде всего утверждение Лежандра.
Конструктивный подход к решению задачи
Основная идея предлагаемого авторского метода заключается в использовании определённой окружности, построенной из внутренней точки рассматриваемого угла.
Пусть дан угол с вершиной O и произвольная точка Z, расположенная строго внутри него.
Соединим точки O и Z прямолинейным отрезком.
Полученная длина используется для построения окружности с центром Z.
В соответствии с третьим постулатом Евклида такая окружность может быть описана непосредственно.
Далее рассматривается её пересечение с одним из лучей исходного угла.
Выбрав соответствующую точку A, соединяем её с центром окружности Z и продолжаем полученный отрезок через центр до противоположной точки C той же окружности.
В результате возникает определённый диаметр AC, проходящий через внутреннюю точку Z исходного угла.
Согласно авторскому доказательству, геометрическое положение построенного диаметра обеспечивает пересечение со вторым лучом острого угла.
При этом точка соответствующего пересечения не задаётся заранее, а возникает как результат рассматриваемой конструкции.
Особенность метода заключается в том, что искомая прямая определяется не посредством произвольного выбора направления, а через первоначальные геометрические объекты и последовательность допустимых построений.
Тем самым вопрос о существовании пересечения переводится в задачу исследования взаимного расположения определённого диаметра окружности и лучей исходного угла.
В этом состоит основная конструктивная идея предлагаемого подхода.
Расширение конструкции на углы большей величины
Самостоятельный интерес представляет возможность распространения предлагаемого метода на углы, величина которых превышает прямой угол, но остаётся меньше развёрнутого.
В таком случае первоначальное построение дополняется специальной операцией увеличения основания.
На одном из лучей исходного угла последовательно откладываются равные отрезки, каждый из которых имеет длину первоначального отрезка, соединяющего вершину угла с его внутренней точкой.
Таким образом, на исходном луче получается последовательность определённых точек, расположенных на всё большем расстоянии от вершины угла.
В первоначальном авторском чертеже используется последовательность четырёх таких отрезков.
Полученная конечная точка A; соединяется с внутренней точкой Z.
Затем из точки Z описывается окружность радиусом ZA;.
Следовательно, точка A; принадлежит построенной окружности по самому способу её определения.
Продолжая отрезок A;Z через центр окружности до противоположной точки D, получаем диаметр A;D.
Искомая прямая определяется положением этого диаметра.
Центральная идея состоит в том, что при достаточном увеличении исходного основания положение построенной прямой должно обеспечивать её пересечение со вторым лучом угла.
Четыре равных отрезка, изображённые на авторском рисунке, представляют конкретный случай соответствующего построения. В общем случае рассматривается возможность последовательного увеличения их числа.
Такой подход позволяет поставить более широкую геометрическую задачу о пересечении обоих лучей произвольного угла величиной менее развёрнутого.
Вместе с тем важно подчеркнуть, что расширение области рассматриваемых углов не должно приводить к изменению первоначального конструктивного принципа.
Основными элементами остаются исходный угол, его внутренняя точка, конечный отрезок, окружность и прямолинейное продолжение радиуса через её центр.
Построение и существование пересечения
Особого внимания заслуживает логическое отношение между построением геометрического объекта и доказательством его существования в определённом положении.
Когда мы соединяем две данные точки прямолинейным отрезком, существование такого отрезка непосредственно обеспечивается первым постулатом Евклида.
Когда продолжаем данный отрезок по прямой, соответствующая операция допускается вторым постулатом.
Когда описываем окружность определённым радиусом, используем третий постулат.
Однако при исследовании пересечения полученной прямой с другим геометрическим объектом необходимо учитывать не только возможность выполнения отдельных операций, но и взаимное расположение всех элементов построенной системы.
Именно поэтому в настоящей работе особое внимание уделяется геометрическим условиям, определяющим положение искомой прямой относительно обоих лучей исходного угла.
Речь идёт о доказательстве того, что определённое построение не просто допускает изображение соответствующей точки пересечения на чертеже, но необходимо приводит к её существованию.
Авторский подход основывается на последовательном рассмотрении взаимосвязанных геометрических объектов, положение которых не может изменяться независимо от условий первоначального построения.
Центр окружности, её радиус, выбранная точка первого луча и противоположная точка диаметра образуют единую геометрическую систему.
Именно свойства этой системы используются для обоснования требуемого пересечения.
В таком рассмотрении геометрическая наглядность не противопоставляется математическому доказательству.
Напротив, она выступает средством выявления существенных отношений между объектами, которые затем должны быть выражены в последовательности доказательных рассуждений.
Конструктивное исследование и логическая независимость
Вопрос о доказательстве утверждения Лежандра имеет не только геометрическое, но и логико-методологическое значение.
Поскольку рассматриваемое утверждение традиционно относится к числу эквивалентов пятого постулата Евклида, необходимо особенно внимательно относиться к исходным основаниям предлагаемого доказательства.
Недостаточно показать, что соответствующая прямая существует в привычном геометрическом изображении.
Необходимо установить, какие именно первоначальные положения позволяют получить её посредством определённых построений.
При этом требуется исключить использование в качестве исходной предпосылки самого утверждения, которое подлежит доказательству.
Аналогичное требование относится к любым другим положениям, логически равносильным пятому постулату.
Именно поэтому в настоящей работе первоначальные построения рассматриваются последовательно, с сохранением их геометрического содержания и с разграничением отдельных доказательных переходов.
Предлагаемый подход направлен на выявление возможностей самой системы первоначальных геометрических операций.
В более широком отношении он связан с общей программой Гармонической геометрии, предполагающей критическое исследование традиционных определений, построений и способов математической аргументации.
В рамках этой программы особое внимание уделяется содержательной определённости геометрических объектов, логической последовательности их построения и соответствию математических утверждений действительным отношениям между рассматриваемыми объектами.
Место настоящего исследования в программе Гармонической геометрии
Предлагаемое доказательство составляет одно из нескольких самостоятельных направлений авторского исследования пятого постулата Евклида.
В других работах рассматриваются построение квадрата, существование сверхбольшого равностороннего треугольника и конструктивное построение эквидистантных прямых.
Каждое из этих направлений связано с определённой геометрической задачей и использует собственную последовательность построений.
В настоящей работе не предполагается предварительная доказанность перечисленных результатов.
Задача о пересечении прямой с лучами угла рассматривается самостоятельно, исходя из первоначальных геометрических понятий и постулатов.
Её самостоятельность определяется прежде всего тем, что в центре исследования находится конкретное отношение между прямой, внутренней точкой угла и двумя образующими его лучами.
Сложность рассматриваемой проблемы заключается не в многообразии исходных объектов, а в необходимости строго обосновать определённое отношение между ними.
Именно это обстоятельство делает данную задачу особенно показательной для исследования оснований геометрии.
Простота первоначальной конструкции позволяет сосредоточить внимание на центральной проблеме существования пересечения и не отвлекаться на дополнительные свойства более сложных геометрических фигур.
В этом отношении задача о пересечении угла с точкой представляет, по моему мнению, один из наиболее непосредственных и содержательно прозрачных подходов к исследованию пятого постулата Евклида.
Предмет, задачи и последовательность исследования
Предметом настоящей работы является конструктивное доказательство существования прямой, проходящей через произвольную внутреннюю точку острого угла и пересекающей оба образующих его луча.
В рамках исследования предполагается решить несколько взаимосвязанных задач.
Прежде всего необходимо восстановить историю соответствующей геометрической проблемы, начиная с первоначальных исследований пятого постулата и заканчивая формулировками Лоренца, Лежандра и их последующими интерпретациями.
Затем требуется уточнить исходные геометрические определения, прежде всего понятия прямой, луча, конечного отрезка, угла и его внутренней точки.
Следующий этап составляет подробное изложение авторского геометрического построения с использованием вспомогательной окружности и её диаметра.
Центральная часть работы посвящена последовательному доказательству существования искомых точек пересечения.
После этого рассматривается возможность расширения первоначальной конструкции на углы большей величины, а также значение полученного результата для исследования пятого постулата Евклида.
Наконец, в специальном приложении предусматривается независимый математический комментарий, позволяющий отдельно рассмотреть доказательные основания предлагаемого метода.
Такое разграничение авторского исследования и независимой экспертизы необходимо для сохранения целостности авторского изложения и одновременно для обеспечения возможности его последовательного математического обсуждения.
Основная исследовательская установка
В заключение введения представляется необходимым ещё раз подчеркнуть принципиальное обстоятельство.
Проблема пятого постулата Евклида в рассматриваемом контексте не сводится к вопросу о том, можно ли изобразить на листе бумаги прямую, пересекающую оба луча некоторого угла.
Такие изображения не вызывают практических затруднений.
Вопрос заключается в другом: можно ли установить необходимое существование соответствующей прямой при произвольных допустимых исходных условиях, используя первоначальные геометрические определения, постулаты и построения?
Предлагаемое исследование направлено именно на решение этой задачи.
В его основу положена конструктивная идея, позволяющая определить искомую прямую через последовательность операций с конечными отрезками и окружностями.
Авторское доказательство рассматривает существование точек пересечения как необходимое следствие взаимного расположения построенных геометрических объектов.
Тем самым на первый план выходит вопрос о действительных геометрических основаниях пересечения, а не только о его наглядном изображении.
Главная цель настоящей работы — показать, что проблема, исторически связанная с предположением Лежандра и пятым постулатом Евклида, допускает непосредственное конструктивное исследование средствами первоначальной геометрии.
Именно этому посвящено дальнейшее изложение.
**********
ГЛАВА 1. ИСТОРИЯ ПОСТАНОВКИ ПРОБЛЕМЫ ПЕРЕСЕЧЕНИЯ ПРЯМОЙ С ЛУЧАМИ УГЛА
1.1. Пятый постулат Евклида и проблема существования пересечения
Проблема пересечения прямой с лучами угла имеет глубокие исторические корни и непосредственно связана с одной из наиболее известных проблем оснований математики — проблемой пятого постулата Евклида.
В «Началах» Евклида, созданных около 300 года до нашей эры, излагается система геометрических определений, постулатов и общих понятий, на основании которых строится последовательность геометрических доказательств.
Первые три постулата относятся непосредственно к выполнению первоначальных геометрических построений.
Первый постулат допускает проведение прямолинейного отрезка между двумя определёнными точками.
Второй постулат допускает продолжение конечного прямолинейного отрезка по прямой.
Третий постулат устанавливает возможность описания окружности из заданного центра заданным радиусом.
Четвёртый постулат утверждает равенство всех прямых углов.
Пятый постулат существенно отличается от перечисленных положений.
В его традиционной формулировке утверждается:
Если прямая, пересекающая две другие прямые, образует внутренние односторонние углы, сумма которых меньше двух прямых, то эти две прямые при неограниченном продолжении пересекутся с той стороны, где сумма указанных углов меньше двух прямых.
Это утверждение устанавливает не просто возможность некоторого геометрического построения, а необходимое существование точки пересечения определённым образом расположенных прямых.
Именно данное обстоятельство составляет одну из главных особенностей пятого постулата.
Если первые три постулата непосредственно разрешают определённые геометрические операции, то пятый устанавливает результат взаимного расположения прямых при их продолжении.
Существенно, что пересечение должно существовать независимо от того, насколько далеко от первоначально заданных точек оно располагается.
Тем самым в содержание пятого постулата входит утверждение о существовании геометрического объекта, положение которого заранее не определено конечным построением.
В первой книге «Начал» Евклид доказывает предложения I.27 и I.28 без обращения к пятому постулату. Эти предложения устанавливают достаточные условия параллельности прямых через определённые отношения между углами.
Однако при доказательстве предложения I.29, утверждающего обратные отношения между параллельностью и равенством соответствующих углов, Евклид впервые непосредственно использует пятый постулат.
Таким образом, уже в первоначальном построении евклидовой геометрии обнаруживается определённая граница между результатами, получаемыми без постулата о параллельных, и результатами, для которых он привлекается.
На протяжении последующих столетий именно положение этой границы стало предметом многочисленных исследований.
Математики стремились установить, действительно ли пятый постулат необходим в качестве самостоятельного исходного положения или его содержание можно получить посредством других определений и геометрических построений.
В ходе этих исследований возникли различные утверждения, связанные с существованием пересечений прямых, с расстояниями между ними, со свойствами углов и треугольников.
Одним из таких утверждений впоследствии стала задача о существовании прямой, проходящей через внутреннюю точку угла и пересекающей оба его луча.
Поэтому рассматриваемая в настоящей работе проблема имеет не случайное, а принципиальное отношение к истории пятого постулата Евклида.
1.2. Античные исследования: Прокл и проблема геометрической очевидности
Уже в античной математике вопрос о доказательном статусе пятого постулата вызывал существенные затруднения.
Особое значение для истории этой проблемы имеет «Комментарий к первой книге „Начал“ Евклида», написанный философом и математиком Проклом Диадохом в V веке нашей эры.
Это сочинение представляет собой один из важнейших сохранившихся источников сведений о ранней истории исследований пятого постулата.
Прокл сообщает о попытках различных античных геометров доказать постулат о параллельных или заменить его другими утверждениями.
В частности, он рассматривает попытку Клавдия Птолемея, стремившегося доказать соответствующие свойства параллельных прямых без принятия пятого постулата.
Кроме того, Прокл передаёт сведения о представлениях Посидония, определявшего параллельные прямые через их взаимную эквидистантность.
При всех различиях между этими подходами они свидетельствуют о существовании уже в античной геометрии устойчивого стремления установить более первоначальные основания теории параллельных.
Особенно важным представляется отношение самого Прокла к проблеме геометрической очевидности.
Он обращает внимание на то, что уменьшение суммы внутренних односторонних углов создаёт представление о сближении соответствующих прямых.
Однако сближение как геометрически воспринимаемое отношение ещё не тождественно доказательству неизбежного пересечения.
Прокл специально различает два положения.
Первое заключается в том, что определённым образом расположенные прямые при продолжении направляются навстречу друг другу.
Второе состоит в утверждении, что такое продолжение необходимо должно завершиться их встречей.
Именно второй вывод, по мнению Прокла, требует специального доказательства.
В своём обсуждении он ссылается также на Гемина, подчёркивавшего необходимость отличать математическое рассуждение от правдоподобного представления.
Исторически это обстоятельство заслуживает особого внимания.
Уже античные исследователи ясно осознавали, что геометрическая очевидность некоторого отношения не всегда обеспечивает исчерпывающую доказательную силу соответствующего утверждения.
При этом Прокл не ограничивался критикой предшествующих попыток. Он сам стремился найти доказательство пятого постулата, исходя из определённых свойств расходящихся прямых.
Таким образом, история античных исследований показывает, что проблема параллельности с самого начала была связана с вопросами о геометрическом продолжении, взаимном расположении и существовании пересечений.
Для настоящей работы особенно существенно, что проблема существования пересечения обнаруживается здесь в качестве самостоятельного предмета геометрического рассуждения.
Речь идёт не только об установлении взаимного направления прямых, но и о доказательстве того, что соответствующие геометрические объекты имеют определённую общую точку.
Именно к этой исторической проблеме, хотя и в иной конструктивной форме, возвращается рассматриваемая нами теорема.
1.3. От средневековой геометрии к исследованиям XVII–XVIII веков
После античного периода исследования пятого постулата не прекратились.
Значительный вклад в развитие соответствующей проблематики внесли математики средневекового исламского мира.
Среди них необходимо отметить Ибн аль-Хайсама, Омара Хайяма и Насир ад-Дина ат-Туси.
Эти исследователи стремились уточнить основания евклидовой теории параллельных и предложить дополнительные геометрические положения, посредством которых можно было бы получить содержание пятого постулата.
Ибн аль-Хайсам рассматривал вопросы взаимного расположения прямых и возможности определения параллельности через равенство расстояний.
Один из его подходов был связан с мысленным перемещением прямолинейного отрезка, сохраняющего перпендикулярность к определённой прямой.
При этом исследовался геометрический путь, описываемый свободным концом перемещаемого отрезка.
Такой способ рассуждения представляет интерес как пример попытки установить свойства прямых через первоначальные пространственные отношения.
Омар Хайям в трактате о трудностях евклидовых постулатов, завершённом в 1077 году, исследовал специальный четырёхугольник с двумя равными перпендикулярными сторонами.
Рассматривая различные предположения относительно двух других углов этого четырёхугольника, он стремился получить необходимые свойства теории параллельных.
Впоследствии сходная геометрическая конструкция приобрела большое значение в исследованиях Джироламо Саккери.
Насир ад-Дин ат-Туси в XIII веке также обращался к проблеме пятого постулата, критически анализируя предшествующие геометрические доказательства и предлагая собственные рассуждения.
Все перечисленные работы развивали одну общую исследовательскую традицию: поиск достаточно простых и содержательно определённых геометрических отношений, позволяющих обосновать теорию параллельных.
В европейской математике Нового времени эта традиция получила дальнейшее развитие.
В XVII веке Джон Валлис связал проблему пятого постулата с вопросом о существовании подобных треугольников произвольной величины.
Предлагаемый им подход позволял заменить первоначальный постулат другим геометрическим утверждением, относящимся к подобию фигур.
В XVIII веке особое место заняли исследования Джироламо Саккери и Иоганна Генриха Ламберта.
В книге «Euclides ab omni naevo vindicatus», опубликованной в 1733 году, Саккери предпринял систематическую попытку доказать пятый постулат методом рассмотрения различных предположений о величине определённых углов четырёхугольника.
Ламберт в исследовании «Theorie der Parallellinien», написанном в 1766 году и опубликованном посмертно в 1786 году, продолжил изучение соответствующих геометрических альтернатив.
Эти исследования существенно расширили содержание дискуссии о пятом постулате.
Особенно важным оказалось то обстоятельство, что попытки доказательства постулата приводили к обнаружению новых геометрических свойств, первоначально не входивших в традиционное изложение евклидовой геометрии.
Постепенно внимание исследователей всё чаще обращалось на возможность замены пятого постулата другими, более наглядными утверждениями.
К их числу относились положения о подобии, о сумме углов треугольника, о равноудалённости прямых и о существовании пересечений.
Непосредственно в этой исторической обстановке возникает особое направление, связанное с пересечением прямой, проходящей через внутреннюю точку угла, с его сторонами.
1.4. Иоганн Фридрих Лоренц: постановка задачи пересечения
Одним из существенных этапов развития рассматриваемой проблемы стали исследования немецкого математика Иоганна Фридриха Лоренца (Johann Friedrich Lorenz, 1738–1807).
В 1773 году в Галле было опубликовано подготовленное Лоренцем немецкое издание геометрических книг Евклида.
Это издание получило распространение и оказало влияние на последующие немецкие учебные изложения геометрии.
В предисловии к нему Андреас Зегнер обсуждал вопрос о доказательстве пятого постулата, используя рассуждение, в котором содержалось определённое дополнительное предположение о пересечении прямой со сторонами угла.
В историко-математическом исследовании Винченцо Де Ризи показано, что именно с этим изданием связано раннее появление рассматриваемого принципа.
Однако необходимо различать его первоначальное использование и последующую явную формулировку.
В 1791 году Лоренц опубликовал труд «Grundri; der reinen und angewandten Mathematik, oder der erste Cursus der gesamten Mathematik».
В этом сочинении соответствующее положение было включено в систему первоначальных математических оснований.
В современной русской передаче его содержание можно выразить следующим образом:
Всякая прямая, проходящая через внутреннюю точку угла, пересекает по крайней мере одну из его сторон.
Принципиальное значение данной формулировки состоит в том, что в ней устанавливается отношение между тремя геометрическими объектами: углом, его внутренней точкой и прямой, проходящей через эту точку.
При этом необходимо обратить внимание на два обстоятельства.
Во-первых, утверждение относится не к некоторой специально построенной прямой, а к произвольной прямой, проходящей через внутреннюю точку угла.
Во-вторых, предполагается обязательное пересечение по крайней мере одной стороны угла, но не обеих одновременно.
Следовательно, рассматриваемое положение существенно отличается от более поздней формулировки, традиционно связываемой с именем Лежандра.
Вместе с тем оно имеет важнейшее историческое значение, поскольку непосредственно выделяет проблему пересечения прямой со стороной угла в самостоятельное геометрическое утверждение.
Содержательно речь идёт об ограничении возможного взаимного расположения прямой и лучей, образующих угол.
Прямая не может располагаться относительно внутренней точки угла совершенно произвольным образом, если выполняются условия сформулированного Лоренцем положения.
Таким образом, ещё до появления соответствующих рассуждений Лежандра проблема пересечения прямой со сторонами угла была поставлена в явной связи с основаниями теории параллельных.
Особенно важно, что Лоренц стремился использовать это положение не просто как частное геометрическое наблюдение, а как одно из первоначальных оснований геометрического рассуждения.
В дальнейшем именно подобные утверждения стали рассматриваться в историко-математической литературе как альтернативные формулировки постулата о параллельных.
1.5. Адриен-Мари Лежандр и задача пересечения обеих сторон угла
Новый этап в истории рассматриваемой проблемы связан с исследованиями выдающегося французского математика Адриена-Мари Лежандра (Adrien-Marie Legendre, 1752–1833).
В 1794 году Лежандр опубликовал первое издание своего труда «;l;ments de g;om;trie» — «Начала геометрии».
Впоследствии книга многократно переиздавалась, переводилась на различные языки и длительное время использовалась в математическом образовании.
Третье издание вышло в 1800 году.
Существенной особенностью этого труда являлось стремление представить геометрию в более последовательной, по мнению автора, системе определений и доказательств.
Одно из центральных мест в исследованиях Лежандра занимала проблема пятого постулата Евклида.
На протяжении нескольких десятилетий Лежандр неоднократно возвращался к вопросу о возможности доказательства теоремы о параллельных без принятия специального постулата.
Важнейшим направлением его исследований стало изучение суммы внутренних углов прямолинейного треугольника.
Лежандр стремился установить, что эта сумма необходимо равна двум прямым углам.
В ходе соответствующих рассуждений возникла необходимость использовать определённое положение о прямой, проходящей через внутреннюю точку угла.
В современной историко-геометрической литературе это положение обычно передаётся следующим образом:
Через любую точку, находящуюся внутри острого угла, всегда можно провести прямую, пересекающую обе стороны этого угла.
Именно данное утверждение составляет непосредственный предмет настоящего исследования.
Однако при обращении к историческим источникам необходимо учитывать важное уточнение.
В конкретном доказательстве Лежандра, обсуждавшемся в математической переписке начала XIX века, речь шла об угле, меньшем двух третей прямого угла, то есть меньшем шестидесяти градусов.
Это историческое ограничение следует отличать от современной расширенной формулировки для произвольного острого угла.
Таким образом, необходимо разграничить первоначальные условия конкретного рассуждения Лежандра и более общую геометрическую задачу, которая впоследствии стала связываться с его именем.
В настоящей работе исходным предметом доказательства является именно более широкое утверждение о произвольном остром угле.
Существенно, что положение Лежандра имеет иную логическую структуру, чем положение Лоренца.
У Лоренца рассматривается произвольная прямая, проходящая через внутреннюю точку угла, и утверждается пересечение хотя бы одной стороны.
У Лежандра требуется установить существование по крайней мере одной прямой, которая одновременно пересекает обе стороны угла.
Это различие необходимо сохранять при всяком последующем математическом и историческом анализе.
1.6. Как возникло предположение Лежандра
Для правильного понимания содержания предположения Лежандра необходимо рассмотреть математическую задачу, в ходе исследования которой оно было использовано.
Исходным предметом его рассуждений являлась сумма внутренних углов прямолинейного треугольника.
В евклидовой геометрии известно, что эта сумма равна двум прямым углам.
Однако традиционное доказательство соответствующего положения в первой книге «Начал» опирается на теорию параллельных.
Лежандр стремился получить данный результат посредством иных первоначальных геометрических положений.
В ходе исследований он установил, что сумма внутренних углов треугольника не может превышать двух прямых углов, если исходить из используемых им геометрических предпосылок.
Для завершения доказательства оставалось исключить возможность существования треугольника, сумма внутренних углов которого меньше двух прямых.
Эта задача оказалась значительно сложнее.
Лежандр рассматривал различные способы построения новых треугольников на основе первоначально заданных.
При этом исследовалось, каким образом свойства углов первоначального треугольника сохраняются или изменяются при переходе к другим геометрическим построениям.
В одном из вариантов доказательства требовалось провести через определённую внутреннюю точку угла прямую, пересекающую обе стороны этого угла.
Соответствующее пересечение позволяло получить дополнительные геометрические отношения, необходимые для дальнейшего построения рассуждения.
Таким образом, предположение о пересечении возникло не как самостоятельная задача, изолированная от теории параллельных, а как необходимый конструктивный элемент исследования суммы углов треугольника.
В этом заключается его особое историческое значение.
Речь шла не только о том, может ли существовать определённая прямая в некотором частном геометрическом случае.
Необходимо было установить возможность соответствующего построения при тех условиях, которые возникают в ходе общего доказательства.
Именно поэтому утверждение приобрело характер универсального геометрического положения.
Представляется особенно важным, что возникающая здесь проблема относится к существованию вполне определённого объекта.
Необходимо построить прямую, проходящую через заданную точку, и установить её пересечение с двумя определёнными лучами.
При этом конечные геометрические построения должны обеспечить результат, имеющий общее значение.
В такой постановке проблема непосредственно связана с первоначальными возможностями геометрических операций и с вопросом о том, какие свойства построенного объекта действительно следуют из условий его получения.
Именно эта сторона предположения Лежандра представляет особый интерес для настоящего исследования.
В предлагаемом авторском подходе данная задача рассматривается непосредственно, без предварительного обращения к свойствам суммы углов треугольника и без использования уже установленной теоремы о параллельных прямых.
Тем самым первоначально вспомогательное положение получает статус самостоятельного предмета геометрического доказательства.
1.7. Обсуждение предположения Лежандра в переписке Герлинга и Гаусса
Особенно ценное свидетельство об истории предположения Лежандра сохранилось в переписке Кристиана Людвига Герлинга и Карла Фридриха Гаусса.
В письме от 11 марта 1816 года Герлинг обратился к Гауссу с вопросом о доказательстве теории параллельных, предложенном Лежандром.
Соответствующие фрагменты этой переписки приведены, в частности, В. Ф. Каганом в книге «Лобачевский и его геометрия».
Герлинг изложил основную последовательность рассуждений Лежандра.
Он отметил, что Лежандр определяет прямую как кратчайший путь между двумя точками и посредством соответствующих рассуждений устанавливает невозможность превышения суммой углов треугольника двух прямых.
Затем Лежандр стремится доказать, что эта сумма не может быть меньше двух прямых.
Именно на этом этапе, согласно изложению Герлинга, появляется дополнительное предположение.
Оно состоит в том, что через точку, расположенную внутри угла величиной менее двух третей прямого угла, можно провести прямую, пересекающую обе стороны этого угла.
Герлинг специально обращает внимание Гаусса на доказательный статус такого положения.
Из письма следует, что в шестом издании «Начал геометрии» Лежандр пытался дополнительно обосновать соответствующее предположение.
При этом, согласно Герлингу, сам Лежандр характеризовал его как достаточно очевидное.
Именно здесь обнаруживается одна из наиболее содержательных сторон всей исторической дискуссии.
Вопрос заключается не в возможности представить на чертеже прямую, пересекающую обе стороны некоторого угла.
Проблема состоит в том, можно ли доказать необходимость существования такой прямой при всех допустимых исходных условиях.
Герлинг сомневался в достаточности предложенного Лежандром обоснования и обратился к Гауссу за математическим заключением.
В ответном письме от 11 апреля 1816 года Гаусс высказал отрицательную оценку доказательной силы лежандровых рассуждений.
При этом его ответ касался не только первоначального предположения о пересечении, но и другого аргумента Лежандра, основанного на рассуждениях об однородности геометрических отношений.
Таким образом, сохранившаяся переписка позволяет установить несколько важных исторических обстоятельств.
Во-первых, в начале XIX века вопрос о существовании прямой, пересекающей обе стороны угла, уже являлся самостоятельным предметом математического обсуждения.
Во-вторых, участники дискуссии ясно различали наглядную очевидность рассматриваемого положения и его доказательное обоснование.
В-третьих, вопрос о пересечении непосредственно связывался с возможностью доказательства теоремы о сумме углов треугольника и, следовательно, пятого постулата Евклида.
В-четвёртых, точная историческая формулировка рассматриваемого предположения содержала ограничение на величину угла, которое необходимо учитывать при анализе первоначального доказательства.
Следовательно, переписка Герлинга и Гаусса представляет собой не просто дополнительный исторический материал, а важный документ, раскрывающий содержание самой математической проблемы.
Для настоящей работы она имеет особую ценность, поскольку подтверждает, что вопрос о конструктивном существовании соответствующей прямой был выделен и обсуждался задолго до современной аксиоматической формулировки теории параллельных.
1.8. Развитие вопроса в XIX веке
В XIX веке исследования пятого постулата Евклида вступили в новый исторический этап.
На протяжении предшествующих столетий преобладало стремление доказать постулат о параллельных посредством других первоначальных геометрических положений.
Однако к началу XIX века накопился значительный материал, свидетельствовавший о сложности этой задачи.
Различные попытки доказательства приводили к использованию дополнительных геометрических предположений, которые сами нуждались в самостоятельном обосновании.
Постепенно возникла возможность иного подхода: вместо непосредственного доказательства пятого постулата исследовать геометрические системы, построенные при отказе от его принятия.
Важнейшее место в развитии этого направления принадлежит Карлу Фридриху Гауссу, Николаю Ивановичу Лобачевскому и Яношу Бойяи.
Гаусс на протяжении многих лет исследовал проблему параллельных и обсуждал её в частной переписке, но не опубликовал систематического изложения своих соответствующих результатов.
Н. И. Лобачевский в 1826 году представил свои исследования оснований геометрии в Казанском университете.
В 1829–1830 годах была опубликована его работа «О началах геометрии», в которой получили развитие положения новой геометрической системы.
В 1832 году Янош Бойяи опубликовал самостоятельное исследование, посвящённое геометрии пространства и теории параллельных.
Эти работы существенно изменили характер обсуждения пятого постулата.
Проблема стала рассматриваться не только как вопрос о доказательстве некоторого отдельного геометрического утверждения, но и как вопрос о логических основаниях различных геометрических систем.
В дальнейшем развитие аксиоматического метода позволило установить отношения между пятом постулатом Евклида и многочисленными альтернативными геометрическими положениями.
В частности, утверждения, связанные с существованием прямой, пересекающей обе стороны угла, приобрели значение самостоятельных формулировок теории параллельных.
В современной математике соответствующие положения рассматриваются как эквивалентные пятому постулату при принятии определённой системы остальных геометрических аксиом.
Это имеет важное историко-методологическое значение.
Предположения, первоначально использовавшиеся в качестве вспомогательных элементов доказательства, получили статус самостоятельных геометрических утверждений.
К их числу относится и рассматриваемое положение Лежандра.
Однако при изучении истории проблемы необходимо различать два вопроса.
Первый касается места соответствующего утверждения в системе современной аксиоматической геометрии.
Второй относится к первоначальному геометрическому содержанию самой задачи и к способам её конструктивного исследования.
Настоящая работа сосредоточена прежде всего на втором вопросе.
Она посвящена непосредственному рассмотрению геометрических объектов и построений, посредством которых автор предлагает установить существование прямой, проходящей через внутреннюю точку угла и пересекающей оба его луча.
Тем самым исследование продолжает историческую традицию рассмотрения первоначальных геометрических оснований теории параллельных, сохраняя собственный конструктивный предмет.
1.9. Возвращение к проблеме в исследованиях Гармонической геометрии
К проблеме пересечения прямой с лучами угла я пришёл в ходе многолетних исследований оснований геометрии, связанных с разработкой концепции Гармонической математики и Гармонической геометрии.
Существенное место в этих исследованиях занимала критика традиционных определений первоначальных математических объектов, а также анализ логических и семантических оснований евклидовой геометрии.
Уже в книге «Общий кризис теоретико-множественной математики и пути его преодоления», опубликованной в 1997 году, я рассматривал ряд фундаментальных проблем оснований геометрии и выдвигал положения, связанные с необходимостью их концептуального пересмотра.
В последующие годы эта исследовательская программа получила дальнейшее развитие.
Одним из её направлений стало изучение различных способов конструктивного доказательства пятого постулата Евклида.
В частности, мною рассматривались построение квадрата, задача существования сверхбольшого равностороннего треугольника и проблема эквидистантности прямых.
Особое место среди этих исследований заняла геометрическая задача, связанная с предположением Лежандра.
В публикации «Теорема о параллельных прямых: к основаниям Гармонической геометрии», размещённой 12 марта 2025 года на портале Lag.ru, данному вопросу был посвящён раздел 1.3.
В нём рассматриваются два исторических утверждения: положение Лежандра о пересечении обеих сторон острого угла и близкое к нему положение Лоренца о пересечении по крайней мере одной стороны угла.
Основная идея предложенного мной подхода состоит в непосредственном построении искомой прямой посредством первоначальных геометрических операций.
В первом случае рассматривается угол с вершиной O и произвольная внутренняя точка Z.
Посредством соединения этих точек определяется исходный отрезок ZO.
Затем из точки Z описывается окружность соответствующего радиуса.
Выбрав точку пересечения окружности с одним из лучей угла и проведя через неё и центр окружности прямолинейный отрезок, получаем возможность продолжить его через центр до противоположной точки окружности.
Так определяется прямая, положение которой обусловлено первоначально построенными геометрическими объектами.
В дальнейшем исследуется её пересечение со вторым лучом угла.
Второй вариант конструкции относится к углам большей величины.
Для этого используется последовательное откладывание равных отрезков на одном из лучей угла.
В первоначальном авторском рисунке отрезок ZO последовательно откладывается четыре раза, в результате чего на луче образуется система точек A;, A;, A; и A;.
Полученная точка A; соединяется с внутренней точкой Z.
Из центра Z описывается окружность радиусом ZA;.
После продолжения отрезка A;Z через центр окружности до противоположной точки D получается диаметр A;D.
Именно эта конструкция используется мной для исследования существования пересечения построенной прямой со вторым лучом угла.
Принципиальное значение имеет то, что положение искомой прямой определяется не произвольным выбором направления, а последовательным построением определённых геометрических объектов.
При этом увеличение основания рассматривается как способ обеспечения необходимого взаимного расположения построенной прямой и второго луча.
В настоящей брошюре предлагается подробное самостоятельное изложение данного подхода.
В отличие от публикации 2025 года, в которой несколько различных авторских доказательств рассматривались в пределах одной работы, здесь предметом исследования является исключительно задача пересечения угла с точкой.
Такое выделение позволяет подробнее рассмотреть первоначальные определения, последовательность построений, геометрические свойства полученных объектов и основные доказательные переходы.
Особенно важным я считаю сохранение первоначальных авторских рисунков и точное воспроизведение всех геометрических отношений, на которых основано доказательство.
Построение окружности, выбор её радиуса, расположение внутренней точки и последовательное откладывание равных отрезков должны рассматриваться как взаимосвязанные элементы единого конструктивного метода.
Именно в таком виде предлагаемое исследование составляет самостоятельную часть программы Гармонической геометрии.
1.10. Основной исторический итог
Рассмотренная история позволяет выделить несколько основных этапов формирования проблемы пересечения прямой с лучами угла.
Первоначально вопрос о существовании пересечений возник в связи с пятым постулатом Евклида, устанавливающим необходимые условия встречи двух продолженных прямых.
Уже в античной геометрии были предприняты попытки доказать соответствующее утверждение посредством других первоначальных положений.
В комментариях Прокла проблема получила важное философско-математическое выражение как вопрос о различии между геометрической очевидностью и строгим доказательством.
В средневековой математике и в европейских исследованиях XVII–XVIII веков сложилась обширная традиция поиска альтернативных оснований теории параллельных.
При этом особое значение приобрели утверждения о расстояниях между прямыми, свойствах углов, подобных фигурах и существовании точек пересечения.
В 1773 году соответствующее положение о пересечении прямой со стороной угла было использовано в рассуждениях, связанных с немецким изданием Евклида, подготовленным Лоренцем.
В 1791 году Лоренц явно включил его в систему первоначальных геометрических положений.
Лежандр в ходе многолетних попыток доказательства пятого постулата использовал близкое, но логически отличное предположение о существовании прямой, проходящей через внутреннюю точку угла и пересекающей обе его стороны.
В переписке Герлинга и Гаусса 1816 года это предположение было выделено в качестве самостоятельного предмета математического обсуждения.
Последующее развитие геометрии в XIX веке придало таким положениям значение альтернативных аксиоматических формулировок теории параллельных.
Таким образом, задача о пересечении прямой с лучами угла прошла путь от вспомогательного положения в исследованиях пятого постулата до самостоятельного утверждения, имеющего фундаментальное значение для оснований геометрии.
В настоящей работе предлагается вернуться к её первоначальному конструктивному содержанию.
При этом особое внимание уделяется не только формулировке теоремы, но и конкретному геометрическому способу построения искомой прямой.
В основе предлагаемого авторского подхода лежит последовательное использование первоначальных операций Евклида: соединения точек, продолжения прямолинейных отрезков и построения окружностей.
Главный исследовательский вопрос состоит в том, каким образом взаимное расположение построенных геометрических объектов обеспечивает необходимое существование точек пересечения.
Исторический анализ показывает, что проблема пересечения прямой с лучами угла имеет самостоятельное содержание и заслуживает специального конструктивного исследования.
Именно этому посвящены последующие главы настоящей брошюры.
В следующей главе будут рассмотрены первоначальные понятия прямой, луча, угла и внутренней точки, а также точная геометрическая постановка основной теоремы.
ГЛАВА 2. ПЕРВОНАЧАЛЬНЫЕ ГЕОМЕТРИЧЕСКИЕ ПОНЯТИЯ И ПОСТАНОВКА ТЕОРЕМЫ
2.1. Прямая как первоначальный геометрический объект
Понятие прямой принадлежит к числу наиболее фундаментальных понятий геометрии. Вместе с понятием точки оно образует первоначальную основу практически всех последующих геометрических построений и доказательств.
В первой книге «Начал» Евклида линия определяется как длина без ширины, а прямая линия — как линия, одинаково расположенная относительно находящихся на ней точек.
В традиционных русских переводах последняя характеристика передаётся выражениями «равно расположенная» или «равномерно расположенная» относительно своих точек.
Несмотря на историческую значимость этих определений, их содержание не следует отождествлять с исчерпывающим современным описанием геометрических свойств прямой.
В частности, первоначальное определение само по себе ещё не устанавливает всей совокупности отношений, возникающих при построении, продолжении и пересечении прямых.
В настоящем исследовании прямая рассматривается прежде всего как целостный прямолинейный геометрический объект, сохраняющий своё направление и прямолинейность при продолжении.
Это положение имеет существенное значение для дальнейшего доказательства.
Если две определённые точки соединены прямолинейным отрезком, то положение построенного объекта не является произвольным. Оно обусловлено расположением его конечных точек.
Продолжение такого отрезка не предполагает произвольного изменения первоначального направления.
Напротив, при продолжении сохраняется та же прямая, которой принадлежит исходный отрезок.
В этом заключается одно из первоначальных свойств прямолинейного построения.
В геометрической практике прямая обладает также важным метрическим свойством: прямолинейный отрезок представляет кратчайшее соединение двух заданных точек.
Если вместо непосредственного прямолинейного соединения двух точек используется ломаный путь с промежуточной вершиной, не принадлежащей данному отрезку, длина такого пути оказывается больше длины прямолинейного соединения.
Данное свойство выражает определённую геометрическую целостность прямолинейного объекта.
Однако для настоящего исследования особенно важно другое обстоятельство.
Прямолинейное продолжение сохраняет принадлежность исходного отрезка одной и той же прямой.
Следовательно, если определённая прямая построена посредством двух заданных точек, её дальнейшее положение не может произвольно изменяться независимо от этих точек.
Именно это обстоятельство будет иметь принципиальное значение при рассмотрении прямой, проходящей через внутреннюю точку угла и центр вспомогательной окружности.
При этом необходимо различать свойства самой прямой и утверждения о её отношении к другим геометрическим объектам.
Существование определённой прямой ещё не означает, что она обязательно пересечёт произвольно заданный луч.
Вопрос о таком пересечении составляет самостоятельную геометрическую задачу.
2.2. Прямолинейный отрезок и его продолжение
В первоначальной геометрии непосредственным предметом построения является конечный прямолинейный отрезок.
Первый постулат Евклида допускает проведение прямолинейного соединения между двумя произвольно заданными точками.
Пусть имеются две различные точки A и B.
Соединяя их, получаем прямолинейный отрезок AB.
Этот отрезок имеет два определённых конца и представляет собой конечный геометрический объект.
Его длина и положение зависят от взаимного расположения исходных точек.
Однако построение конечного отрезка не исчерпывает геометрических возможностей прямолинейного объекта.
Второй постулат Евклида допускает непрерывное продолжение конечной прямой по прямой.
Здесь существенны два положения.
Во-первых, продолжение осуществляется именно по прямой, то есть без изменения первоначальной прямолинейности.
Во-вторых, первоначально конечный объект может быть продолжен за пределы одного из своих концов.
Если исходный отрезок AB продолжается за точку B, получаем новые точки той же прямой, расположенные за пределами первоначального отрезка.
Если продолжение осуществляется за точку A в противоположном направлении, получается другая часть той же прямой.
Таким образом, конечный прямолинейный отрезок может служить исходным геометрическим объектом для построения более протяжённых частей одной и той же прямой.
При этом необходимо различать сам факт допустимости продолжения и утверждения о результатах такого продолжения.
В частности, из возможности продолжить отрезок AB за точку B ещё не следует непосредственно, что полученное продолжение пересечёт произвольный луч, расположенный в той же плоскости.
Для установления соответствующего пересечения необходимы дополнительные сведения о взаимном положении объектов.
Это различие имеет принципиальное значение для рассматриваемой нами задачи.
В дальнейшем будут использоваться два основных вида продолжения прямолинейного отрезка.
Первый состоит в продолжении отрезка от одной его конечной точки в первоначально заданном направлении.
Второй заключается в продолжении построенного отрезка через одну из его определённых точек в противоположную сторону.
В частности, если отрезок соединяет точку окружности с её центром, то его продолжение через центр позволяет построить противоположный радиус.
Два таких радиуса принадлежат одной прямой и образуют диаметр окружности.
Именно данная операция составляет один из основных элементов авторского доказательства теоремы о пересечении угла с точкой.
Таким образом, продолжение прямолинейного отрезка рассматривается как геометрическая операция, сохраняющая первоначально определённую прямолинейность построенного объекта.
2.3. Луч и его отличие от прямой и отрезка
Понятие луча имеет особое значение для правильной постановки рассматриваемой теоремы.
В современной геометрической терминологии лучом называется часть прямой, ограниченная с одной стороны начальной точкой и продолжающаяся в определённом направлении.
Если точка O является началом луча, а точка A определяет его направление, получаем луч OA.
Точка O принадлежит данному лучу.
Точки, расположенные на той же прямой по другую сторону от O, данному лучу не принадлежат.
Следовательно, луч принципиально отличается как от конечного отрезка, так и от полной прямой.
Конечный отрезок ограничен двумя точками.
Луч имеет одну начальную точку и одно направление неограниченного продолжения.
Полная прямая допускает продолжение в обоих противоположных направлениях.
В историческом отношении необходимо учитывать, что современное понятие луча не выступает в первой книге «Начал» Евклида в качестве отдельного определения в той форме, в какой оно используется в нынешних учебниках.
Однако соответствующий геометрический объект непосредственно связан с первоначальным понятием прямолинейного продолжения.
В настоящей работе термин «луч» применяется для более точного обозначения сторон рассматриваемого угла.
Такое уточнение необходимо прежде всего потому, что пересечение прямой с полной прямой и пересечение прямой с определённым лучом представляют собой различные геометрические отношения.
Допустим, некоторая прямая пересекает прямую, содержащую луч OA.
Из этого обстоятельства ещё не следует, что точка пересечения принадлежит самому лучу OA.
Она может располагаться на противоположной части той же прямой, за начальной точкой O.
Таким образом, при доказательстве пересечения с лучом необходимо установить не только существование общей точки двух прямых, но и положение этой точки относительно начала и направления рассматриваемого луча.
Именно это обстоятельство приобретает особое значение при исследовании предположения Лежандра.
В нём требуется доказать пересечение не просто двух прямых, содержащих стороны угла, а именно двух лучей, образующих рассматриваемый угол.
Следовательно, соответствующие точки пересечения должны принадлежать определённым направлениям, исходящим из общей вершины.
Различие между прямой, лучом и конечным отрезком является не формально-терминологическим, а непосредственно геометрическим.
Без последовательного учёта этого различия невозможно строго сформулировать рассматриваемую теорему.
2.4. Угол, его вершина и образующие лучи
В первоначальной геометрии угол рассматривается как отношение между двумя линиями, имеющими общую точку и различающимися своими направлениями.
В определениях первой книги «Начал» Евклид характеризует плоский угол через взаимный наклон двух встречающихся линий, не образующих единой прямой.
Если соответствующие линии являются прямыми, такой угол называется прямолинейным.
В современной терминологии прямолинейный угол определяется двумя лучами, имеющими общую начальную точку.
Эта точка называется вершиной угла.
Сами лучи называются сторонами угла.
В настоящем исследовании рассматриваются углы, принадлежащие одной плоскости.
Их образующие лучи исходят из одной определённой точки O.
Положение угла определяется взаимным направлением этих лучей.
При этом важно различать угол как отношение двух направлений и внутреннюю геометрическую область между соответствующими лучами.
Один и тот же набор первоначальных прямолинейных объектов может рассматриваться с точки зрения различных геометрических отношений.
Например, два луча, исходящие из одной точки, образуют определённый угол.
Вместе с тем содержащие их полные прямые определяют более широкую систему взаимного расположения, включающую противоположные направления.
Для рассматриваемой теоремы важно именно первое отношение.
Даны два луча с общей вершиной, а также определённая область между ними.
Внутри этой области выбирается точка, через которую необходимо провести искомую прямую.
Следовательно, рассматриваемая задача не сводится к произвольному взаимному расположению трёх полных прямых.
Она связана с конкретной геометрической системой, имеющей определённую вершину, два исходящих из неё луча и внутреннюю точку.
В дальнейшем вершина исходного угла обозначается буквой O.
Внутренняя точка обозначается буквой Z.
Остальные обозначения соответствуют первоначальным авторским чертежам и конкретным этапам построения.
Это позволяет сохранить единство геометрического содержания исследования и избежать изменения первоначальной авторской конструкции.
2.5. Острый угол и геометрическая область его внутренности
Первоначальная формулировка рассматриваемой теоремы относится к острым углам.
В евклидовой геометрии острым называется угол, величина которого меньше прямого угла.
При этом рассматривается положительный, невырожденный угол, то есть его стороны имеют различные направления.
Прямой угол представляет собой одну из первоначальных геометрических величин.
Евклид определяет его через равенство двух смежных углов, образуемых прямой, восставленной на другой прямой.
Четвёртый постулат утверждает, что все прямые углы равны между собой.
Следовательно, различие между острым, прямым и тупым углами имеет определённую геометрическую основу.
В настоящем исследовании особенно важно понятие внутренности угла.
Когда два луча исходят из одной точки и образуют угол, меньший развёрнутого, они ограничивают определённую угловую область плоскости.
Эта область располагается между образующими лучами.
Для точного описания её положения могут использоваться отношения порядка и расположения точек по определённую сторону прямой.
При этом необходимо различать внутреннюю область и образующие её границы.
Точки, принадлежащие сторонам угла, не являются внутренними точками в строгом смысле данного определения.
То же относится к самой вершине.
Таким образом, внутренняя область острого угла не включает его образующие лучи.
Данное различие имеет непосредственное значение для дальнейшей постановки теоремы.
Если бы исходная точка принадлежала одному из лучей, задача приобрела бы иное содержание.
В частности, одна из требуемых точек пересечения оказалась бы уже заданной.
Однако в рассматриваемом утверждении речь идёт именно о произвольной точке, строго расположенной между двумя лучами.
При этом её положение внутри области не ограничивается какими-либо дополнительными условиями.
Она может находиться сравнительно близко к вершине угла, к одной из его сторон или на значительном расстоянии от вершины.
Главное условие состоит в том, что точка принадлежит внутренней области рассматриваемого угла.
Следовательно, теорема должна быть справедлива для любого допустимого расположения внутренней точки, а не только для симметричных или специально выбранных случаев.
Данное требование определяет общность последующего авторского доказательства.
2.6. Произвольная внутренняя точка угла
Понятие произвольной внутренней точки имеет в рассматриваемой задаче принципиальное значение.
Пусть дан некоторый острый угол с вершиной O.
Внутри него выбирается точка Z.
В условии задачи не предполагается, что точка Z располагается на биссектрисе угла или обладает какими-либо специальными метрическими свойствами.
Не предполагается также равенство расстояний от Z до образующих угол лучей.
Положение точки определяется только её принадлежностью внутренней области угла.
Это обстоятельство необходимо подчеркнуть особо.
Если доказательство строится лишь для точки, расположенной на биссектрисе, оно устанавливает результат только для специального случая.
Аналогичным образом доказательство, опирающееся на равенство расстояний от внутренней точки до сторон угла, требует самостоятельного рассмотрения возможности выполнения этого условия.
В настоящей работе подобных дополнительных ограничений не вводится.
Точка Z выбирается произвольно.
После выбора она становится определённым геометрическим объектом, положение которого сохраняется на протяжении всего построения.
Это положение имеет особое значение для понимания авторского метода.
В процессе построения могут изменяться размеры вспомогательных отрезков и окружностей.
Могут выбираться новые точки на одном из исходных лучей.
Однако сама точка Z остаётся неизменной.
Она служит исходным центром построения и одновременно является точкой, через которую должна проходить искомая прямая.
Следовательно, при расширении конструкции нельзя подменять первоначальную точку другой, более удобно расположенной точкой.
Необходимо строить геометрические объекты относительно уже выбранной точки Z.
В этом заключается одно из основных условий универсальности рассматриваемой теоремы.
Особенно наглядно данное обстоятельство проявляется при использовании вспомогательной окружности.
Центр окружности выбирается не произвольно, а совпадает с исходной внутренней точкой угла.
В первом варианте построения радиус определяется расстоянием от Z до вершины O.
Во втором варианте используется расстояние от Z до определённой точки A;, полученной посредством последовательного откладывания равных отрезков на одном из лучей угла.
При этом центр окружности сохраняется.
Таким образом, все последующие построения осуществляются относительно одной и той же внутренней точки.
Искомая прямая должна проходить через эту точку не случайно, а в силу самого способа её построения.
2.7. Понятие пересечения прямой с лучом
Для дальнейшего исследования необходимо уточнить содержание понятия пересечения прямой с лучом.
В первоначальном геометрическом смысле два объекта пересекаются, если существует определённая точка, одновременно принадлежащая обоим объектам.
Однако применительно к прямой и лучу необходимо учитывать особенности последнего.
Луч является направленной частью определённой прямой.
Поэтому пересечение некоторой прямой с полной прямой, содержащей данный луч, ещё не означает пересечения с самим лучом.
Общая точка должна располагаться именно на той части прямой, которая начинается в вершине луча и продолжается в заданном направлении.
Рассмотрим угол с вершиной O.
Пусть через его внутреннюю точку Z проведена некоторая прямая.
Если эта прямая встречает один из образующих лучей в точке A, то точка A должна одновременно принадлежать построенной прямой и соответствующему лучу.
Для пересечения второго луча необходимо существование другой определённой точки B, удовлетворяющей аналогичному условию.
При этом предполагается, что точки A и B различны и не совпадают с вершиной O.
Именно такое пересечение рассматривается в утверждении Лежандра.
Здесь необходимо различать три геометрические ситуации.
Первая ситуация — прямая пересекает полную прямую, содержащую определённый луч.
Вторая ситуация — точка пересечения принадлежит самому лучу.
Третья ситуация — построенная прямая пересекает оба луча исходного угла в двух различных точках.
Для доказательства рассматриваемой теоремы требуется установить третью ситуацию.
При этом определение прямой через исходную внутреннюю точку и первую точку пересечения ещё не завершает доказательства.
Необходимо дополнительно установить существование пересечения со вторым лучом.
В авторской конструкции это различие выражается особенно наглядно.
Первое пересечение используется для построения определённой прямой.
Второе должно возникнуть как необходимый результат взаимного расположения построенных геометрических объектов.
Следовательно, пересечение второго луча является не исходным условием построения, а результатом, подлежащим доказательству.
Именно это обстоятельство необходимо сохранять при последующем изложении.
2.8. Существование пересечения и его геометрические условия
Вопрос о существовании пересечения занимает центральное место в рассматриваемой задаче.
Он имеет непосредственное отношение к различию между геометрическим построением и доказательством определённого свойства построенного объекта.
Допустим, в плоскости имеются два определённых луча, исходящих из общей вершины.
Между ними расположена точка Z.
Проведение через Z произвольной прямой само по себе ещё не обеспечивает её пересечения с обоими лучами.
Положение такой прямой может существенно различаться в зависимости от выбранного направления.
Поэтому для доказательства рассматриваемой теоремы недостаточно установить возможность проведения прямой через внутреннюю точку.
Необходимо определить способ построения такой прямой, который обеспечивал бы существование требуемых пересечений.
В авторском исследовании для этой цели применяется вспомогательная окружность.
Использование окружности позволяет геометрически связать исходную внутреннюю точку, определённую точку одного из лучей и противоположное направление продолжения построенного отрезка.
Особое значение имеет то обстоятельство, что центр окружности совпадает с исходной внутренней точкой Z.
Если выбранная точка одного из лучей принадлежит окружности, то соединяющий её с центром отрезок является радиусом.
Продолжение этого радиуса через центр до противоположной точки окружности определяет диаметр.
Таким образом, положение построенной прямой устанавливается через определённые геометрические отношения.
При этом следует различать несколько последовательных обстоятельств.
Сначала необходимо установить возможность построения соответствующей окружности.
Затем — определить точку первого луча, используемую для построения радиуса.
После этого строится прямолинейное продолжение радиуса через центр окружности.
Наконец, рассматривается положение полученной прямой относительно второго луча угла.
Именно последний этап является решающим для доказательства теоремы.
В предлагаемом авторском подходе важное место занимает возможность изменения положения построенной прямой посредством увеличения исходного основания.
Если определённая точка последовательно удаляется от вершины по одному из лучей, а центр вспомогательной окружности остаётся неизменным, то изменяются направление соответствующего радиуса и положение содержащей его прямой.
Такое изменение позволяет исследовать условия, при которых построенная прямая должна пересечь второй луч.
В частности, рассматривается возможность выбрать достаточно удалённую точку первого луча, чтобы полученная прямая не могла миновать второй луч при сохранении исходных геометрических условий.
Здесь речь идёт не о произвольном перемещении прямой, а о последовательном построении новых прямолинейных объектов через одну и ту же внутреннюю точку Z.
Каждая такая прямая определяется конкретным положением выбранной точки первого луча.
Главная задача заключается в доказательном установлении того, что соответствующая последовательность построений позволяет получить искомое пересечение.
Именно эта задача будет подробно рассмотрена в последующих главах.
Таким образом, в настоящем исследовании условия существования пересечения связываются с взаимным положением первоначальных геометрических объектов, фиксированным центром окружности и возможностью последовательного увеличения определённого основания.
2.9. Различие между построением прямой и доказательством её пересечения с заданным лучом
Одной из наиболее важных методологических особенностей рассматриваемой задачи является необходимость строгого разграничения двух утверждений.
Первое утверждение состоит в том, что определённая прямая может быть построена посредством допустимых геометрических операций.
Второе заключается в том, что построенная прямая обладает заданным свойством — пересекает определённый луч.
Эти утверждения непосредственно связаны, но не тождественны.
Первый постулат Евклида позволяет соединить две заданные точки прямолинейным отрезком.
Второй постулат допускает продолжение такого отрезка по прямой.
Третий постулат позволяет описать окружность определённого радиуса из заданного центра.
Однако из одной только допустимости перечисленных операций ещё не следует автоматически любое утверждение о взаимном расположении полученных геометрических объектов.
В частности, если построен определённый диаметр окружности, необходимо отдельно рассмотреть его отношение к заданному лучу исходного угла.
В авторском доказательстве это различие имеет особое значение.
Рассмотрим первоначальную конструкцию, относящуюся к острому углу.
Дана внутренняя точка Z и вершина O.
Соединив эти точки, получаем определённый отрезок.
Затем из центра Z описывается окружность радиусом, равным длине данного отрезка.
После выбора точки A на первом луче угла, принадлежащей построенной окружности, проводится радиус ZA.
Его продолжение через центр до противоположной точки C позволяет построить диаметр AC.
На этом этапе существование определённой прямой установлено посредством последовательных геометрических операций.
Однако для завершения рассматриваемой теоремы необходимо установить, что эта прямая пересекает второй луч угла в точке B.
Именно существование такой точки составляет центральное утверждение авторского доказательства.
Вторая конструкция, относящаяся к углам большей величины, позволяет яснее увидеть различие между двумя этапами.
Здесь на одном из лучей последовательно откладываются равные отрезки.
В первоначальном авторском чертеже используются точки A;, A;, A; и A;.
Каждый из последовательных отрезков имеет длину исходного отрезка ZO.
Затем точка A; соединяется с внутренней точкой Z.
Полученный отрезок используется в качестве радиуса окружности с центром Z.
Продолжение данного радиуса через центр до противоположной точки D определяет прямую A;ZD.
Существование этой прямой обеспечивается выполненными построениями.
Далее необходимо доказать её пересечение со вторым лучом исходного угла.
Принципиально важно, что точка B соответствующего пересечения не является заранее заданной точкой построения.
Она должна быть получена как необходимый результат взаимного расположения прямой A;ZD и второго луча.
Таким образом, авторская конструкция направлена не просто на получение определённой прямой, но на доказательство её необходимого пересечения с заданным геометрическим объектом.
Это обстоятельство составляет одну из основных отличительных особенностей рассматриваемого подхода.
Следует подчеркнуть также, что конкретное число равных отрезков, использованных на первоначальном чертеже, характеризует отдельный пример построения.
В общем исследовании необходимо рассматривать возможность выбора достаточного конечного числа таких отрезков в зависимости от исходного положения угла и его внутренней точки.
Именно этот вопрос имеет существенное значение для распространения авторского метода на углы произвольной допустимой величины.
В последующих главах будут подробно рассмотрены как сама конструктивная последовательность, так и геометрическое обоснование соответствующих пересечений.
2.10. Точная постановка теоремы о пересечении угла с точкой
На основании рассмотренных первоначальных понятий и геометрических различений можно сформулировать основную задачу настоящего исследования.
Дан произвольный острый прямолинейный угол, образованный двумя различными лучами с общей вершиной O.
Внутри этого угла расположена произвольная точка Z.
Необходимо построить прямую, проходящую через Z и пересекающую оба образующих угол луча.
При этом точки пересечения должны быть различными и не совпадать с вершиной исходного угла.
Основная теорема
Через любую точку, находящуюся строго внутри произвольного острого угла, можно провести по крайней мере одну прямую, пересекающую оба образующих его луча в двух различных точках, отличных от вершины угла.
Данная формулировка соответствует рассматриваемому в настоящей работе утверждению Лежандра.
Вместе с тем она специально уточняет понятие пересечения, исключая возможность считать решением проведение прямой через вершину исходного угла.
В содержании теоремы необходимо различать несколько взаимосвязанных положений.
Во-первых, исходный угол является произвольным острым углом.
Во-вторых, внутренняя точка Z выбирается произвольно и не обладает какими-либо дополнительными специально заданными свойствами.
В-третьих, требуется доказать существование определённой прямой, проходящей через Z.
В-четвёртых, построенная прямая должна пересекать оба луча исходного угла.
В-пятых, соответствующие точки пересечения должны принадлежать именно образующим лучам, а не только содержащим их полным прямым.
Наконец, обе точки пересечения должны отличаться от вершины исходного угла.
Именно совокупность этих условий определяет математическое содержание рассматриваемой теоремы.
Конструктивная задача
Для доказательства теоремы предлагается использовать первоначальные геометрические операции Евклида.
В частности, предполагается выполнить следующие действия.
Сначала соединить внутреннюю точку Z с вершиной O.
Затем построить вспомогательную окружность с центром Z.
После этого определить точку первого луча, используемую для построения радиуса, провести соответствующий отрезок и продолжить его через центр окружности до противоположной точки.
Таким образом определяется искомая прямая.
Завершающая часть доказательства должна установить её пересечение со вторым лучом исходного угла.
Для углов большей величины рассматривается дополнительный конструктивный способ, состоящий в последовательном откладывании равных отрезков на одном из лучей.
Получаемая посредством этого построения точка используется для определения радиуса новой вспомогательной окружности.
Центр окружности при этом остаётся неизменным и совпадает с исходной внутренней точкой Z.
В результате строится определённая прямая, положение которой зависит от выбранного удалённого основания.
Необходимо установить геометрические условия, обеспечивающие её пересечение со вторым лучом угла.
Расширенная постановка задачи
Помимо первоначального утверждения Лежандра, в настоящей работе рассматривается возможность установления более общего результата.
Речь идёт об углах, величина которых меньше развёрнутого угла.
Такое расширение включает не только острые, но также прямые и тупые углы.
Соответствующее утверждение можно сформулировать следующим образом.
Через любую точку, находящуюся строго внутри произвольного невырожденного угла величиной менее развёрнутого, можно провести прямую, пересекающую оба его образующих луча в двух различных точках, отличных от вершины угла.
Это утверждение имеет более широкую область применения, чем первоначальная формулировка Лежандра.
Его конструктивное исследование связывается с возможностью последовательного увеличения основания и построения диаметра вспомогательной окружности через заданную внутреннюю точку.
При этом основное доказательство для острых углов и расширенная конструкция для углов большей величины рассматриваются как взаимосвязанные, но различающиеся по исходным условиям задачи.
Значение постановки теоремы
Сформулированная теорема представляет самостоятельный интерес для исследования оснований геометрии.
Она касается существования вполне определённого геометрического объекта, положение которого должно быть установлено посредством первоначальных построений.
Вместе с тем рассматриваемое утверждение непосредственно связано с проблемой пятого постулата Евклида.
В традиционной аксиоматической геометрии оно относится к числу положений, равносильных постулату о параллельных.
Поэтому его самостоятельное конструктивное исследование имеет принципиальное значение для всей рассматриваемой программы.
Основная задача заключается в последовательном установлении того, какие геометрические отношения обеспечивают существование искомой прямой и её пересечений с обоими лучами.
Предлагаемый авторский подход направлен именно на решение этой задачи.
При этом особое значение придаётся сохранению первоначальной геометрической конструкции и строгому разграничению построенных объектов и доказываемых отношений.
Тем самым задача о пересечении угла с точкой получает точную геометрическую постановку, а её конструктивное доказательство становится предметом последующего самостоятельного исследования.
В следующей главе будет подробно рассмотрена первоначальная авторская конструкция, включающая исходный угол, произвольную внутреннюю точку, вспомогательную окружность, последовательное построение радиусов и получение искомой прямой.
*******
ГЛАВА 3. АВТОРСКАЯ ГЕОМЕТРИЧЕСКАЯ КОНСТРУКЦИЯ
3.1. Исходный острый угол и произвольная внутренняя точка
Рассмотрим первоначальную геометрическую задачу, составляющую предмет настоящего исследования.
Пусть в некоторой плоскости дан произвольный острый угол, образованный двумя лучами, исходящими из общей вершины O.
Внутри этого угла расположена точка Z.
Положение точки Z является произвольным. Она не обязана находиться на биссектрисе угла, быть равноудалённой от его сторон или удовлетворять каким-либо дополнительным метрическим условиям.
Требуется провести через Z прямую, пересекающую оба луча исходного угла в двух различных точках, отличных от его вершины O.
Таким образом, необходимо установить существование определённого прямолинейного объекта, одновременно удовлетворяющего трём геометрическим условиям.
Во-первых, искомая прямая должна проходить через исходную точку Z.
Во-вторых, она должна пересекать первый луч данного угла.
В-третьих, она должна пересекать второй луч того же угла.
Причём речь идёт именно о пересечении лучей, а не только полных прямых, содержащих эти лучи.
На первый взгляд рассматриваемая задача представляется весьма простой.
Достаточно изобразить острый угол, отметить внутри него точку и провести через неё некоторую прямую, пересекающую обе стороны угла.
Однако подобное изображение ещё не раскрывает способа получения искомого геометрического объекта.
Более того, произвольное проведение прямой через внутреннюю точку не обеспечивает автоматически выполнения всех условий задачи.
Именно поэтому требуется определить такой способ построения, при котором положение искомой прямой устанавливается через исходные геометрические объекты и последовательные операции, допустимые первоначальными постулатами Евклида.
В предлагаемом авторском подходе центральное место занимает вспомогательная окружность.
Её центр совмещается с заданной внутренней точкой Z, а радиус определяется посредством предварительно построенного прямолинейного отрезка.
Использование окружности позволяет получить прямую не путём произвольного выбора направления, а посредством построения двух противоположных радиусов, принадлежащих одному диаметру.
При этом направление диаметра определяется положением заранее выбранной точки первого луча.
Главная задача заключается в установлении того, что соответствующее построение обеспечивает пересечение также и второго луча исходного угла.
В дальнейшем будут рассмотрены две связанные конструкции.
Первая относится непосредственно к острому углу и использует окружность радиусом ZO.
Вторая предполагает предварительное увеличение основания путём последовательного откладывания равных отрезков на одном из лучей. Она предназначена для распространения первоначального метода на углы большей величины.
Обе конструкции имеют единую геометрическую основу, но различаются способом определения радиуса вспомогательной окружности.
3.2. Первоначальный авторский чертёж и система обозначений
Основой настоящего исследования служат два первоначальных авторских чертежа, опубликованных в разделе 1.3 работы «Теорема о параллельных прямых: к основаниям Гармонической геометрии» 12 марта 2025 года.
На первом чертеже рассматривается исходная задача о пересечении обоих лучей острого угла.
На втором представлена дополнительная конструкция, предназначенная для исследования аналогичной задачи применительно к углам величиной менее развёрнутого.
В настоящей брошюре сохраняется первоначальная система геометрических обозначений.
Первый чертёж. Острый угол
На рисунке 1.3.1 обозначены следующие геометрические объекты.
O — вершина исходного острого угла.
Z — произвольная точка, расположенная внутри этого угла.
A — точка первого луча, принадлежащая вспомогательной окружности.
B — точка пересечения построенной прямой со вторым лучом угла.
C — точка окружности, диаметрально противоположная точке A.
Окружность имеет центр Z и радиус ZO.
Следовательно, точка O принадлежит этой окружности.
Точки A и C также принадлежат окружности, а прямая AC проходит через её центр Z.
При этом на чертеже точки располагаются на одной прямой в следующем порядке:
A — Z — B — C.
Данное расположение имеет принципиальное значение.
Точка A находится на первом луче угла, точка B — на втором, а заданная внутренняя точка Z принадлежит прямолинейному отрезку AB.
Таким образом, первый рисунок отображает именно ту геометрическую систему, существование которой составляет содержание утверждения Лежандра.
Второй чертёж. Угол большей величины
На рисунке 1.3.2 используются следующие обозначения.
O — вершина исходного угла.
Z — его произвольная внутренняя точка.
A;, A;, A;, A; — последовательные точки, построенные на первом луче угла.
B — точка пересечения построенной прямой со вторым лучом.
C — точка второго луча, принадлежащая вспомогательной окружности на изображённом чертеже.
D — точка окружности, диаметрально противоположная точке A;.
Последовательность точек первого луча имеет вид:
O — A; — A; — A; — A;.
Каждый из четырёх последовательно построенных отрезков равен исходному отрезку ZO.
Иначе говоря, отрезки OA;, A;A;, A;A; и A;A; имеют одинаковую длину, равную ZO.
В отличие от первого построения, центр окружности остаётся в точке Z, но её радиус определяется уже отрезком ZA;.
Поэтому точка A; принадлежит окружности непосредственно в силу способа её построения.
Точки A; и D являются противоположными концами диаметра этой окружности.
На чертеже они располагаются на одной прямой вместе с точками Z и B:
A; — Z — B — D.
Вторая сторона угла проходит через O, B и C.
Здесь необходимо учитывать, что обозначение C имеет различное геометрическое значение на двух рисунках.
На первом рисунке C является противоположным концом диаметра AC.
На втором рисунке C находится на втором луче угла, тогда как противоположным концом диаметра A;D является точка D.
Это различие сохраняется в дальнейшем изложении.
Оба первоначальных рисунка рассматриваются как самостоятельные геометрические конструкции. Их исходные обозначения и взаимное расположение точек не изменяются.
3.3. Выбор вспомогательных геометрических элементов
Особенность предлагаемого авторского метода состоит в том, что искомая прямая строится посредством определённой последовательности первоначальных геометрических операций.
Главными вспомогательными объектами являются прямолинейный отрезок и окружность.
Выбор этих объектов обусловлен содержанием первых трёх постулатов Евклида.
Первый постулат позволяет соединить две заданные точки прямолинейным отрезком.
Второй допускает продолжение конечного прямолинейного отрезка по прямой.
Третий позволяет описать окружность из определённого центра определённым радиусом.
В настоящем исследовании все три операции используются последовательно.
Начальным геометрическим объектом служит отрезок ZO, соединяющий внутреннюю точку угла с его вершиной.
Его положение однозначно определяется исходными точками.
Длина этого отрезка используется для определения вспомогательной окружности в первоначальном построении.
Центр окружности совпадает с точкой Z.
Такой выбор имеет принципиальное значение.
Поскольку любая прямая, содержащая диаметр окружности, проходит через её центр, построение диаметра автоматически обеспечивает прохождение соответствующей прямой через исходную внутреннюю точку Z.
Тем самым одно из основных условий теоремы выполняется посредством самого способа построения.
Остаётся определить направление искомой прямой.
Для этого используется точка одного из лучей исходного угла.
Если выбранная точка принадлежит окружности, соединение её с центром определяет радиус.
Продолжение данного радиуса через центр до противоположной точки окружности даёт диаметр.
Следовательно, первоначальный выбор точки на первом луче позволяет определить положение целой прямой, проходящей через Z.
Здесь необходимо подчеркнуть важное обстоятельство.
Искомая прямая не выбирается независимо от построенных геометрических объектов.
Она определяется положением одного из радиусов окружности и его прямолинейным продолжением.
В первом случае радиус окружности равен ZO.
Во втором случае он определяется расстоянием от внутренней точки Z до достаточно удалённой точки первого луча.
Таким образом, различие двух построений заключается прежде всего в способе определения исходной точки диаметра и соответствующей величины радиуса.
При этом сам принцип построения остаётся неизменным.
3.4. Построение прямой, проходящей через внутреннюю точку угла
Рассмотрим последовательность операций, посредством которых получается искомая прямая.
Первое построение
Дан острый угол с вершиной O и произвольная внутренняя точка Z.
Соединяем точки O и Z прямолинейным отрезком.
Получаем отрезок ZO, имеющий вполне определённую длину.
Из центра Z описываем окружность радиусом ZO.
Поскольку расстояние от Z до O равно радиусу построенной окружности, точка O принадлежит этой окружности.
На первом луче угла рассматриваем вторую точку его встречи с окружностью, отличную от O.
Обозначим её буквой A.
Соединяем точки A и Z.
Получаем радиус ZA.
В соответствии со вторым постулатом Евклида продолжаем отрезок AZ через точку Z в противоположном направлении.
На окружности определяем противоположную точку C.
В результате получаем диаметр AC.
Таким образом, построена определённая прямая, проходящая через точки A, Z и C.
Поскольку Z является центром окружности, принадлежность этой точки построенной прямой обеспечивается непосредственно геометрической конструкцией.
При этом точка A находится на первом луче исходного угла.
Следовательно, построенная прямая уже удовлетворяет двум требованиям рассматриваемой задачи: она проходит через внутреннюю точку Z и имеет общую точку A с первым лучом.
Остаётся установить пересечение со вторым лучом.
Второе построение
Рассмотрим теперь угол большей величины, в частности тупой угол.
Сохраняем исходные обозначения O и Z.
Соединяем вершину угла O с его внутренней точкой Z.
Получаем отрезок ZO.
На первом луче угла откладываем от точки O отрезок OA;, равный ZO.
Затем последовательно откладываем равные ему отрезки A;A;, A;A; и A;A;.
В результате получаем определённую последовательность точек первого луча.
В первоначальном авторском чертеже ограничиваемся четырьмя такими отрезками.
Соединяем конечную точку A; с внутренней точкой Z.
Получаем отрезок ZA;.
Из точки Z описываем окружность радиусом ZA;.
Следовательно, точка A; принадлежит построенной окружности.
Теперь продолжаем отрезок A;Z через точку Z в противоположном направлении до точки D окружности.
Получаем диаметр A;D.
Таким образом, через исходную внутреннюю точку Z построена определённая прямая A;ZD.
Принципиальное отличие этой конструкции от первоначальной состоит в предварительном увеличении расстояния от вершины угла O до выбранной точки первого луча.
При этом исходная внутренняя точка Z остаётся неподвижной.
Следовательно, изменение положения построенной прямой достигается не произвольным выбором направления, а последовательным изменением положения точки первого луча, используемой для построения диаметра.
Именно данное обстоятельство лежит в основе расширенного варианта авторского метода.
3.5. Взаимное расположение построенной прямой и первого луча
Рассмотрим теперь отношение между построенной прямой и первым лучом исходного угла.
В первоначальной конструкции данное отношение устанавливается непосредственно.
Точка A выбирается на первом луче угла и принадлежит вспомогательной окружности.
Соединение A с центром Z определяет радиус ZA.
Следовательно, прямая, содержащая этот радиус, проходит через A.
Таким образом, построенная прямая AC пересекает первый луч угла в точке A.
Причём A не совпадает с вершиной O.
Данное обстоятельство существенно, поскольку в условии теоремы требуется пересечение образующих лучей в точках, отличных от общей вершины.
Вторая конструкция позволяет установить аналогичное отношение ещё более непосредственно.
Точка A; получается посредством последовательного откладывания равных отрезков на первом луче.
Следовательно, её принадлежность данному лучу обеспечивается самим способом построения.
Затем соединяем A; с Z.
Проводим окружность с центром Z и радиусом ZA;.
Продолжаем полученный радиус до противоположной точки D окружности.
Таким образом, прямая A;ZD проходит через A;, принадлежащую первому лучу.
Здесь пересечение первого луча с построенной прямой не является дополнительной геометрической гипотезой.
Оно непосредственно обеспечено последовательностью выполненных операций.
Следует подчеркнуть ещё одно принципиальное обстоятельство.
В обоих вариантах исходная внутренняя точка Z и точка первого луча определяют направление прямой.
В первом случае это точки Z и A.
Во втором — Z и A;.
Следовательно, положение построенной прямой полностью обусловлено первоначальными геометрическими данными.
При этом она не может произвольно отклоняться от установленного направления без изменения самой конструкции.
Данное свойство прямолинейного построения приобретает особое значение при исследовании второго пересечения.
Именно там становится необходимым установить, каким образом положение определённой прямой относительно первого луча и внутренней точки Z связано с её положением относительно второго луча.
3.6. Продолжение построенной прямой и исследование второго луча
Перейдём к центральному геометрическому отношению рассматриваемой конструкции.
Пусть прямая уже построена через внутреннюю точку Z и определённую точку первого луча.
Необходимо исследовать её положение относительно второго луча исходного угла.
Пересечение во втором направлении на рисунке 1.3.1
В первоначальной конструкции рассматривается диаметр AC окружности с центром Z.
Точка A принадлежит первому лучу угла.
Радиус ZA продолжается через центр Z до противоположной точки C окружности.
При этом точка Z сохраняет своё первоначальное положение внутри угла.
Продолжение осуществляется строго по той же прямой, содержащей радиус ZA.
Таким образом, положение отрезка ZC определяется первоначальным радиусом ZA.
В авторской конструкции рассматривается пересечение этого продолжения со вторым лучом исходного угла.
Соответствующая точка обозначается B.
На первоначальном рисунке B находится между Z и C.
Следовательно, отрезок AB проходит через исходную внутреннюю точку Z и соединяет две точки, принадлежащие различным лучам угла.
Геометрический смысл данного построения состоит в том, что продолжение первоначального радиуса через центр окружности приводит к определённому направлению внутри рассматриваемой угловой системы.
Авторское доказательство направлено на установление необходимого пересечения этого направления со вторым лучом.
Пересечение во втором направлении на рисунке 1.3.2
Во втором построении сначала увеличивается основание на первом луче.
После выбора точки A; и построения окружности радиусом ZA; через центр Z проводится диаметр A;D.
Точка A; принадлежит первому лучу угла.
Отрезок A;Z продолжается через Z до точки D.
В исходной авторской конструкции это продолжение пересекает второй луч в точке B.
Таким образом, точки A;, Z, B и D принадлежат одной прямой.
При этом точка B располагается между Z и D.
Второй луч угла содержит также точку C, отмеченную на пересечении с окружностью.
На рисунке точки O, B и C лежат на одном луче, причём B находится между O и C.
Особенность рассматриваемой конструкции заключается в том, что положение прямой A;ZD определяется расстоянием от Z до выбранной точки A; первого луча.
При последовательном удалении A; от вершины O изменяется направление соответствующего радиуса, а вместе с ним и положение диаметра.
Поэтому исходная задача сводится к исследованию того, при каком удалении точки первого луча построенное направление обеспечивает пересечение второго луча.
В авторском подходе принципиальное значение имеет именно возможность последовательно увеличивать основание, сохраняя неизменными вершину O и внутреннюю точку Z.
Таким образом, второе построение представляет собой развитие первоначального метода, позволяющее исследовать более широкий класс углов.
3.7. Геометрические условия существования двух точек пересечения
Рассмотренные конструкции позволяют выделить основные геометрические условия, необходимые для получения искомого результата.
Прежде всего требуется наличие определённого угла с двумя различными образующими лучами.
Затем внутри этого угла должна быть задана точка Z.
Её положение фиксируется на протяжении всего построения.
Следующее условие заключается в выборе определённой точки первого луча, отличной от вершины O.
Эта точка используется для построения прямолинейного отрезка, соединяющего её с Z.
После построения окружности с центром Z соответствующий отрезок становится радиусом.
Его продолжение через центр определяет противоположный радиус и, следовательно, диаметр окружности.
Таким образом, возникает определённая прямая, уже имеющая общую точку с первым лучом.
Однако для выполнения всех условий теоремы необходимо также существование второй точки пересечения.
Именно это обстоятельство определяет центральную геометрическую задачу.
В первом построении рассматривается положение диаметра AC относительно второго луча острого угла.
Второе построение позволяет изменять положение диаметра посредством удаления исходной точки первого луча от вершины угла.
Здесь необходимо обратить внимание на важное различие.
Если положение исходной точки первого луча изменяется, то одновременно изменяются длина соответствующего радиуса и направление прямой, содержащей данный радиус.
Однако сама внутренняя точка Z не перемещается.
Это означает, что мы получаем не произвольное семейство несвязанных между собой прямых, а последовательность геометрически определённых построений, каждое из которых осуществляется через одну и ту же точку Z.
В частности, на втором чертеже положение A; определяется последовательным откладыванием равных отрезков.
Никаких дополнительных условий на точку Z при этом не вводится.
Вместе с тем выбор достаточного удаления A; должен обеспечивать такое направление диаметра A;D, при котором его продолжение через Z встречает второй луч исходного угла.
Таким образом, можно выделить четыре основных условия завершения построения:
Принадлежность выбранной точки первому лучу угла.
Прохождение построенной прямой через исходную внутреннюю точку Z.
Существование пересечения построенной прямой со вторым лучом в точке, отличной от O.
Принадлежность обеих точек пересечения именно образующим лучам, а не только содержащим их полным прямым.
Первые два условия непосредственно обеспечиваются последовательностью первоначальных построений.
Третье и четвёртое раскрывают содержание главного доказательного перехода.
В авторском исследовании он связывается с определённым положением построенной прямой и геометрической невозможностью её прохождения мимо второго луча при выполнении соответствующих условий построения.
Подробное обоснование этого положения составляет предмет следующей главы.
3.8. Независимость исходной задачи от произвольного выбора внутренней точки
Одним из основных требований рассматриваемой теоремы является её применимость к произвольной внутренней точке угла.
Это означает, что исходная задача не должна зависеть от какого-либо специального положения точки Z.
В частности, не предполагается её расположение на биссектрисе угла.
Не требуется также равенство расстояний до двух образующих лучей.
Точка Z может находиться в различных частях внутренней области угла.
При этом исходная геометрическая конструкция должна сохранять своё принципиальное содержание.
В первом варианте построения для любой выбранной точки Z определяется расстояние ZO.
Затем из Z описывается окружность соответствующего радиуса.
После выбора точки A на первом луче через центр окружности проводится диаметр AC.
Следовательно, изменение первоначального положения Z приводит к изменению размеров и расположения вспомогательной окружности, но не меняет самой последовательности операций.
Во втором варианте сохраняется тот же принцип.
Для каждой внутренней точки Z сначала определяется исходный отрезок ZO.
Затем на первом луче последовательно откладываются равные ему отрезки.
После выбора конечной точки построенного основания через неё и Z проводится прямая, которая используется для определения диаметра вспомогательной окружности.
При этом количество откладываемых отрезков может зависеть от величины исходного угла и положения точки Z.
Четыре отрезка, представленные на первоначальном рисунке, иллюстрируют конкретный случай.
В общем случае рассматривается возможность продолжать откладывание равных отрезков до получения необходимого расположения построенной прямой.
Принципиально важно, что увеличение числа отрезков не требует изменения исходной точки Z.
Оно осуществляется только посредством выбора новых точек первого луча.
Таким образом, авторский метод предусматривает возможность приспособления размеров вспомогательной конструкции к первоначальным условиям задачи.
В этом заключается его существенное геометрическое достоинство.
Исходная точка не заменяется другой, специально выбранной точкой.
Не изменяются также образующие лучи угла.
Все дополнительные построения осуществляются относительно первоначально заданной геометрической системы.
Следовательно, общность метода предполагается обеспечить изменением размеров и положения вспомогательных объектов, а не ограничением исходных условий.
Именно поэтому вопрос о произвольности положения внутренней точки приобретает самостоятельное значение для последующего доказательства.
Необходимо установить, что требуемое пересечение существует при любом допустимом положении Z и что выбор достаточного основания действительно возможен.
В авторской концепции эта задача рассматривается как существенный элемент конструктивного доказательства утверждения Лежандра и его расширения на углы большей величины.
3.9. Итоговая геометрическая конструкция
Подведём итог рассмотрению двух вариантов авторского построения.
В обоих случаях исходными геометрическими объектами являются угол с вершиной O и произвольная внутренняя точка Z.
Необходимо построить прямую, проходящую через Z и пересекающую оба образующих угол луча.
Основным вспомогательным геометрическим объектом служит окружность, центр которой совпадает с точкой Z.
Искомая прямая определяется посредством построения радиуса, соединяющего Z с определённой точкой первого луча, и продолжения этого радиуса через центр окружности в противоположном направлении.
В первом построении радиус окружности определяется отрезком ZO.
На первом луче выбирается отличная от O точка A, принадлежащая окружности.
Затем проводится радиус ZA и его продолжение до противоположной точки C окружности.
Таким образом, получается диаметр AC.
В авторской конструкции этот диаметр пересекает второй луч в точке B.
Получается прямолинейный отрезок AB, проходящий через исходную внутреннюю точку Z.
Во втором построении предварительно увеличивается основание на первом луче.
В первоначальном авторском чертеже последовательно откладываются четыре отрезка, каждый из которых равен ZO.
Полученная конечная точка A; соединяется с Z.
Из центра Z описывается окружность радиусом ZA;.
Продолжение радиуса A;Z через центр до противоположной точки D определяет диаметр A;D.
На первоначальном рисунке этот диаметр пересекает второй луч в точке B.
Таким образом, получается прямолинейный отрезок A;B, также проходящий через исходную внутреннюю точку Z.
При этом необходимо подчеркнуть, что обе конструкции объединяет единый принцип.
Искомая прямая определяется через заранее построенный радиус окружности и его прямолинейное продолжение через неподвижный центр, совпадающий с исходной внутренней точкой угла.
В первом случае положение соответствующего радиуса определяется окружностью, проходящей через вершину O.
Во втором — предварительно построенной удалённой точкой первого луча.
Тем самым задача о пересечении прямой с обоими лучами получает определённую конструктивную форму.
Необходимо доказать, что при соответствующем выборе исходного радиуса построенный диаметр обязательно пересекает второй луч угла.
Особенно важно установить это для расширенной конструкции, где положение диаметра регулируется последовательным увеличением основания.
В авторском подходе именно здесь проявляется существенное геометрическое отношение: при достаточном удалении исходной точки первого луча построенная прямая, сохраняющая прохождение через фиксированную внутреннюю точку Z, не может миновать второй луч без пересечения.
Данное положение составляет центральное содержание следующего этапа исследования.
В настоящей главе установлены исходная геометрическая система, последовательность допустимых построений, определения вспомогательных окружностей и расположение всех основных точек.
Тем самым подготовлена конструктивная основа доказательства теоремы о пересечении угла с точкой.
В следующей главе будет рассмотрено авторское доказательство необходимости соответствующих пересечений и обоснована применимость предлагаемого метода к произвольной внутренней точке рассматриваемого угла.
******
ГЛАВА 4. АВТОРСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О ПЕРЕСЕЧЕНИИ УГЛА С ТОЧКОЙ
4.1. Формулировка основной теоремы
В предыдущей главе была подробно рассмотрена геометрическая конструкция, предложенная автором для решения задачи о пересечении прямой с лучами угла.
Теперь необходимо перейти от последовательности построений к доказательству существования соответствующих точек пересечения.
Основное утверждение формулируется следующим образом.
Теорема о пересечении угла с точкой.
Через любую точку, расположенную строго внутри произвольного острого угла, можно провести прямую, пересекающую оба образующих этот угол луча в двух различных точках, отличных от его вершины.
В условии теоремы необходимо различать три первоначальных геометрических объекта.
Первый — острый угол с вершиной O, образованный двумя определёнными лучами.
Второй — произвольная внутренняя точка Z данного угла.
Третий — искомая прямая, которая должна проходить через Z и пересекать оба луча.
Причём положение точки Z не ограничивается никакими дополнительными условиями.
Она может находиться в любой части внутренней области угла.
Не требуется, чтобы Z принадлежала биссектрисе, была равноудалена от сторон или находилась на заранее определённом расстоянии от вершины O.
Следовательно, доказательство должно охватывать все допустимые положения точки Z.
Вместе с тем необходимо подчеркнуть, что утверждается существование по крайней мере одной прямой с указанными свойствами, а не пересечение обоих лучей каждой произвольной прямой, проходящей через Z.
Для решения этой задачи автором предложено построение с использованием вспомогательной окружности, центр которой совпадает с точкой Z.
Главная идея заключается в том, чтобы определить искомую прямую посредством построения радиуса окружности и его продолжения через центр до противоположной точки.
Затем требуется установить, что полученная прямая пересекает оба луча исходного угла.
В настоящей главе последовательно рассматриваются построение, существование точек пересечения и геометрические условия, обеспечивающие требуемый результат.
4.2. Исходные геометрические положения и допустимые построения
Предлагаемая авторская конструкция основывается на первоначальных геометрических операциях, связанных с первыми тремя постулатами Евклида.
Первый постулат допускает соединение двух определённых точек прямолинейным отрезком.
Второй постулат допускает продолжение конечного прямолинейного отрезка по прямой.
Третий постулат позволяет описать окружность из определённого центра определённым радиусом.
Эти операции используются в обеих рассматриваемых конструкциях.
Вначале соединяются вершина угла O и его внутренняя точка Z.
Полученный отрезок ZO определяет исходную длину.
Затем строится вспомогательная окружность.
После выбора точки на первом луче угла она соединяется с Z.
Полученный радиус продолжается через центр окружности до противоположной точки.
Таким образом, определяется прямая, заведомо проходящая через исходную внутреннюю точку.
При этом необходимо установить ещё два геометрических обстоятельства.
Первое состоит в том, что выбранная точка первого луча действительно принадлежит построенной окружности.
Второе заключается в том, что продолжение соответствующего радиуса пересекает второй луч исходного угла.
Эти обстоятельства имеют различный доказательный статус.
Принадлежность выбранной точки окружности обеспечивается равенством соответствующего расстояния радиусу.
Пересечение со вторым лучом требует отдельного геометрического обоснования.
Поэтому в дальнейшем будем различать:
допустимость первоначальных построений;
принадлежность полученных точек соответствующим геометрическим объектам;
существование требуемых точек пересечения;
порядок расположения этих точек на построенной прямой.
Такое разграничение необходимо для математически точного изложения авторского метода.
4.3. Обоснование построения искомой прямой
Рассмотрим острый угол с вершиной O и произвольную внутреннюю точку Z.
Соединим O и Z прямолинейным отрезком.
Из точки Z опишем окружность радиусом ZO.
По определению окружности точка O принадлежит построенной окружности.
Теперь рассмотрим первый луч исходного угла.
Поскольку угол между этим лучом и отрезком OZ острый, перпендикуляр, опущенный из Z на прямую первого луча, имеет основание H, расположенное на самом луче, причём H отличается от O.
На прямой первого луча существует точка A, расположенная по другую сторону от H на таком же расстоянии, на каком O расположена от H.
Следовательно, H является серединой отрезка OA.
Прямоугольные треугольники ZHO и ZHA имеют общий катет ZH и равные катеты HO и HA.
Поэтому расстояния ZO и ZA равны.
Таким образом, точка A принадлежит окружности с центром Z и радиусом ZO.
При этом A располагается на первом луче угла и отличается от его вершины O.
Следовательно, выбор точки A, необходимый для первоначального построения, получает геометрическое обоснование.
Теперь соединяем A с Z.
Полученный отрезок AZ является радиусом построенной окружности.
Продолжаем его через точку Z по той же прямой до второй точки C окружности.
Поскольку ZA и ZC являются радиусами одной окружности, они равны между собой.
Точки A, Z и C лежат на одной прямой.
Следовательно, отрезок AC является диаметром окружности.
Таким образом, построена вполне определённая прямая AC, проходящая через исходную внутреннюю точку Z.
Направление этой прямой не выбирается произвольно.
Оно определяется расположением точек A и Z, причём A получена в результате первоначального построения окружности.
Именно такая последовательность составляет основу первого авторского чертежа.
4.4. Доказательство пересечения с первым лучом угла
Первое пересечение устанавливается непосредственно из выполненного построения.
Точка A находится на первом луче исходного угла.
Одновременно A является концом диаметра AC вспомогательной окружности.
Следовательно, A принадлежит построенной прямой AC.
Таким образом, прямая AC и первый луч исходного угла имеют общую точку A.
Поскольку A отлична от O, это пересечение не совпадает с вершиной угла.
При этом заданная внутренняя точка Z также принадлежит прямой AC, поскольку является центром построенной окружности.
Следовательно, два требования основной теоремы уже выполнены:
построенная прямая проходит через Z;
построенная прямая пересекает первый луч угла в точке A, отличной от O.
Остаётся установить существование пересечения со вторым лучом.
Именно этот переход представляет собой центральную часть доказательства.
4.5. Доказательство пересечения со вторым лучом угла
Рассмотрим взаимное расположение диаметра AC, вершины O и второго луча исходного острого угла.
Точки A, O и C принадлежат одной окружности.
При этом AC является её диаметром.
В обычной евклидовой геометрии угол AOC, опирающийся на диаметр AC, является прямым.
Данное положение выражено в предложении III.31 «Начал» Евклида и традиционно известно как теорема об угле, вписанном в полуокружность.
Следовательно, луч OC образует с первым лучом OA прямой угол.
Но первоначально заданный угол является острым.
Поэтому его второй луч располагается строго внутри прямого угла AOC.
Теперь рассмотрим треугольник AOC.
Луч, исходящий из вершины O и расположенный строго внутри угла AOC, пересекает противолежащую сторону AC в некоторой точке B.
Это следует из геометрического свойства пересечения стороны треугольника внутренним лучом его угла.
Таким образом, точка B существует и принадлежит одновременно второму лучу исходного угла и отрезку AC.
Следовательно, построенная прямая пересекает оба луча первоначального острого угла.
При этом важно установить расположение B относительно центра окружности Z.
Поскольку Z принадлежит внутренней области первоначального угла, луч OZ располагается между его первым и вторым лучами.
А луч OC располагается за вторым лучом относительно первого.
Таким образом, внутри прямого угла AOC направления располагаются последовательно: OA, OZ, OB, OC.
Соответствующие точки на отрезке AC имеют порядок:
A — Z — B — C.
Следовательно, B находится между Z и C.
Тем самым подтверждается именно то расположение точек, которое представлено на первом авторском чертеже.
Проведённое рассуждение устанавливает пересечение в рамках евклидовой геометрии.
При исследовании его аксиоматических оснований необходимо, однако, отдельно учитывать, что использованная здесь теорема об угле, опирающемся на диаметр, в традиционном изложении Евклида доказывается с привлечением результатов теории параллельных.
Это обстоятельство существенно для последующего исследования отношения рассматриваемого построения к пятому постулату.
4.6. Различие точек пересечения и их положение относительно вершины
Установим теперь, что полученные точки пересечения удовлетворяют всем условиям основной теоремы.
Точка A принадлежит первому лучу угла.
Точка B принадлежит второму лучу.
Поскольку исходный угол невырожденный, два образующих его луча имеют единственную общую точку O.
Но точка A отличается от O.
Точка B также отличается от O, поскольку находится внутри отрезка AC и является пересечением внутреннего луча угла AOC с противоположной стороной соответствующего треугольника.
Следовательно, точки A и B различны.
Обе они принадлежат построенной прямой AC.
При этом между ними расположена исходная внутренняя точка Z.
Таким образом, отрезок AB является частью диаметра AC и проходит через Z.
Поскольку Z находится между A и B, справедливо соотношение длин:
AB = AZ + ZB.
Это равенство выражает определённый порядок расположения точек на одной прямой.
Оно не используется для предварительного допущения существования B, а устанавливается после доказательства соответствующего пересечения.
Тем самым выполнение всех геометрических условий исходной задачи подтверждено.
4.7. Исследование произвольного положения внутренней точки
Рассмотрим, зависит ли доказательство от специального положения внутренней точки Z.
Напомним, что точка Z первоначально выбирается произвольно внутри острого угла.
Она не обязана находиться на биссектрисе.
Величины углов между OZ и образующими лучами могут быть различными.
Не предполагается также равенство каких-либо расстояний от Z до сторон угла.
В рассмотренном построении существенно только то, что Z действительно находится внутри острого угла.
Из этого следует, что угол между OZ и первым лучом меньше прямого.
Поэтому основание H перпендикуляра из Z на прямую первого луча располагается впереди вершины O.
Следовательно, существует отличная от O точка A первого луча, для которой ZA = ZO.
Построение окружности, радиуса ZA и диаметра AC осуществляется независимо от того, насколько близко Z находится к одному из лучей.
При изменении положения Z меняются радиус вспомогательной окружности и положение её диаметра.
Однако последовательность построений сохраняется.
Если Z приближается к первому лучу, но остаётся внутри угла, первоначальное построение сохраняет своё геометрическое содержание.
То же справедливо при приближении Z ко второму лучу.
При этом необходимо помнить, что принадлежность точки внутренней области означает её строгое расположение между лучами.
Граничные случаи, когда Z совпадает с одной из сторон угла, не входят в условия рассматриваемой теоремы.
Следовательно, в пределах принятой евклидовой геометрической системы рассмотренная конструкция применима ко всем допустимым внутренним точкам острого угла.
4.8. Общность доказательства для острых углов
Теперь установим, что рассмотренное доказательство не зависит от специальной величины исходного острого угла.
Пусть его величина произвольна, но положительна и меньше прямого угла.
Первоначальная точка Z также выбирается произвольно внутри угла.
Из точки Z описывается окружность радиусом ZO.
На первом луче определяется отличная от O точка A, принадлежащая окружности.
Через A и Z проводится диаметр AC.
В обычной евклидовой плоскости угол AOC является прямым.
Поэтому второй луч любого первоначально заданного острого угла расположен строго внутри угла AOC.
Следовательно, он пересекает отрезок AC.
При этом не требуется предварительно устанавливать какую-либо специальную нижнюю или верхнюю границу величины острого угла.
Не требуется также менять первоначальную внутреннюю точку Z.
Таким образом, общность построения обеспечивается следующими обстоятельствами.
Во-первых, для любой внутренней точки острого угла может быть построена соответствующая вспомогательная окружность.
Во-вторых, на первом луче определяется необходимая точка A.
В-третьих, диаметр AC проходит через Z.
В-четвёртых, в евклидовой плоскости второй луч, расположенный внутри прямого угла AOC, пересекает построенный диаметр.
Следовательно, теорема устанавливается для произвольного острого угла.
Особое значение здесь имеет то обстоятельство, что искомая прямая получена посредством вполне определённых построений, а не простым предположением о существовании подходящей секущей.
Это и составляет центральную конструктивную особенность авторского метода.
4.9. Геометрическая целостность построенной прямой
В обоих вариантах авторского построения особое значение имеет сохранение прямолинейности исходного объекта.
На первом рисунке соединяются точки A и Z.
Полученный отрезок продолжается через Z до точки C.
В результате образуется диаметр AC.
На втором рисунке соединяются точки A; и Z.
Полученный отрезок продолжается через Z до точки D.
В результате образуется диаметр A;D.
В обоих случаях противоположные радиусы принадлежат одной и той же прямой.
Это означает, что точка пересечения со вторым лучом не может быть получена посредством произвольного изменения направления продолжения.
Всё построение подчинено одному прямолинейному отношению.
Вместе с тем сохранение прямолинейности не следует смешивать с утверждением о пересечении.
Прямая может сохранять своё направление и при этом не пересекать определённый луч.
Поэтому доказательное значение имеет не только целостность прямолинейного объекта, но и его определённое положение относительно обеих сторон исходного угла.
Именно здесь приобретает особое значение второе авторское построение.
В отличие от первого, оно предусматривает возможность предварительного увеличения основания на первом луче.
Пусть изначально построен отрезок ZO.
На первом луче последовательно откладываются равные ему отрезки.
На первоначальном авторском рисунке представлены точки A;, A;, A; и A;, для которых выполняются равенства:
ZO = OA; = A;A; = A;A; = A;A;.
Точка A; соединяется с Z.
После этого из Z описывается окружность радиусом ZA;.
Таким образом, A; принадлежит окружности.
Отрезок A;Z продолжается через центр до противоположной точки D.
Получаем диаметр A;D.
Точки A;, Z и D лежат строго на одной прямой.
При успешном выполнении условия пересечения второй луч встречает этот диаметр в точке B, расположенной между Z и D.
Тогда получается порядок:
A; — Z — B — D.
Следовательно, аналогично первоначальному построению, исходная внутренняя точка Z находится между двумя искомыми точками пересечения.
При этом дополнительное увеличение основания не меняет ни вершину O, ни внутреннюю точку Z, ни второй луч исходного угла.
Изменяется только положение выбранной точки первого луча, определяющей направление нового диаметра.
В этом заключается конструктивный смысл расширенного авторского метода.
4.10. Существование пересечения как самостоятельный геометрический результат
Для математической точности необходимо установить, какое увеличение основания действительно достаточно для пересечения второго луча.
Четыре последовательных отрезка, представленные на авторском рисунке, образуют конкретный пример.
Однако произвольный угол величиной менее развёрнутого может быть сколь угодно близок к 180 градусам.
Поэтому одного и того же заранее фиксированного числа отрезков недостаточно для всех возможных случаев.
Общий конструктивный принцип следует выразить следующим образом:
На первом луче необходимо выбрать достаточно удалённую точку A;, причём необходимое число последовательно откладываемых отрезков зависит от величины угла и положения внутренней точки Z.
Покажем точное содержание этого условия в обычной евклидовой плоскости.
Поместим вершину O в начало прямоугольной системы координат, а первый луч направим вдоль положительной полуоси абсцисс.
Пусть величина исходного угла равна ;, где ; больше нуля и меньше 180 градусов.
Обозначим координаты внутренней точки Z через (u, v).
Поскольку Z находится внутри угла, v положительно.
Для второго луча выполняется уравнение:
x = y · ctg ;, при y ; 0.
Из внутреннего положения точки Z следует положительность величины
d = u ; v · ctg ;.
Геометрически d характеризует горизонтальное смещение точки Z относительно пересечения второго луча с горизонталью, проведённой через Z.
Выберем на первом луче точку A; с координатами (a, 0), где a положительно.
Соединим её с Z.
Построим окружность с центром Z и радиусом ZA;.
Продолжим радиус A;Z через центр до противоположной точки D.
Поскольку Z является серединой диаметра A;D, координаты D имеют вид:
D = (2u ; a, 2v).
Любая точка прямой A;D может быть представлена следующим образом:
P(t) = (a + t(u ; a), tv).
При этом:
при t = 0 получаем A;;
при t = 1 получаем Z;
при t = 2 получаем D.
Следовательно, точки отрезка ZD соответствуют значениям t между 1 и 2.
Теперь установим, когда эта прямая пересекает второй луч.
Для принадлежности точки P(t) второму лучу необходимо выполнение равенства:
a + t(u ; a) = tv · ctg ;.
После преобразования получаем:
t = a / (a ; d).
Таким образом, положение точки пересечения зависит от величины a, определяющей удаление выбранной точки первого луча.
Если выполняется неравенство
a > 2d,
то значение параметра удовлетворяет условиям:
1 < t < 2.
Следовательно, точка пересечения B существует и находится строго между Z и D.
При этом её ордината положительна, а потому B принадлежит именно второму лучу угла.
Тем самым получено точное достаточное условие, при котором построенный диаметр пересекает второй луч в пределах отрезка ZD.
Теперь вернёмся к последовательному откладыванию равных отрезков.
Пусть длина первоначального отрезка ZO равна r.
Тогда после откладывания n равных отрезков положение конечной точки A; определяется равенством:
OA; = nr.
Для выполнения установленного условия достаточно выбрать натуральное число n таким образом, чтобы
nr > 2d.
В обычной евклидовой плоскости такое конечное натуральное число существует, поскольку можно последовательно увеличивать n, пока соответствующая длина не превысит заданную положительную величину.
Следовательно, при выборе достаточно удалённой точки A; построенная прямая A;ZD пересекает второй луч исходного угла в точке B, расположенной между Z и D.
Таким образом, возможность увеличения основания получает точное количественное выражение.
При этом сохраняются все принципиальные элементы первоначального авторского построения: неподвижная внутренняя точка Z, последовательное откладывание равных отрезков на первом луче, окружность радиусом ZA; и проведение диаметра через центр.
Следует особо подчеркнуть, что приведённый координатный расчёт является проверкой построения в евклидовой плоскости. Его использование не заменяет самостоятельного исследования аксиоматических оснований соответствующего геометрического свойства.
4.11. Итоговое доказательство основной теоремы
Объединим полученные результаты.
Пусть дан произвольный острый угол с вершиной O и произвольная внутренняя точка Z.
Соединим O и Z.
Из центра Z опишем окружность радиусом ZO.
На первом луче угла определим отличную от O точку A, принадлежащую окружности.
Соединим A и Z.
Продолжим радиус AZ через центр Z до противоположной точки C окружности.
Таким образом, получим диаметр AC.
Построенная прямая проходит через Z.
Она пересекает первый луч угла в точке A.
В евклидовой плоскости угол AOC является прямым, поскольку опирается на диаметр окружности.
Первоначальный угол острый, поэтому его второй луч расположен внутри прямого угла AOC.
Следовательно, он пересекает диаметр AC в точке B.
При этом точки A и B различны и не совпадают с вершиной O.
Исходная внутренняя точка Z находится между ними.
Таким образом, построена прямая AB, удовлетворяющая всем условиям основной теоремы.
Следовательно, в евклидовой плоскости через любую точку, находящуюся строго внутри произвольного острого угла, можно провести прямую, пересекающую оба его образующих луча.
Это завершает проверку первоначальной авторской конструкции.
Одновременно установлена возможность расширенного построения.
Для угла величиной менее развёрнутого на первом луче можно последовательно откладывать отрезки, равные ZO, до получения достаточно удалённой точки A;.
После построения окружности с центром Z и радиусом ZA; проводится диаметр A;D.
При выполнении установленного условия достаточного удаления этот диаметр пересекает второй луч в точке B, расположенной между Z и D.
Таким образом, в евклидовой плоскости расширенный метод позволяет получить прямую, пересекающую оба луча произвольного невырожденного угла величиной менее развёрнутого.
О доказательном статусе полученного результата
Проведённое исследование позволяет строго установить работоспособность обоих авторских построений в обычной евклидовой плоскости.
Однако для главной исследовательской задачи настоящей брошюры необходимо различать два результата.
Первый состоит в доказательстве того, что описанная конструкция действительно приводит к искомому пересечению в евклидовой геометрии.
Второй — значительно более сильный — заключался бы в выведении самого пятого постулата Евклида исключительно из других первоначальных положений, не используя прямо или косвенно утверждений, ему равносильных.
В традиционной системе «Начал» теорема о прямом угле, опирающемся на диаметр окружности, доказывается через предложение I.32, которое использует результаты теории параллельных.
Аналогичным образом стандартное координатное доказательство опирается на свойства евклидовой плоскости.
Поэтому приведённые в настоящей главе обоснования пока не устанавливают независимости рассматриваемого результата от пятого постулата.
Для получения именно такого вывода потребовалось бы самостоятельное доказательство решающего свойства пересечения без обращения к указанным положениям.
Таким образом, авторская геометрическая конструкция получает точное математическое описание, а центральный вопрос об её аксиоматических основаниях приобретает определённую форму.
Главным итогом главы является установление точных условий, при которых построенный через внутреннюю точку диаметр пересекает оба луча угла, и выявление того доказательного перехода, от которого зависит отношение авторского метода к пятому постулату Евклида.
*********
ГЛАВА 5. ТЕОРЕМА О ПЕРЕСЕЧЕНИИ УГЛА С ТОЧКОЙ И ПЯТЫЙ ПОСТУЛАТ ЕВКЛИДА
5.1. Утверждение Лежандра в системе эквивалентов пятого постулата
В предыдущих главах была рассмотрена история возникновения задачи о пересечении прямой с лучами угла, уточнены первоначальные геометрические понятия и подробно изложена авторская конструкция искомой прямой.
Теперь необходимо определить место рассматриваемой теоремы в общей проблеме пятого постулата Евклида.
Пятый постулат устанавливает, что две прямые, пересечённые третьей и образующие на одной стороне внутренние углы с суммой меньше двух прямых, при достаточно далёком продолжении встретятся на этой стороне.
Таким образом, центральным содержанием постулата является необходимое существование пересечения определённым образом расположенных прямых.
Это обстоятельство позволяет понять историческое значение положения, связываемого с именем Адриена-Мари Лежандра.
В современной формулировке оно утверждает:
Через любую точку, находящуюся строго внутри произвольного острого угла, можно провести прямую, пересекающую оба образующих его луча.
На первый взгляд содержание этого утверждения существенно отличается от первоначальной формулировки пятого постулата.
В постулате Евклида рассматриваются две прямые и условия, при которых они должны встретиться после продолжения.
В утверждении Лежандра исходными объектами являются угол, его внутренняя точка и прямая, существование которой требуется установить.
Однако оба положения связаны общим геометрическим вопросом: при каких исходных условиях существование точки пересечения является необходимым?
В современной аксиоматической геометрии утверждение Лежандра рассматривается как одно из положений, эквивалентных пятому постулату Евклида, при принятии соответствующей системы остальных геометрических аксиом.
Наряду с ним в систему известных эквивалентов входят утверждение о единственности параллельной прямой, положение о сумме внутренних углов треугольника, некоторые утверждения о подобии фигур и другие геометрические принципы.
Здесь необходимо учитывать историческое уточнение.
В конкретном рассуждении Лежандра, обсуждавшемся в переписке Герлинга и Гаусса, фигурировал угол меньше двух третей прямого угла, то есть меньше 60 градусов.
Более общая формулировка для произвольного острого угла представляет собой расширенную постановку того же вопроса.
В настоящей работе рассматривается именно эта общая задача.
При этом необходимо различать историческую равносильность геометрических положений и возможность получения нового конструктивного доказательства.
Равносильность означает, что в пределах определённой аксиоматической системы соответствующие утверждения позволяют вывести друг друга.
Но она сама по себе не исключает исследования новых способов построения геометрических объектов, участвующих в этих утверждениях.
Напротив, конструктивное исследование позволяет установить, какие первоначальные операции необходимы для получения соответствующих объектов и в каком месте возникает главный доказательный вопрос.
В этом состоит основная исследовательская задача настоящей брошюры.
5.2. Сопоставление геометрических положений Лоренца и Лежандра
Особое значение для понимания рассматриваемой проблемы имеет сопоставление двух исторических утверждений, связанных с именами Иоганна Фридриха Лоренца и Адриена-Мари Лежандра.
Оба положения относятся к пересечению прямой со сторонами угла.
Однако их математическое содержание различно.
Положение Лоренца можно выразить следующим образом:
Всякая прямая, проходящая через внутреннюю точку угла величиной менее развёрнутого, пересекает по крайней мере один из образующих его лучей.
Здесь исходным объектом является произвольная прямая, проходящая через заданную внутреннюю точку.
Утверждается, что она не может избежать пересечения с обоими лучами одновременно.
Следовательно, положение Лоренца устанавливает ограничение на возможное взаимное расположение прямой и сторон угла.
Предположение Лежандра имеет иную форму:
Через произвольную внутреннюю точку острого угла существует по крайней мере одна прямая, пересекающая оба его луча.
В данном случае требуется установить не свойство всякой прямой, а существование хотя бы одной прямой, удовлетворяющей более сильному условию пересечения.
Таким образом, необходимо различать два типа утверждений.
У Лоренца говорится о любой прямой и о пересечении хотя бы одной стороны угла.
У Лежандра — о существовании некоторой прямой, пересекающей обе стороны.
Следовательно, формулировки различаются не только геометрическими условиями, но и логической структурой.
Из утверждения о пересечении по крайней мере одной стороны произвольной прямой непосредственно не следует существование прямой, пересекающей обе стороны.
А из существования одной подходящей прямой нельзя непосредственно заключить, что всякая другая прямая через ту же точку обязательно пересечёт хотя бы одну сторону.
Для установления связи между такими положениями необходимы самостоятельные геометрические рассуждения.
Важным является и историческое различие между ними.
Как было показано в первой главе, положение, связанное с именем Лоренца, появилось в исследованиях оснований геометрии раньше соответствующего предположения Лежандра.
Уже в XVIII веке оно использовалось как дополнительное первоначальное геометрическое положение.
Лежандр же обратился к задаче пересечения обеих сторон угла в ходе своих исследований суммы внутренних углов треугольника и пятого постулата Евклида.
В настоящем исследовании оба утверждения представляют интерес, поскольку позволяют рассматривать одну и ту же проблему существования пересечений с различных сторон.
Первоначальная авторская конструкция направлена непосредственно на доказательство положения Лежандра.
Расширенный вариант построения позволяет дополнительно исследовать геометрическое расположение прямой относительно лучей угла величиной менее развёрнутого.
Вместе с тем расширенную конструкцию нельзя автоматически отождествлять с доказательством исторического положения Лоренца: построение одной определённой прямой и утверждение о каждой произвольной прямой имеют различное содержание.
Это разграничение необходимо сохранить при последующем анализе.
5.3. Пересечение прямых и пересечение лучей
Одним из наиболее существенных условий рассматриваемой задачи является точное различение пересечения полных прямых и пересечения лучей.
Два луча, образующие угол, принадлежат определённым прямым.
Однако каждый луч составляет лишь часть соответствующей прямой и имеет установленное направление от общей вершины.
Поэтому пересечение некоторой прямой с полной прямой, содержащей сторону угла, ещё не означает пересечения с самой стороной.
Точка пересечения может находиться по противоположную сторону от вершины.
В таком случае требуемое условие не выполняется.
Именно поэтому в теореме Лежандра необходимо устанавливать не только существование двух общих точек соответствующих прямых, но и принадлежность этих точек определённым лучам.
Пусть дан угол с вершиной O и внутренней точкой Z.
Искомая прямая должна пересекать первый луч в некоторой точке A, а второй — в точке B.
Причём A и B должны отличаться от O.
В таком случае прямая AB действительно пересекает оба образующих угол луча.
При этом важно установить расположение исходной точки Z относительно A и B.
Поскольку Z находится строго внутри угла, а A и B принадлежат его различным образующим лучам, в рассматриваемой евклидовой конструкции Z располагается между ними.
Именно такое расположение показано на первом авторском рисунке.
В первоначальном построении точки A, Z, B и C принадлежат одной прямой.
При этом A и C являются противоположными концами диаметра окружности, а B представляет собой точку пересечения построенной прямой со вторым лучом исходного угла.
На чертеже установлен следующий порядок:
A — Z — B — C.
Во втором построении соответствующее расположение выражается последовательностью:
A; — Z — B — D.
Здесь A; и D являются противоположными концами диаметра другой вспомогательной окружности.
Принципиально важно, что точки A;, Z и D принадлежат одной прямой по самому способу построения.
Точка B, напротив, не выбирается заранее.
Она должна возникнуть как результат пересечения уже построенной прямой со вторым лучом.
Таким образом, существует существенное различие между геометрическим объектом, который непосредственно строится, и геометрическим отношением, которое необходимо доказать.
Авторская конструкция определяет положение прямой.
Теорема устанавливает существование её пересечений с обоими лучами.
При этом требование расположения B между Z и противоположным концом диаметра представляет собой более сильное условие, чем простое существование пересечения с лучом.
В расширенном построении именно это дополнительное условие позволяет установить определённое конечное расположение всех основных точек.
Таким образом, задача о пересечении прямой с лучами угла имеет самостоятельное содержание, которое не может быть сведено к общему вопросу о пересечении содержащих их полных прямых.
5.4. Условия существования пересечения в первоначальной геометрии
Для исследования геометрических оснований пересечения необходимо вновь обратиться к первоначальным операциям, предусмотренным первыми тремя постулатами Евклида.
Первый постулат допускает соединение двух определённых точек прямолинейным отрезком.
Второй — продолжение конечного прямолинейного отрезка по прямой.
Третий — описание окружности из заданного центра заданным радиусом.
Эти операции составляют непосредственную конструктивную основу авторского метода.
Однако для установления определённого пересечения необходимо учитывать не только возможность выполнения отдельных операций, но и взаимное расположение получаемых объектов.
В первом авторском построении исходными точками являются вершина острого угла O и его произвольная внутренняя точка Z.
Соединение этих точек определяет отрезок ZO.
Окружность описывается из центра Z радиусом ZO.
Следовательно, O принадлежит окружности.
На первом луче определяется отличная от O точка A, также принадлежащая окружности.
Соединив A с Z и продолжив радиус через центр до противоположной точки C, получаем диаметр AC.
При этом прохождение построенной прямой через Z обеспечивается непосредственно конструкцией.
Принадлежность A первому лучу также установлена.
Решающим остаётся вопрос о пересечении второго луча в точке B.
Таким образом, первые этапы построения задают геометрические объекты, положение которых является определённым.
Затем исследуется взаимное расположение полученного диаметра и второго луча.
Во втором авторском построении используется дополнительная операция последовательного увеличения основания.
На первом луче от вершины O откладываются равные отрезки.
На первоначальном чертеже выполняются соотношения:
ZO = OA; = A;A; = A;A; = A;A;.
Следовательно, точка A; принадлежит первому лучу и имеет вполне определённое расстояние от вершины O.
После соединения A; с Z описывается окружность с центром Z и радиусом ZA;.
Поэтому A; обязательно принадлежит окружности.
Продолжение A;Z через Z до точки D даёт диаметр A;D.
Тем самым геометрическое положение искомой прямой определяется точками A; и Z.
В отличие от первого построения, здесь можно последовательно изменять удаление выбранной точки первого луча от вершины O.
При этом точка Z остаётся неподвижной.
Это позволяет исследовать семейство прямых, каждая из которых проходит через одну и ту же внутреннюю точку, но имеет направление, определяемое новым положением выбранной точки первого луча.
Главная конструктивная идея заключается в том, что при достаточно большом увеличении основания может быть достигнуто такое положение диаметра, при котором его продолжение через Z пересекает второй луч.
В четвёртой главе данное обстоятельство было исследовано в обычной евклидовой плоскости.
Там установлено, что четырёх равных отрезков, изображённых на первоначальном чертеже, не обязательно достаточно для каждого возможного угла.
В общем случае необходимо выбирать соответствующее конечное число отрезков в зависимости от исходного положения геометрических объектов.
Таким образом, авторский метод позволяет выделить определённые условия построения искомой прямой.
Вместе с тем математически необходимо различать допустимость операций, существование отдельных точек построения и доказательство пересечения со вторым лучом.
Именно последнее обстоятельство имеет решающее значение для связи рассматриваемой конструкции с пятым постулатом Евклида.
5.5. Конструктивное доказательство и проблема логической независимости
Вопрос о доказательстве пятого постулата Евклида имеет особый логический характер.
В обычной евклидовой геометрии множество утверждений, связанных с параллельностью, суммой углов треугольника и пересечением определённым образом расположенных прямых, являются взаимосвязанными.
Однако возможность вывести некоторое утверждение в уже принятой евклидовой системе ещё не означает возможность получить его без использования пятого постулата.
Это различие необходимо учитывать и при исследовании авторской конструкции.
В четвёртой главе было показано, что построение окружности с центром Z и соответствующего диаметра позволяет получить прямую, пересекающую оба луча произвольного острого угла в обычной евклидовой плоскости.
При этом для обоснования пересечения использовалось свойство угла, опирающегося на диаметр окружности.
В третьей книге «Начал» Евклида оно составляет содержание предложения III.31.
Однако в традиционной последовательности евклидовых доказательств это предложение опирается на предложение I.32 о соотношении углов треугольника.
Последнее, в свою очередь, использует предложение I.29, при доказательстве которого привлекается пятый постулат.
Следовательно, применение указанного свойства окружности устанавливает правильность построения в евклидовой геометрии, но не образует само по себе независимого доказательства пятого постулата.
Аналогичное разграничение необходимо провести и в отношении второго построения.
Его геометрическая идея заключается в последовательном удалении точки первого луча от вершины угла при сохранении неподвижной внутренней точки Z.
В евклидовой плоскости можно установить условие достаточного удаления, обеспечивающее пересечение второго луча.
Однако при переходе к вопросу о логической независимости необходимо определить, какие именно геометрические свойства используются при таком обосновании.
Само неограниченное продолжение отрезка по прямой ещё не устанавливает, что полученная прямая обязательно встретит другой заданный луч.
Это и составляет центральную трудность рассматриваемой проблемы.
Современная аксиоматическая геометрия показывает, что пятый постулат не выводится из остальных обычных аксиом абсолютной геометрии.
В частности, гиперболическая геометрия позволяет рассматривать геометрическую систему, в которой сохраняются соответствующие первоначальные отношения точек, прямых и углов, но не выполняется евклидов постулат о параллельных.
Поэтому для признания некоторого построения независимым доказательством пятого постулата недостаточно установить, что оно правильно в привычной евклидовой плоскости.
Необходимо доказать решающее свойство пересечения исключительно на основании тех исходных положений, которые не предполагают пятого постулата и не являются ему равносильными.
Если в исследовании используется иная система первоначальных определений или дополнительных геометрических положений, содержание этих оснований также должно быть сформулировано явно.
В этом заключается необходимое методологическое требование.
Применительно к настоящей работе решающий вопрос может быть выражен следующим образом:
Можно ли обосновать неизбежность пересечения построенного через Z диаметра со вторым лучом угла, не предполагая заранее какого-либо геометрического положения, равносильного пятому постулату Евклида?
Именно на этом вопросе сосредоточивается дальнейшее аксиоматическое исследование авторского метода.
При этом сама конструкция не утрачивает своего значения.
Напротив, она позволяет точно выделить геометрический объект и доказательное отношение, содержание которого необходимо исследовать.
Таким образом, конструктивная задача получает определённую форму, а проблема логической независимости сводится к анализу конкретного геометрического перехода.
5.6. Значение авторской теоремы для исследования параллельности
Предлагаемая теорема имеет особое значение для моих исследований проблемы параллельных прямых.
Прежде всего, она позволяет рассматривать вопрос о существовании пересечения в его первоначальном геометрическом содержании.
Вместо того чтобы непосредственно исследовать две произвольные продолженные прямые, рассматривается определённая система, состоящая из угла, внутренней точки, вспомогательной окружности и построенного диаметра.
Такой подход имеет несколько существенных особенностей.
Во-первых, исходная задача формулируется через вполне определённые геометрические объекты.
Во-вторых, искомая прямая задаётся посредством последовательности допустимых построений.
В-третьих, внутренняя точка Z сохраняет своё положение на протяжении всего исследования.
В-четвёртых, точка пересечения со вторым лучом не предполагается заранее.
Она должна быть получена как результат взаимного расположения построенных объектов.
Наконец, в расширенном варианте появляется возможность регулировать направление построенной прямой посредством последовательного увеличения основания.
На мой взгляд, именно это последнее обстоятельство представляет особый конструктивный интерес.
Увеличение расстояния от вершины O до выбранной точки первого луча не является произвольным изменением всей геометрической системы.
Исходный угол и внутренняя точка сохраняются.
Изменяется только положение одной вспомогательной точки, а следовательно, и направление проводимого через неё и Z диаметра.
Таким образом, задача о существовании пересечения приобретает характер исследования определённой последовательности геометрических построений.
Такой подход позволяет поставить вопрос о достаточном удалении выбранной точки первого луча.
Причём речь идёт не о необходимости заранее знать координаты точки пересечения, а о возможности установить геометрическое условие её существования.
В этом заключается важная особенность авторского метода.
Проблема пересечения переводится из общей постановки о бесконечном продолжении прямых в задачу о свойствах конкретной геометрической конструкции.
При этом значение полученного результата необходимо оценивать с учётом его аксиоматических оснований.
В евклидовой плоскости предложенное построение даёт способ получения требуемой прямой.
Для вывода самого пятого постулата из других первоначальных положений требуется дополнительное независимое обоснование решающего перехода.
Следовательно, рассматриваемая теорема позволяет выделить точную геометрическую задачу, от решения которой зависит дальнейшее развитие авторского подхода к проблеме параллельности.
Именно в этом я вижу одно из главных достоинств предлагаемого исследования.
5.7. Сопоставление с другими авторскими методами исследования пятого постулата
В ходе многолетних исследований оснований геометрии мною были предложены различные подходы к проблеме пятого постулата Евклида.
Среди них особое место занимают построение квадрата, исследование сверхбольшого равностороннего треугольника, конструктивное построение эквидистантных прямых и рассматриваемая в настоящей работе теорема о пересечении угла с точкой.
Указанные направления объединяет стремление исследовать первоначальные геометрические отношения и установить возможности их конструктивного использования.
Однако каждый из подходов имеет собственный предмет и самостоятельную последовательность рассуждений.
Построение квадрата
В исследованиях, связанных с построением квадрата, центральное значение имеют свойства четырёхугольника, равенство определённых отрезков и образование прямых углов.
Такая постановка позволяет рассматривать проблему параллельности через геометрические свойства фигуры, построение которой имеет фундаментальное значение для евклидовой геометрии.
Вместе с тем данный подход требует исследования именно тех отношений, которые обеспечивают существование соответствующего четырёхугольника.
В отличие от него теорема о пересечении угла с точкой непосредственно обращена к существованию определённой прямой и двух точек её пересечения с образующими лучами.
Сверхбольшой равносторонний треугольник
В исследованиях сверхбольшого равностороннего треугольника внимание сосредоточивается на свойствах геометрической фигуры при существенном увеличении её размеров.
Этот подход связан с вопросами соотношения метрических характеристик фигуры и её первоначальных угловых отношений.
В рассматриваемой теореме увеличение также играет определённую роль, но имеет иное назначение.
Последовательное откладывание равных отрезков используется для изменения направления прямой, проходящей через фиксированную внутреннюю точку угла.
Таким образом, увеличение основания выступает как средство построения определённой секущей.
Эквидистантные прямые
Отдельное направление исследований связано с проблемой эквидистантности прямых.
Оно непосредственно соприкасается с историческими представлениями Посидония и других геометров, стремившихся определить параллельность через постоянство расстояния между прямыми.
Здесь основное внимание уделяется взаимному расположению двух прямолинейных объектов и метрическим отношениям между ними.
В теореме о пересечении угла с точкой исходная постановка иная.
Не требуется предварительно устанавливать эквидистантность каких-либо прямых.
Рассматривается конкретный угол, внутренняя точка и возможность построения прямой, пересекающей оба луча.
Самостоятельность теоремы о пересечении угла с точкой
Главное отличие настоящего исследования состоит в непосредственности его первоначальной постановки.
Здесь используются только угол, внутренняя точка, конечные прямолинейные отрезки и окружность.
Для построения искомой прямой не требуется предварительно вводить квадрат, сверхбольшой равносторонний треугольник или систему эквидистантных прямых.
Таким образом, рассматриваемый подход обладает собственной геометрической самостоятельностью.
При этом следует подчеркнуть, что наличие нескольких различных конструктивных методов ещё не означает их автоматической логической независимости от пятого постулата.
Каждый метод требует самостоятельного исследования своих исходных оснований и доказательных переходов.
Именно поэтому я считаю необходимым рассматривать перечисленные направления по отдельности.
Настоящая брошюра посвящена исключительно задаче пересечения прямой с лучами угла.
Такое разграничение позволяет сохранить целостность рассматриваемого доказательства и не смешивать его с другими геометрическими исследованиями.
5.8. Место теоремы в основаниях Гармонической геометрии
Теорема о пересечении угла с точкой занимает самостоятельное место в общей исследовательской программе Гармонической геометрии.
Одной из основных задач этой программы является последовательное рассмотрение первоначальных математических объектов, их определений, геометрических свойств и логических отношений.
При этом особое внимание уделяется различию между самим объектом, способом его построения и теми утверждениями, которые связываются с результатами построения.
В рассматриваемой теореме это различие проявляется особенно отчётливо.
Исходная точка Z принадлежит внутренней области угла.
Определённая точка первого луча используется для построения радиуса вспомогательной окружности.
Продолжение радиуса через центр определяет диаметр.
Однако необходимое пересечение диаметра со вторым лучом составляет отдельное геометрическое утверждение.
Таким образом, конструкция позволяет последовательно разграничить первоначальные данные, допустимые операции и доказываемые свойства.
В этом состоит её существенное методологическое значение.
Для Гармонической геометрии важным представляется также отношение между конечными геометрическими построениями и утверждениями, связанными с неограниченным продолжением прямолинейных объектов.
Первые три постулата Евклида допускают вполне определённые построения.
Вместе с тем многие фундаментальные геометрические утверждения относятся к результатам взаимного расположения объектов, которые могут обнаруживаться за пределами первоначальных конечных отрезков.
В частности, пятый постулат утверждает необходимое существование пересечения при соответствующих угловых условиях.
Предлагаемая конструкция позволяет исследовать этот вопрос посредством последовательно определяемых конечных объектов.
Особое значение приобретает возможность изменения положения вспомогательной точки на первом луче при сохранении неподвижного центра окружности.
Это позволяет рассматривать не просто отдельный чертёж, а целую последовательность взаимосвязанных геометрических построений.
Таким образом, перед нами возникает вопрос о закономерном изменении положения прямой при последовательном увеличении основания.
Именно этот вопрос связывает первоначальную конструкцию с более общими проблемами оснований геометрии.
В рамках Гармонической геометрии он рассматривается как самостоятельная исследовательская задача, требующая дальнейшего уточнения геометрических и логических оснований.
При этом необходимо сохранять различие между авторской концепцией, конкретными конструктивными результатами и их статусом в принятой аксиоматической системе.
Только такое разграничение позволяет последовательно оценивать значение предлагаемого метода.
В этом отношении теорема о пересечении угла с точкой представляет интерес не только как отдельное геометрическое утверждение, но и как пример исследования фундаментальной проблемы посредством первоначальных геометрических построений.
5.9. Основные результаты исследования
Проведённое исследование позволяет подвести основные итоги рассмотрения теоремы о пересечении угла с точкой и её отношения к пятому постулату Евклида.
Прежде всего установлено, что проблема существования прямой, пересекающей оба луча угла, имеет самостоятельную историческую и математическую постановку.
Она связана с многовековыми попытками исследования пятого постулата и получила определённое выражение в трудах Лоренца и Лежандра.
При этом показано принципиальное различие между их утверждениями.
Положение Лоренца относится к произвольной прямой через внутреннюю точку угла и требует пересечения хотя бы одного луча.
Утверждение Лежандра касается существования определённой прямой, пересекающей оба луча.
Далее уточнено различие между пересечением полных прямых и пересечением лучей.
Установлено, что для решения рассматриваемой задачи недостаточно получить две общие точки соответствующих полных прямых.
Необходимо доказать принадлежность найденных точек именно образующим лучам исходного угла.
Особое внимание уделено авторскому конструктивному методу.
В первом варианте построения используется окружность с центром Z и радиусом ZO.
На первом луче выбирается точка A, после чего проводится радиус ZA и его продолжение до противоположной точки C окружности.
Полученный диаметр AC проходит через исходную внутреннюю точку Z.
В обычной евклидовой геометрии доказано, что при исходном остром угле построенная прямая пересекает оба его луча.
В расширенном варианте конструкции предварительно увеличивается основание на первом луче.
В первоначальном авторском чертеже это осуществляется посредством четырёх последовательно отложенных отрезков, каждый из которых равен ZO.
После выбора конечной точки A; строится окружность с центром Z и радиусом ZA;.
Продолжение A;Z через центр до противоположной точки D определяет диаметр A;D.
Установлено, что в общем случае необходимо рассматривать возможность выбора достаточно большого конечного числа равных отрезков.
Для обычной евклидовой плоскости в предыдущей главе получено условие достаточного удаления конечной точки первого луча, обеспечивающее пересечение построенной прямой со вторым лучом в пределах соответствующего диаметра.
Тем самым оба варианта авторской конструкции получили последовательное геометрическое описание и математическую проверку в евклидовой плоскости.
Вместе с тем исследование показало необходимость разграничивать конструктивную правильность построения и его логическую независимость от пятого постулата.
В современной аксиоматической геометрии рассматриваемое утверждение Лежандра относится к числу эквивалентов пятого постулата.
Поэтому доказательство его независимого выведения требует особенно внимательного анализа первоначальных оснований и используемых геометрических свойств.
В частности, необходимо установить возможность доказательства решающего пересечения без предварительного использования теорем, логически зависящих от самого постулата о параллельных.
Именно этот вопрос составляет центральную аксиоматическую задачу дальнейшего исследования.
Таким образом, в настоящей работе получены два взаимосвязанных результата.
Первый результат состоит в точном конструктивном описании прямой, проходящей через произвольную внутреннюю точку угла, и установлении условий её пересечения с обоими лучами в евклидовой плоскости.
Второй результат заключается в выделении конкретного геометрического положения, независимое доказательство которого необходимо для разрешения вопроса о выводимости соответствующего утверждения из первоначальных постулатов.
На мой взгляд, такое разграничение имеет существенное значение для дальнейшего исследования оснований геометрии.
Оно позволяет сохранить содержательную самостоятельность первоначальной авторской конструкции и одновременно точно определить её место в общей проблеме пятого постулата Евклида.
Главный итог настоящей главы заключается в том, что проблема пересечения прямой с лучами угла получила определённую конструктивную постановку, а вопрос о её связи с пятым постулатом сведён к исследованию конкретного доказательного отношения между построенным диаметром и вторым лучом исходного угла.
Тем самым завершается основная часть настоящей работы и создаются основания для заключительных выводов о значении рассматриваемой теоремы для дальнейшего развития Гармонической геометрии.
******
ЗАКЛЮЧЕНИЕ
Геометрическое и методологическое значение теоремы о пересечении угла с точкой
Настоящее исследование посвящено одной из наиболее простых по своей первоначальной постановке и вместе с тем наиболее содержательных задач в истории оснований геометрии: существованию прямой, проходящей через произвольную внутреннюю точку угла и пересекающей оба его образующих луча.
На первый взгляд рассматриваемое утверждение представляется почти самоочевидным. Два луча, исходящие из общей вершины, образуют угол. Между ними располагается определённая точка. Требуется провести через неё прямую, пересекающую оба луча.
Однако именно в этой простоте обнаруживается фундаментальная математическая проблема.
Геометрическая очевидность некоторого отношения ещё не означает, что его существование установлено посредством последовательного доказательства. Возможность изобразить на чертеже требуемую прямую не тождественна доказательству того, что соответствующее построение осуществимо при любых допустимых исходных условиях.
Эта проблема имеет непосредственное отношение к пятому постулату Евклида и многовековым попыткам обосновать его содержание посредством других первоначальных геометрических положений.
Историческое значение рассматриваемой задачи
Историческое исследование показало, что вопрос о необходимом существовании пересечения прямых занимал важное место уже в античной геометрии.
Особенно существенное значение имеют комментарии Прокла, в которых проблема различия между геометрической очевидностью и строгим доказательством получила самостоятельное выражение.
Последующие исследования средневековых математиков, а также геометров XVII–XVIII веков способствовали формированию целой системы альтернативных подходов к теории параллельных.
В этой исторической последовательности особое место занимают положения Иоганна Фридриха Лоренца и Адриена-Мари Лежандра.
Положение Лоренца относится к пересечению произвольной прямой, проходящей через внутреннюю точку угла, по крайней мере с одной из его сторон.
Предположение Лежандра ставит иную задачу: требуется установить существование определённой прямой, пересекающей обе стороны острого угла.
Таким образом, в обоих случаях рассматривается проблема существования пересечения, но её геометрические и логические условия различаются.
Особенно важным историческим свидетельством является переписка Кристиана Людвига Герлинга и Карла Фридриха Гаусса 1816 года.
Она показывает, что рассматриваемое предположение Лежандра уже в начале XIX века воспринималось как самостоятельное геометрическое положение, доказательный статус которого требовал специального исследования.
Следовательно, задача о пересечении угла с точкой не является искусственно выделенным частным случаем общей проблемы параллельности.
Она имеет собственную историю и самостоятельное математическое содержание.
Именно это обстоятельство послужило одним из оснований для подготовки настоящей брошюры.
Геометрическое содержание авторского метода
В основу предлагаемого исследования положена конструкция, впервые представленная мной в разделе 1.3 работы «Теорема о параллельных прямых: к основаниям Гармонической геометрии», опубликованной 12 марта 2025 года.
Главная особенность этого метода заключается в непосредственном использовании первоначальных геометрических объектов: точки, прямолинейного отрезка, луча, угла и окружности.
При этом исходными операциями выступают соединение двух точек прямолинейным отрезком, продолжение отрезка по прямой и описание окружности из заданного центра заданным радиусом.
В первом построении рассматривается произвольный острый угол с вершиной O и внутренней точкой Z.
Соединив O и Z, получаем исходный отрезок ZO.
Из точки Z описывается окружность радиусом ZO.
На первом луче угла определяется точка A, принадлежащая данной окружности и отличная от O.
После соединения A с Z соответствующий радиус продолжается через центр до противоположной точки C окружности.
Таким образом, получается диаметр AC.
Построенная прямая проходит через исходную внутреннюю точку Z и пересекает первый луч угла в точке A.
Решающая часть исследования связана с установлением её пересечения со вторым лучом в точке B.
На первоначальном авторском чертеже точки имеют следующий порядок:
A — Z — B — C.
Следовательно, искомая прямая определяется посредством построения диаметра окружности, центр которой совпадает с исходной внутренней точкой угла.
Особое значение имеет то обстоятельство, что направление этой прямой не выбирается произвольно.
Оно задаётся определённым радиусом построенной окружности и его прямолинейным продолжением через центр.
Именно в этом состоит первоначальная конструктивная идея доказательства.
Увеличение основания как самостоятельный конструктивный принцип
Второе авторское построение предназначено для исследования пересечения применительно к углам большей величины, в частности тупым углам.
Его основная особенность заключается в предварительном увеличении основания на одном из лучей.
Пусть O является вершиной исходного угла, а Z — произвольной внутренней точкой.
Соединив O и Z, получаем определённую первоначальную длину.
Затем на первом луче последовательно откладываются равные ей отрезки.
На первоначальном авторском чертеже представлены четыре таких отрезка:
ZO = OA; = A;A; = A;A; = A;A;.
После этого конечная точка A; соединяется с Z.
Из точки Z описывается окружность радиусом ZA;.
Следовательно, точка A; принадлежит окружности по самому способу её построения.
Продолжение радиуса A;Z через центр окружности до противоположной точки D определяет диаметр A;D.
Таким образом, точки A;, Z и D принадлежат одной прямой.
Искомое пересечение со вторым лучом обозначается точкой B.
В изображённом случае точки имеют следующий порядок:
A; — Z — B — D.
Принципиальное значение этой конструкции заключается в возможности изменять положение построенной прямой посредством последовательного удаления выбранной точки первого луча от вершины угла.
При этом исходная внутренняя точка Z остаётся неподвижной.
Не изменяются также вершина O и образующие лучи рассматриваемого угла.
Изменение направления искомой прямой достигается только за счёт увеличения построенного основания.
В ходе настоящего исследования было установлено, что четыре равных отрезка представляют конкретный пример такого построения.
Для произвольного допустимого угла необходимо рассматривать возможность выбора достаточно большого конечного числа отрезков.
В обычной евклидовой плоскости соответствующее условие достаточного удаления было получено и проверено в четвёртой главе.
Тем самым конструктивная идея увеличения основания получила более точное геометрическое выражение.
Значение различия между построением и доказательством пересечения
Одним из основных методологических результатов настоящего исследования является последовательное разграничение двух геометрических вопросов.
Первый вопрос заключается в возможности построить определённую прямую через заданную внутреннюю точку угла.
Второй — в необходимости существования пересечения этой прямой со вторым лучом.
Данные положения непосредственно связаны, но не являются тождественными.
Соединение двух точек определяет прямолинейный отрезок.
Его продолжение сохраняет принадлежность одной и той же прямой.
Построение окружности позволяет определить радиус и его диаметральное продолжение.
Однако возможность выполнить указанные операции ещё не является самостоятельным доказательством любого предполагаемого пересечения.
Именно поэтому в настоящей работе особое внимание уделено не только первоначальной конструкции, но и взаимному расположению полученных объектов.
Точка пересечения B не выбирается заранее.
Её существование составляет результат, который должен быть установлен посредством геометрического доказательства.
Такое разграничение имеет принципиальное значение для исследования пятого постулата Евклида.
Оно позволяет избежать смешения геометрического изображения с утверждением о необходимом существовании определённого объекта.
В этом отношении предлагаемая конструкция представляет интерес как пример последовательного перехода от первоначальных построений к исследованию их доказательных следствий.
Теорема и проблема пятого постулата Евклида
Связь рассматриваемой теоремы с пятым постулатом Евклида определяется самим содержанием утверждения Лежандра.
В современной аксиоматической геометрии существование прямой, проходящей через произвольную внутреннюю точку острого угла и пересекающей оба его луча, относится к числу положений, равносильных постулату о параллельных при соответствующих остальных аксиомах.
Поэтому конструктивное исследование этого утверждения приобретает особое значение для оснований геометрии.
В настоящей работе авторская конструкция получила подробное изложение и математическую проверку в обычной евклидовой плоскости.
Были установлены геометрические условия построения искомой прямой, принадлежность соответствующих точек первоначальным лучам и возможность обеспечения пересечения посредством увеличения основания.
Вместе с тем необходимо различать правильность конструкции в евклидовой геометрии и логически независимое доказательство пятого постулата.
Для второго результата необходимо установить, что решающее свойство пересечения выводится без использования самого пятого постулата или равносильных ему предположений.
В стандартной аксиоматике абсолютной геометрии такое выведение невозможно без дополнительных оснований, что подтверждается существованием неевклидовых геометрических моделей.
Поэтому вопрос о возможности иного обоснования авторской конструкции должен рассматриваться вместе с точным определением используемой системы исходных положений.
Это обстоятельство не устраняет самостоятельного значения проведённого конструктивного исследования.
Напротив, оно позволяет точно определить центральный геометрический переход и его логическую роль.
Место исследования в Гармонической геометрии
Теорема о пересечении угла с точкой занимает особое место среди предложенных мной направлений исследования пятого постулата Евклида.
В других работах рассматривались построение квадрата, свойства сверхбольшого равностороннего треугольника и проблема эквидистантности прямых.
Каждый из этих подходов имеет собственное геометрическое содержание.
Однако настоящая конструкция отличается исключительной непосредственностью первоначальных объектов и операций.
Для постановки задачи достаточно двух лучей, общей вершины, произвольной внутренней точки и вспомогательной окружности.
При этом получаемый геометрический результат связан с фундаментальным вопросом о существовании пересечения.
В таком соединении первоначальной простоты и значительности поставленной проблемы я вижу одно из главных достоинств рассматриваемого метода.
Особое значение для Гармонической геометрии имеет стремление последовательно выявлять действительное содержание первоначальных геометрических понятий.
Прямая, луч, отрезок, угол и окружность рассматриваются здесь не только как условные элементы математического языка, но и как взаимосвязанные геометрические объекты, свойства которых определяют допустимость построений и содержание доказательств.
При этом сама конструкция выступает средством исследования соответствующих отношений.
Она позволяет не просто поставить вопрос о существовании пересечения, но и определить конкретный геометрический способ его получения в принятой евклидовой системе.
В этом заключается её методологическое значение для дальнейшего развития авторской исследовательской программы.
Основной итог
Подводя итог настоящей работе, считаю необходимым выделить главное.
Проблема пересечения прямой с лучами угла имеет глубокие исторические корни и непосредственное отношение к основаниям евклидовой геометрии.
Предположение Лежандра позволяет выразить эту проблему в особенно простой геометрической форме.
Предлагаемый мной метод основывается на построении определённой окружности и её диаметра, проходящего через произвольную внутреннюю точку угла.
Для острых углов используется окружность с центром Z и радиусом ZO.
Для углов большей величины рассматривается последовательное увеличение основания и построение окружности радиусом, определяемым расстоянием от Z до выбранной удалённой точки первого луча.
В обоих случаях искомая прямая возникает как результат определённых геометрических операций.
В настоящем исследовании установлены условия работоспособности этих конструкций в евклидовой плоскости и уточнены основные доказательные переходы.
Главный из них заключается в необходимости обосновать пересечение построенной прямой со вторым лучом исходного угла.
Именно это отношение определяет как геометрическую сущность теоремы, так и её связь с проблемой пятого постулата Евклида.
Для меня возвращение к этой задаче представляет собой продолжение многолетнего исследования первоначальных оснований геометрии.
Я убеждён, что даже хорошо известные геометрические положения заслуживают нового рассмотрения, если такое исследование позволяет точнее раскрыть их конструктивное содержание и логические предпосылки.
Основное значение теоремы о пересечении угла с точкой я вижу в том, что она позволяет сосредоточить фундаментальную проблему существования пересечения в одной наглядной и точно определённой геометрической конструкции.
Именно поэтому считаю необходимым её самостоятельное изложение, дальнейшее математическое исследование и обсуждение в контексте оснований Гармонической геометрии.
В. К. Петросян
2026 год
*******
ПРИЛОЖЕНИЕ 1. НЕЗАВИСИМЫЙ КРИТИЧЕСКИЙ МАТЕМАТИЧЕСКИЙ КОММЕНТАРИЙ
1.1. Предмет независимой экспертизы
Настоящий комментарий посвящён проверке авторского конструктивного доказательства теоремы о пересечении угла с точкой.
Экспертиза ограничивается геометрическим содержанием двух первоначальных построений: последовательностью операций, расположением полученных точек и обоснованием пересечения построенной прямой со вторым лучом угла.
При этом необходимо различать три вопроса: правильно ли выполнена конструкция; действительно ли она даёт требуемое пересечение; какие геометрические положения используются для доказательства этого пересечения.
Общие рассуждения, не связанные непосредственно с рассматриваемыми построениями, в настоящем комментарии не используются.
1.2. Проверка исходных определений и построений
В первом авторском построении даны острый угол с вершиной O и произвольная внутренняя точка Z.
Окружность строится с центром Z и радиусом ZO. Поэтому O принадлежит окружности.
На первом луче определяется отличная от O точка A, также принадлежащая окружности.
Соединение A с Z и продолжение полученного радиуса через центр до противоположной точки C определяет диаметр AC.
Следовательно, точки A, Z и C лежат на одной прямой.
Эта конструкция геометрически корректна в евклидовой плоскости.
Во втором построении на первом луче последовательно откладываются равные отрезки:
ZO = OA; = A;A; = A;A; = A;A;.
Затем строится окружность с центром Z и радиусом ZA;.
Поэтому A; принадлежит окружности. Продолжение A;Z через центр до противоположной точки D определяет диаметр A;D.
Точки A;, Z и D также лежат на одной прямой.
Указанные построения не содержат геометрических противоречий.
1.3. Анализ существования точек пересечения
Пересечение построенной прямой с первым лучом обеспечивается непосредственно выполненной конструкцией.
В первом случае это точка A; во втором — точка A;.
Основной вопрос относится к пересечению со вторым лучом в точке B.
Для первого рисунка существование такого пересечения в евклидовой плоскости подтверждается геометрическими свойствами построенного диаметра.
Для второго рисунка необходимо уточнить утверждение о достаточности четырёх последовательно отложенных отрезков.
Рассмотрим конкретное построение на обычной евклидовой плоскости.
Пусть O имеет координаты (0; 0), а Z — координаты (0; 1).
Первый луч направлен вдоль положительной горизонтальной полуоси.
Второй луч направлен из O через точку Q с координатами (;5; 1).
Таким образом, исходный угол является тупым, а точка Z располагается строго внутри него.
Поскольку ZO = 1, после откладывания четырёх равных отрезков получим A; = (4; 0).
Построим окружность с центром Z и радиусом ZA; = ;17.
Противоположная точка диаметра имеет координаты D = (;4; 2).
Следовательно, точки A;, Z и D действительно лежат на прямой:
x + 4y = 4.
Точки второго луча имеют координаты:
x = ;5t; y = t, где t ; 0.
При подстановке этих выражений в уравнение построенной прямой получаем:
;5t + 4t = 4, откуда t = ;4.
Но отрицательное значение параметра относится к противоположному продолжению второго луча.
Следовательно, в данном конкретном случае прямая A;ZD не пересекает второй луч угла.
При этом все исходные равенства отрезков выполнены, точка A; находится на построенной окружности, а A;, Z и D лежат на одной прямой.
Этот пример показывает лишь то, что четыре равных отрезка нельзя считать универсально достаточными для произвольного тупого угла.
Он не опровергает авторскую идею последовательного увеличения основания.
Действительно, в том же примере после откладывания одиннадцати единичных отрезков получим A;; = (11; 0).
Построенный через A;; и Z диаметр пересекает второй луч при t = 11/6. Соответствующая точка B находится между Z и противоположным концом диаметра.
Следовательно, увеличение основания действительно позволяет получить требуемое пересечение в данном примере.
Для общей формулировки необходимо не фиксировать число четыре, а обосновать существование достаточного конечного числа последовательно откладываемых отрезков.
1.4. Проверка используемых геометрических положений
В первоначальном авторском рассуждении важную роль играет возможность продолжить радиус окружности через её центр до противоположной точки.
Эта возможность не вызывает возражений.
Однако необходимо различать два утверждения.
Первое: противоположный радиус может быть построен.
Второе: этот радиус при своём продолжении обязательно пересечёт второй луч исходного угла.
Первое утверждение относится непосредственно к построению диаметра.
Второе описывает взаимное расположение диаметра и заданного луча и требует собственного геометрического основания.
Приведённый выше пример с четырьмя равными отрезками показывает, что возможность построить противоположный радиус сама по себе ещё не гарантирует пересечения с произвольным вторым лучом.
В первом авторском построении имеются дополнительные специальные условия: угол острый, а радиус окружности равен ZO.
Эти условия принципиально важны, и их нельзя игнорировать при проверке доказательства.
В евклидовой геометрии можно установить, что угол AOC, опирающийся на диаметр AC, является прямым. Тогда второй луч исходного острого угла располагается внутри угла AOC и пересекает диаметр.
Но стандартное доказательство свойства вписанного угла связано с теоремой о сумме углов треугольника.
В данном случае это обстоятельство относится к одному из возможных дополнительных обоснований, а не непосредственно к первоначальному авторскому тексту.
Поэтому при оценке именно авторского доказательства следует исследовать, каким самостоятельным геометрическим рассуждением обосновывается неизбежность пересечения второго луча.
Отсутствие такого обоснования в определённой редакции текста нельзя заменять утверждением о ложности самой конструкции.
1.5. Анализ логической независимости от пятого постулата
Главная задача настоящей работы заключается не только в построении прямой, пересекающей оба луча угла в евклидовой плоскости, но и в исследовании возможности доказать соответствующее утверждение без предварительного использования пятого постулата.
Для этого необходимо определить точные основания решающего геометрического перехода.
В первом построении таким переходом является утверждение о пересечении радиуса ZC со вторым лучом угла.
Во втором — утверждение о возможности выбрать достаточно удалённую точку первого луча, чтобы построенный через неё и Z диаметр встретил второй луч.
Вопрос о логической независимости решается не ссылкой на геометрическую наглядность и не общим утверждением о статусе постулата, а последовательным анализом используемых геометрических положений.
Если соответствующее пересечение доказывается через теорему, уже зависящую от пятого постулата, такое обоснование не может одновременно служить независимым доказательством самого постулата.
Если же предлагается иной конструктивный вывод, его необходимо рассмотреть непосредственно, шаг за шагом.
Поэтому предметом дальнейшей проверки является не существование построенных радиусов и диаметров — оно установлено, — а строгое геометрическое доказательство их необходимого пересечения со вторым лучом.
Именно этот переход должен быть сформулирован в виде самостоятельной леммы с указанием её исходных предпосылок.
1.6. Итоговое математическое заключение
Независимая проверка позволяет установить следующее.
Первое. Первоначальные авторские построения с окружностью и её диаметром геометрически корректны в евклидовой плоскости.
Второе. Пересечение первого луча обеспечивается непосредственно способом построения соответствующей прямой.
Третье. Пересечение второго луча является самостоятельным геометрическим утверждением. Его нельзя считать доказанным только на основании возможности продолжить радиус через центр окружности.
Четвёртое. Для произвольного тупого угла четыре последовательно отложенных равных отрезка не всегда достаточны. Это подтверждено конкретным евклидовым построением. Однако пример не опровергает метод с произвольным конечным числом таких отрезков.
Пятое. Рассмотренные построения подтверждают существование искомых пересечений в евклидовой плоскости при соответствующих условиях. Вопрос о независимости доказательства от пятого постулата требует отдельного обоснования центральной леммы о пересечении.
Общее заключение.
Авторский метод имеет определённое конструктивное содержание и допускает математически точную проверку.
Конкретное замечание к расширенному построению относится к универсальности выбора четырёх отрезков, а не к самой возможности последовательного увеличения основания.
Основной вопрос для дальнейшего исследования состоит в получении самостоятельного геометрического обоснования того, что построенная через исходную внутреннюю точку прямая при соответствующих условиях обязательно пересекает второй луч угла.
До проверки именно этого перехода вопрос о доказательстве пятого постулата данным методом не следует считать окончательно разрешённым ни в положительном, ни в отрицательном смысле.
Настоящий комментарий ограничивается указанными математическими замечаниями и не подменяет самостоятельного авторского исследования.
*****
ПРИЛОЖЕНИЕ 2. ГЕОМЕТРИЧЕСКИЕ ИЛЛЮСТРАЦИИ
2.1. Первоначальные авторские чертежи
Геометрическую основу настоящего исследования составляют два авторских чертежа, впервые представленные в разделе 1.3 работы «Теорема о параллельных прямых: к основаниям Гармонической геометрии», опубликованной 12 марта 2025 года.
Первый чертёж, обозначенный как рисунок 1.3.1, относится к утверждению Лежандра о возможности проведения через внутреннюю точку острого угла прямой, пересекающей оба его образующих луча.
Второй чертёж, обозначенный как рисунок 1.3.2, связан с исследованием пересечения прямой со сторонами угла величиной менее развёрнутого и с историческим положением Лоренца.
Оба рисунка имеют общую конструктивную основу: исходный угол, его внутреннюю точку, вспомогательную окружность и диаметр, определяющий направление построенной прямой.
Вместе с тем они различаются способом выбора радиуса окружности.
На рисунке 1.3.1 радиус равен расстоянию между внутренней точкой Z и вершиной O.
На рисунке 1.3.2 радиус определяется расстоянием от Z до удалённой точки A; первого луча.
В настоящем издании используются согласованные и геометрически уточнённые редакции первоначальных авторских чертежей. При их подготовке сохранены исходная последовательность построений, система обозначений и принципиальные отношения между геометрическими объектами.
Особое внимание уделено точному расположению концов диаметров на соответствующих окружностях.
Для первого рисунка это точки A и C.
Для второго — точки A; и D.
В обоих случаях центр окружности совпадает с исходной внутренней точкой Z.
Таким образом, первоначальные авторские иллюстрации рассматриваются не как произвольные наглядные изображения, а как графическое выражение вполне определённых геометрических построений.
2.2. Геометрическая схема исходной задачи
Исходная задача состоит в следующем.
Дан произвольный острый угол с вершиной O.
Внутри него расположена произвольная точка Z.
Необходимо провести через Z прямую, пересекающую оба луча, образующие первоначальный угол.
Первый рисунок позволяет выделить все существенные элементы этой задачи.
Точка O является вершиной угла.
Точка A располагается на первом луче.
Точка B обозначает пересечение построенной прямой со вторым лучом.
Точка Z находится внутри угла и принадлежит прямой AB.
Таким образом, искомая конфигурация характеризуется наличием двух различных точек пересечения A и B, между которыми располагается заданная точка Z.
На первоначальном авторском рисунке для построения указанной прямой используется вспомогательная окружность.
Её центр совпадает с Z, а радиус равен ZO.
Следовательно, точка O находится на окружности.
Точка A также принадлежит окружности.
Прямая, проведённая через A и Z, продолжается до противоположной точки C окружности.
Таким образом, AC является диаметром.
На согласованном рисунке точки расположены на одной прямой в следующей последовательности:
A — Z — B — C.
При этом Z находится между A и B, а B — между Z и C.
Такое расположение соответствует искомому геометрическому результату: через внутреннюю точку Z проходит прямая, пересекающая оба образующих угол луча.
Важно подчеркнуть, что точка B не относится к первоначальным данным задачи.
Она обозначает пересечение, существование которого устанавливается в процессе доказательства.
Поэтому геометрическая схема исходной задачи содержит как непосредственно построенные объекты, так и изображение утверждаемого результата.
2.3. Последовательность авторского построения
Первое построение. Острый угол
Первоначально задаются острый угол с вершиной O и произвольная внутренняя точка Z.
Точки O и Z соединяются прямолинейным отрезком.
Полученная длина ZO используется в качестве радиуса вспомогательной окружности с центром Z.
Поскольку радиус окружности равен ZO, вершина O принадлежит этой окружности.
На первом луче угла определяется отличная от O точка A, принадлежащая той же окружности.
Соединение A с Z даёт радиус ZA.
Далее отрезок AZ продолжается через центр Z в противоположном направлении до точки C окружности.
Тем самым получается диаметр AC.
В результате определяется прямая, которая проходит через исходную внутреннюю точку Z и пересекает первый луч в точке A.
Её пересечение со вторым лучом обозначается B.
Итоговое расположение точек на рисунке:
A — Z — B — C.
Таким образом, первый авторский чертёж представляет последовательность перехода от первоначального отрезка ZO к определённому диаметру AC, содержащему искомую прямую.
Второе построение. Увеличение основания
Второй авторский чертёж основан на дополнительной операции последовательного увеличения основания на одном из лучей угла.
Первоначально сохраняются вершина O и внутренняя точка Z.
Точки O и Z соединяются прямолинейным отрезком.
Затем на первом луче последовательно откладываются четыре отрезка, каждый из которых равен ZO.
Получаются точки A;, A;, A; и A;.
При этом выполняются равенства:
ZO = OA; = A;A; = A;A; = A;A;.
Следовательно, положение точки A; определяется первоначальным отрезком ZO и последовательным выполнением указанных построений.
После этого A; соединяется с Z.
Из точки Z описывается окружность радиусом ZA;.
В силу самого определения радиуса точка A; принадлежит построенной окружности.
Отрезок A;Z продолжается через центр Z до диаметрально противоположной точки D.
Таким образом, строится диаметр A;D.
На согласованном рисунке точки расположены на одной прямой в следующем порядке:
A; — Z — B — D.
При этом B является точкой пересечения диаметра со вторым лучом угла.
На втором луче также обозначена точка C, находящаяся на вспомогательной окружности. На представленном рисунке точки O, B и C принадлежат одному лучу.
Таким образом, необходимо сохранять различие между точками C и D.
Точка C относится ко второму лучу угла.
Точка D является противоположным концом диаметра A;D.
Особое значение имеет то, что A; принадлежит окружности, а A;, Z и D лежат строго на одной прямой.
Именно эти отношения составляют геометрическую основу второго авторского построения.
2.4. Иллюстрации доказательства основной теоремы
Первый рисунок представляет геометрическую конфигурацию, соответствующую утверждению Лежандра.
В ней одновременно отображены первоначальные данные, вспомогательная окружность, построенный диаметр и обе точки пересечения с лучами угла.
Исходные данные представлены вершиной O, двумя лучами и внутренней точкой Z.
Построенными вспомогательными объектами являются окружность с центром Z и диаметром AC.
Точка A показывает пересечение построенной прямой с первым лучом.
Точка B показывает пересечение со вторым лучом.
Таким образом, рисунок позволяет непосредственно проследить результат авторского построения.
При этом он сохраняет важную логическую последовательность.
Сначала определяется положение прямой посредством точек A и Z.
Затем устанавливается её пересечение со вторым лучом.
Следовательно, существование точки B составляет не исходное предположение конструкции, а центральное утверждение доказательства.
Второй рисунок отображает дополнительную геометрическую идею — изменение направления построенной прямой посредством увеличения основания.
При этом внутренняя точка Z остаётся неподвижной.
Первоначальный отрезок ZO используется для последовательного откладывания равных отрезков на первом луче.
Полученная точка A; определяет новый радиус ZA;.
Проведение диаметра A;D позволяет получить определённую прямую через Z.
На чертеже эта прямая пересекает второй луч в точке B.
Таким образом, второй рисунок иллюстрирует связь между увеличением основания и изменением направления диаметра.
Необходимо учитывать, что историческое положение Лоренца относится к произвольной прямой через внутреннюю точку угла и её пересечению по крайней мере с одним лучом.
Изображённая авторская конструкция представляет конкретно построенную прямую. Поэтому сама по себе она не должна смешиваться с утверждением о каждой произвольной прямой.
Оба рисунка предназначены для точного графического сопровождения доказательства, изложенного в четвёртой главе.
Их основная функция заключается в том, чтобы показать взаимное положение точек, лучей и окружностей, участвующих в авторском рассуждении.
2.5. Дополнительные геометрические случаи
Первоначальные авторские чертежи представляют две характерные геометрические ситуации.
Однако общая постановка теоремы предусматривает произвольное положение внутренней точки угла и различные допустимые величины самого угла.
Поэтому необходимо учитывать несколько дополнительных случаев.
Произвольное положение внутренней точки
В первоначальной задаче точка Z может находиться в любой части внутренней области угла.
Она не обязана принадлежать биссектрисе.
При её перемещении изменяется положение вспомогательной окружности и построенного диаметра.
Однако основной принцип конструкции сохраняется: центр окружности совпадает с Z, а соответствующая прямая проводится через этот центр.
Таким образом, первоначальный рисунок следует понимать как изображение одного представителя более общего класса геометрических конфигураций.
Острые углы различной величины
Первое построение предназначено для произвольных острых углов.
При изменении величины угла меняется взаимное расположение его лучей, но не изменяется исходная последовательность построений.
Сначала определяется отрезок ZO, затем окружность соответствующего радиуса, после чего через её центр проводится диаметр.
Искомое пересечение со вторым лучом исследуется относительно полученной прямой.
Прямые и тупые углы
Для углов большей величины рассматривается второй вариант авторского метода.
Его существенной особенностью является предварительное увеличение основания первого луча.
Вместо использования только первоначального расстояния ZO выбирается дополнительная точка, положение которой определяется последовательным откладыванием равных отрезков.
Тем самым изменяется направление диаметра, проходящего через неподвижную внутреннюю точку Z.
Углы, близкие к развёрнутому
Особое внимание требуется при рассмотрении углов, величина которых приближается к 180 градусам.
В таких случаях первоначально изображённых четырёх равных отрезков может оказаться недостаточно.
Поэтому общая конструктивная идея предполагает возможность дальнейшего последовательного увеличения основания.
На первом луче можно рассматривать точки A;, A; и последующие точки, получаемые откладыванием новых отрезков, равных ZO.
Выбранная конечная точка соединяется с Z.
Затем строится окружность соответствующего радиуса и проводится её диаметр.
Таким образом, сохраняется тот же конструктивный принцип, который первоначально представлен на рисунке 1.3.2.
В четвёртой главе исследованы условия достаточного удаления выбранной точки первого луча, обеспечивающие требуемое пересечение в евклидовой плоскости.
Общий смысл геометрических иллюстраций
Рассмотренные случаи показывают, что предложенный авторский метод основан не на одном произвольно выбранном изображении, а на определённой последовательности геометрических операций.
При изменении исходных условий сохраняются основные элементы конструкции: угол, внутренняя точка Z, вспомогательная окружность и диаметр, проходящий через её центр.
Вместе с тем каждый конкретный чертёж отображает определённую конфигурацию, а не всё многообразие допустимых положений.
Поэтому геометрические иллюстрации должны рассматриваться в непосредственной связи с условиями теоремы и соответствующими доказательными рассуждениями.
Главное назначение настоящего приложения — обеспечить точное и однозначное графическое представление авторской конструкции, сохранить систему первоначальных обозначений и показать геометрическое содержание основных этапов доказательства.
ПРИЛОЖЕНИЕ 3. ИСТОРИЧЕСКИЕ ФОРМУЛИРОВКИ И ИСТОЧНИКИ
3.1. Пятый постулат Евклида
Первоначальным историческим источником проблемы пересечения прямых является пятый постулат первой книги «Начал» Евклида.
В традиционном русском изложении его содержание можно передать следующим образом:
Если прямая, пересекающая две другие прямые, образует внутренние односторонние углы, сумма которых меньше двух прямых, то эти две прямые при неограниченном продолжении пересекутся с той стороны, на которой сумма указанных углов меньше двух прямых.
Данная формулировка соответствует содержанию пятого постулата в классической текстовой традиции «Начал».
В отличие от первых трёх постулатов, непосредственно допускающих определённые геометрические построения, пятый постулат устанавливает необходимое существование точки пересечения.
При этом пересечение может находиться за пределами первоначально построенных конечных отрезков.
Следовательно, математическое содержание постулата связано не только с возможностью продолжения прямолинейных объектов, но и с определённым результатом их взаимного расположения.
Это различие исторически оказалось одной из главных причин многовекового обсуждения пятого постулата.
В первой книге «Начал» Евклид первоначально доказывает ряд геометрических предложений, не обращаясь к постулату о параллельных.
В частности, предложения I.27 и I.28 устанавливают достаточные условия параллельности прямых.
Однако в предложении I.29, посвящённом угловым отношениям при пересечении параллельных прямых секущей, пятый постулат непосредственно используется.
Таким образом, уже в первоначальной системе Евклида обнаруживается определённая последовательность перехода от простейших конструктивных операций к более общим утверждениям о взаимном расположении прямых.
Для настоящего исследования существенны прежде всего два обстоятельства.
Во-первых, второй постулат допускает продолжение конечного прямолинейного отрезка по прямой.
Во-вторых, пятый постулат устанавливает необходимые условия, при которых определённые продолженные прямые пересекутся.
Эти положения имеют различное геометрическое содержание.
Именно вопрос о возможности установления пересечения на основании первоначальных построений составляет центральную проблему настоящей брошюры.
Основной исторический источник: Евклид, «Начала», книга I, постулаты 1–5 и предложения I.27–I.29.
Для текстологической сверки использована классическая английская редакция Т. Л. Хита (T. L. Heath), основанная на критической традиции издания греческого текста.
3.2. Геометрическое положение Лоренца
Важный этап истории рассматриваемой проблемы связан с немецким математиком Иоганном Фридрихом Лоренцем (Johann Friedrich Lorenz, 1738–1807).
В 1773 году Лоренц выпустил немецкое издание геометрических книг Евклида под названием «Euklid’s Geometrie».
Особое значение для истории теории параллельных имело предисловие к этому изданию, подготовленное математиком Андреасом Зегнером.
В предисловии Зегнер обсуждал возможность доказательства пятого постулата.
Винченцо Де Ризи в исследовании истории евклидовой аксиоматики показал, что в рассуждении Зегнера неявно использовалось дополнительное геометрическое положение о пересечении прямой со стороной угла.
Позднее это положение получило явное выражение в собственном математическом труде Лоренца.
В 1791 году вышла его работа «Grundri; der reinen und angewandten Mathematik, oder der erste Cursus der gesamten Mathematik».
В ней соответствующий принцип был включён в систему первоначальных геометрических положений.
В современной русской смысловой передаче его можно выразить следующим образом:
Всякая прямая, проходящая через внутреннюю точку угла, пересекает по крайней мере одну из его сторон.
Здесь необходимо учитывать, что выражение «сторона угла» в современной формулировке требует уточнения через понятие луча.
Рассматриваемое положение относится к двум определённым направлениям, исходящим из общей вершины угла.
Следовательно, пересечение полной прямой, содержащей соответствующую сторону, не следует автоматически отождествлять с пересечением самого луча.
Особое значение имеет логическая структура положения Лоренца.
Исходным геометрическим объектом является произвольная прямая, проходящая через заданную внутреннюю точку угла.
Утверждается, что такая прямая обязательно встретит по крайней мере одну из его сторон.
Таким образом, речь идёт не о специальном построении некоторой подходящей прямой, а об общем свойстве взаимного расположения произвольной прямой и образующих угол лучей.
В историческом отношении необходимо различать два этапа.
1773 год — неявное использование соответствующего геометрического принципа в рассуждении Зегнера, помещённом в издании Евклида, подготовленном Лоренцем.
1791 год — явное включение этого принципа Лоренцем в систему геометрических оснований.
Данное различие позволяет точнее установить происхождение исторического положения, не смешивая его первоначальное использование с последующей самостоятельной формулировкой.
Для настоящей работы особую ценность представляет сам факт выделения задачи пересечения прямой со стороной угла в отдельное геометрическое утверждение.
Это свидетельствует о том, что к концу XVIII века рассматриваемая проблема уже занимала определённое место в исследованиях оснований евклидовой геометрии.
3.3. Предположение Лежандра
Следующий существенный этап истории проблемы связан с Адриеном-Мари Лежандром (Adrien-Marie Legendre, 1752–1833).
В 1794 году было опубликовано первое издание его труда «;l;ments de g;om;trie».
Книга получила широкое распространение и неоднократно переиздавалась.
Особое место в ней занимали попытки обоснования теории параллельных, связанные с исследованием суммы внутренних углов прямолинейного треугольника.
Лежандр стремился доказать, что сумма трёх углов любого треугольника равна двум прямым углам, не принимая предварительно пятый постулат Евклида.
В ходе соответствующих рассуждений возникло дополнительное предположение о существовании определённой прямой, пересекающей обе стороны угла.
Наиболее важное для настоящего исследования документальное свидетельство о его содержании сохранилось в письме Кристиана Людвига Герлинга Карлу Фридриху Гауссу от 11 марта 1816 года.
Из этого письма следует, что рассматриваемое предположение относилось к углу, величина которого меньше двух третей прямого угла.
В современной русской передаче его можно выразить следующим образом:
Через любую точку, лежащую внутри угла величиной менее двух третей прямого угла, можно провести прямую, пересекающую обе стороны этого угла.
Поскольку прямой угол равен 90 градусам, указанное ограничение соответствует углу менее 60 градусов.
Это историческое уточнение необходимо сохранять.
Оно позволяет отличать конкретное положение, обсуждавшееся в связи с доказательством Лежандра, от более широкой формулировки, используемой в современной математической литературе.
Последнюю обычно выражают следующим образом:
Через любую точку, находящуюся внутри произвольного острого угла, можно провести прямую, пересекающую оба его образующих луча.
Именно эта расширенная формулировка составляет основной предмет настоящей брошюры.
Принципиально важно различать также положения Лоренца и Лежандра.
У Лоренца рассматривается произвольная прямая через внутреннюю точку угла и утверждается пересечение по крайней мере одной его стороны.
У Лежандра требуется установить существование определённой прямой, пересекающей обе стороны.
Следовательно, различаются не только условия задачи, но и характер самого утверждения.
В первом случае речь идёт об обязательном свойстве произвольной прямой.
Во втором — о существовании по крайней мере одной прямой с заданными свойствами.
Именно второе положение получило самостоятельное значение в последующих исследованиях пятого постулата Евклида.
Историческая важность предположения Лежандра определяется также тем, что оно первоначально использовалось как вспомогательное звено в более широком доказательстве.
Однако дальнейшее развитие геометрии позволило выделить его в самостоятельную задачу.
В настоящей работе такая задача рассматривается непосредственно, посредством первоначальных геометрических построений.
3.4. Материалы исторической переписки Герлинга и Гаусса
Особое место среди документальных свидетельств истории рассматриваемой проблемы занимает переписка Кристиана Людвига Герлинга (Christian Ludwig Gerling, 1788–1864) и Карла Фридриха Гаусса (Carl Friedrich Gauss, 1777–1855).
В опубликованном собрании сочинений Гаусса сохранились два документа, представляющие непосредственный интерес для настоящего исследования.
Первый — письмо Герлинга Гауссу от 11 марта 1816 года, отправленное из Касселя.
Второй — ответ Гаусса Герлингу от 11 апреля 1816 года, написанный в Гёттингене.
Соответствующие документы опубликованы в восьмом томе собрания сочинений Гаусса (1900) в разделе, посвящённом теории параллельных Лежандра.
Их русский перевод также приводится В. Ф. Каганом в книге «Лобачевский и его геометрия» (издание 1955 года).
Письмо Герлинга от 11 марта 1816 года
В своём письме Герлинг обратился к Гауссу с просьбой высказать мнение о предложенной Лежандром теории параллельных.
Он кратко изложил основную последовательность доказательства.
Согласно его пересказу, Лежандр определял прямую как кратчайший путь между двумя точками и пытался доказать, что сумма внутренних углов треугольника не может превышать двух прямых.
Затем рассматривалась возможность исключить случаи, когда эта сумма меньше двух прямых.
Именно здесь возникало предположение о том, что через внутреннюю точку достаточно малого угла можно провести прямую, пересекающую обе его стороны.
Герлинг указал, что Лежандр предпринял попытку оправдать это предположение в специальном примечании к шестому изданию своих «Начал геометрии».
При этом Лежандр, согласно передаче Герлинга, характеризовал соответствующее положение как «достаточно очевидное» — assez ;vident.
Однако Герлинг сомневался в достаточности такого обоснования.
Он обратился к Гауссу, поскольку ранее уже обсуждал с ним вопросы доказательной силы соответствующих геометрических рассуждений.
Важно подчеркнуть, что письмо Герлинга содержит два самостоятельных предмета обсуждения.
Первый — предположение о существовании прямой, пересекающей обе стороны угла.
Второй — другое доказательство Лежандра, использующее так называемый принцип однородности и соотношения между сторонами и углами треугольника.
Эти вопросы связаны общей проблемой теории параллельных, но не являются тождественными.
Ответ Гаусса от 11 апреля 1816 года
Гаусс ответил Герлингу 11 апреля 1816 года.
В своём письме он дал отрицательную оценку доказательной силе рассматриваемых рассуждений Лежандра.
В русском переводе Кагана эта оценка выражена словами о том, что соответствующий вывод не имеет «никакой доказательной силы».
Однако для правильного понимания документа необходимо учитывать дальнейшее содержание ответа.
Основная часть приведённого рассуждения Гаусса посвящена анализу принципа однородности.
Лежандр стремился использовать соотношение между углами и сторонами треугольника для доказательства определённых свойств суммы его углов.
Гаусс указал, что соответствующее рассуждение не исключает возможности присутствия в рассматриваемых соотношениях дополнительной постоянной величины, имеющей размерность длины.
Таким образом, его возражение относилось прежде всего к логическому переходу, использованному в другом доказательстве Лежандра.
Поэтому было бы исторически неточно представлять ответ Гаусса как подробное самостоятельное опровержение именно геометрического предположения о пересечении обеих сторон угла.
Из переписки следует более определённый и документально подтверждённый вывод.
Герлинг поставил под сомнение доказательный статус предположения Лежандра.
Гаусс выразил отрицательное отношение к доказательствам теории параллельных, обсуждавшимся в письме, и подробно разобрал одно из других рассуждений Лежандра.
Таким образом, историческое значение этой переписки заключается прежде всего в том, что проблема доказательного обоснования пересечения прямой с лучами угла была явно выделена и обсуждалась уже в начале XIX века.
Для настоящего исследования это обстоятельство имеет существенное значение.
Оно позволяет установить, что рассматриваемая задача имеет самостоятельную документированную историю и не сводится к позднейшей интерпретации пятого постулата Евклида.
3.5. Исторические комментарии и современные интерпретации
Исторические формулировки Евклида, Лоренца и Лежандра относятся к различным этапам развития геометрической науки.
Каждая из них отражает определённое понимание геометрических объектов, доказательства и первоначальных оснований математической теории.
У Евклида вопрос о пересечении появляется в составе постулата, устанавливающего необходимый результат продолжения двух прямых при определённых угловых условиях.
У Лоренца рассматривается пересечение произвольной прямой, проходящей через внутреннюю точку угла, по крайней мере с одной из его сторон.
У Лежандра ставится вопрос о существовании определённой прямой, пересекающей обе стороны угла.
Таким образом, прослеживается историческое выделение проблемы существования пересечения в самостоятельное геометрическое утверждение.
Важное значение для современного понимания этой истории имеют исследования Винченцо Де Ризи, посвящённые развитию евклидовой аксиоматики в эпоху Нового времени.
Они позволяют уточнить происхождение различных дополнительных геометрических принципов, использовавшихся в европейских изданиях «Начал».
В частности, восстановлена историческая связь между рассуждением Зегнера в издании Лоренца 1773 года и последующим явным включением соответствующего положения в систему оснований Лоренца в 1791 году.
Для истории предположения Лежандра особое значение сохраняют опубликованные письма Герлинга и Гаусса.
Эти документы позволяют установить точную историческую обстановку математической дискуссии и отделить первоначальное содержание рассматриваемого предположения от последующих обобщений.
В современной аксиоматической геометрии утверждения о пересечении прямой с лучами угла рассматриваются в связи с системой эквивалентов пятого постулата Евклида.
Однако при историческом анализе необходимо учитывать, что первоначальные авторы не всегда формулировали соответствующие положения в позднейшей логической терминологии.
Поэтому современная математическая интерпретация не должна подменять действительное содержание исторического документа.
Особенно важно сохранять различие между двумя утверждениями.
Первое касается пересечения произвольной прямой по крайней мере с одним лучом угла.
Второе утверждает существование некоторой прямой, пересекающей оба луча.
Эти положения не следует смешивать даже при рассмотрении их общей связи с теорией параллельных.
Настоящая брошюра продолжает историческую линию исследования второго утверждения.
При этом задача рассматривается прежде всего в её конструктивном содержании.
Основное внимание уделяется возможности получения искомой прямой посредством определённых геометрических операций, включающих построение конечных прямолинейных отрезков, окружности и её диаметра.
Таким образом, исторический анализ позволяет точнее определить предмет авторского исследования и его место среди различных подходов к проблеме параллельности.
Основные исторические источники
Евклид. «Начала», книга I, постулаты и предложения I.27–I.29. Для сверки использована редакция The Thirteen Books of Euclid’s Elements, подготовленная T. L. Heath (1908).
Lorenz, Johann Friedrich. Euklid’s Geometrie, oder die sechs ersten B;cher der Elemente nebst dem eilften und zw;lften aus dem Griechischen ;bersetzt. Halle, 1773. Особое значение имеет предисловие Андреаса Зегнера.
Lorenz, Johann Friedrich. Grundri; der reinen und angewandten Mathematik, oder der erste Cursus der gesamten Mathematik. Helmst;dt: Fleckeisen, 1791.
Legendre, Adrien-Marie. ;l;ments de g;om;trie, avec des notes. Paris: Didot, 1794; последующие издания, включая шестое издание 1806 года.
Gauss, Carl Friedrich. Werke. Band VIII. G;ttingen–Leipzig, 1900. Раздел Legendres Theorie der Parallelen: письмо Герлинга Гауссу от 11 марта 1816 года и ответ Гаусса от 11 апреля 1816 года.
Каган В. Ф. Лобачевский и его геометрия. Общедоступные очерки. Москва: Государственное издательство технико-теоретической литературы, 1955. С. 65–68. Содержит русскую передачу переписки Герлинга и Гаусса.
De Risi, Vincenzo. The Development of Euclidean Axiomatics: The Systems of Principles and the Foundations of Mathematics in Editions of the Elements in the Early Modern Age. Archive for History of Exact Sciences. Vol. 70, 2016. P. 591–676.
******
БИБЛИОГРАФИЯ
I. Основные исторические источники
Евклид. Начала Евклида. Книги I–VI / Перевод с греческого и комментарии Д. Д. Мордухай-Болтовского; при редакционном участии М. Я. Выгодского и И. Н. Веселовского. — М.; Л.: Государственное издательство технико-теоретической литературы, 1948. — 447 с.
Euclid. The Thirteen Books of Euclid’s Elements / Translated from the text of Heiberg, with introduction and commentary by T. L. Heath. — Cambridge: Cambridge University Press, 1908. — Vol. I–III.
Proclus. A Commentary on the First Book of Euclid’s Elements / Translated with introduction and notes by Glenn R. Morrow. — Princeton: Princeton University Press, 1970.
Saccheri G. G. Euclides ab omni naevo vindicatus: sive conatus geometricus quo stabiliuntur prima ipsa universae geometriae principia. — Mediolani, 1733.
Lambert J. H. Theorie der Parallellinien // Leipziger Magazin f;r reine und angewandte Mathematik. — 1786. — St;ck 2. — S. 137–164; St;ck 3. — S. 325–358.
Lorenz J. F. Euklid’s Geometrie, oder die sechs ersten B;cher der Elemente nebst dem eilften und zw;lften aus dem Griechischen ;bersetzt. — Halle, 1773. — С предисловием Андреаса Зегнера.
Lorenz J. F. Grundri; der reinen und angewandten Mathematik, oder der erste Cursus der gesamten Mathematik. — Helmst;dt: Fleckeisen, 1791.
Legendre A.-M. ;l;ments de g;om;trie. — Paris: F. Didot, 1794.
Legendre A.-M. ;l;ments de g;om;trie, avec des notes. — 6e ;d. — Paris: F. Didot, 1806.
Лобачевский Н. И. О началах геометрии // Казанский вестник. — 1829–1830.
Gauss C. F. Legendres Theorie der Parallelen: Gerling an Gauss, Kassel, 11. M;rz 1816; Gauss an Gerling, G;ttingen, 11. April 1816 // Gauss C. F. Werke. — Bd. VIII. — G;ttingen, 1900. — S. 167–169.
II. Математические и историко-геометрические исследования
St;ckel P., Engel F. Die Theorie der Parallellinien von Euklid bis auf Gauss: Eine Urkundensammlung zur Vorgeschichte der nichteuklidischen Geometrie. — Leipzig: B. G. Teubner, 1895. — X, 325 S.
Hilbert D. Grundlagen der Geometrie. — Leipzig: B. G. Teubner, 1899. — 92 S.
Heath T. L. A History of Greek Mathematics. — Oxford: Clarendon Press, 1921. — Vol. I–II.
Каган В. Ф. Лобачевский и его геометрия: общедоступные очерки. — М.: Государственное издательство технико-теоретической литературы, 1955. — 303 с. — Особое значение для настоящей работы имеют с. 65–68, содержащие русский перевод переписки Герлинга и Гаусса.
De Risi V. The Development of Euclidean Axiomatics: The Systems of Principles and the Foundations of Mathematics in Editions of the Elements in the Early Modern Age // Archive for History of Exact Sciences. — 2016. — Vol. 70. — P. 591–676. — DOI: 10.1007/s00407-015-0173-9.
III. Публикации В. К. Петросяна по основаниям Гармонической геометрии
Петросян В. К. Общий кризис теоретико-множественной математики и пути его преодоления. Версия 1.0. — М.: Янус-К, 1997.
Петросян В. К. Основные положения концепции оснований гармонической арифметики // Бесконечность в математике: философские и исторические аспекты: сборник статей. — М.: Янус-К, 1997. — С. 48–66.
Петросян В. К. Пролегомены к инновационной войне по основаниям гармонической математики. — М.: Издательский центр Академии профессионального образования, 2002. — 142 с.
Петросян В. К. (Вадимир). Теорема о параллельных прямых: к основаниям Гармонической геометрии // Лаги сознания (Lag.ru). — Электронная публикация от 12 марта 2025 года. — Раздел 1.3: «Через любую точку внутри острого угла всегда можно провести прямую, которая пересечёт обе стороны угла (Лежандр)».
Примечание к библиографии
Список составлен с учётом исторической и конструктивной направленности настоящего исследования.
В первом разделе представлены первоначальные сочинения, издания исторических источников и документы, относящиеся к развитию проблемы параллельности и существования пересечений прямых.
Во втором разделе собраны математические и историко-геометрические исследования, необходимые для уточнения первоначальных формулировок и их места в истории оснований геометрии.
Третий раздел содержит основные опубликованные работы В. К. Петросяна, связанные с формированием концепции Гармонической математики и исследованием оснований Гармонической геометрии.
Особое значение для настоящей брошюры имеет публикация от 12 марта 2025 года, содержащая первоначальное изложение авторской конструкции пересечения угла с точкой и соответствующие геометрические чертежи.
Список не включает отдельные неопубликованные рукописи, для которых отсутствуют подтверждённые библиографические выходные данные.
*****
Свидетельство о публикации №226102900234