Геометрические задачи в математике XIX XXI веков

Великие геометрические задачи в математике XIX–XXI веков: доказательства невозможности, методы приближения, современные интерпретации

УЛЬТРАНООЧЕЛЛЕНДЖ ТРЁХ ТЫСЯЧЕЛЕТИЙ. В 8-ми томах. Том 1
ЧАСТЬ I. ТРИ ТЫСЯЧЕЛЕТИЯ ГЕОМЕТРИЧЕСКИХ ВЫЗОВОВ

*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и техническом участии) ChatGPT (OpenAI), GPT-6.0 Sol (Солярис)
++++++


Великие геометрические задачи в математике XIX–XXI веков: доказательства невозможности, методы приближения, современные интерпретации

1. XIX век: великий перелом в истории геометрических задач
На протяжении многих столетий трисекция произвольного угла, квадратура круга и удвоение куба оставались среди наиболее известных проблем мировой математики.
Их исследовали античные геометры, средневековые математики, учёные эпохи Возрождения и представители математической науки Нового времени.
Одни исследователи стремились получить необходимые результаты посредством традиционных построений циркулем и линейкой.
Другие обращались к специальным кривым, механическим приспособлениям и пространственным конструкциям.
Третьи разрабатывали приближённые методы, позволяющие воспроизводить необходимые геометрические отношения с определённой точностью.
Однако в XIX веке произошёл принципиальный поворот.
Математики получили возможность не просто предлагать новые способы решения знаменитых задач, но и строго доказывать невозможность определённых построений в пределах установленной системы операций.
Это был качественно новый этап развития математического мышления.
Ранее отсутствие решения не могло служить достаточным основанием для утверждения о его принципиальной невозможности.
Ведь всегда оставалась вероятность, что необходимая конструкция будет обнаружена в будущем.
Теперь возникала совершенно иная ситуация.
Математическая наука научилась исследовать сам класс допустимых геометрических операций и устанавливать, какие результаты могут быть получены посредством соответствующего инструментария.
Именно здесь начинается современная теория геометрической построимости.
Но одновременно возникает вопрос, имеющий фундаментальное значение для настоящей книги.
Можно ли считать доказательство невозможности определённой операции в рамках установленной системы построений окончательным ответом на вопрос о технологической разрешимости соответствующей геометрической задачи?
Очевидно, что подобное заключение требует дополнительных оговорок.
Невозможность абсолютно точного построения посредством конечного количества определённых операций не означает невозможности получения результата с заранее установленной точностью.
Однако это различие необходимо не просто декларировать.
Следует показать его математическое содержание, историческое значение и конструктивные последствия.
Именно такой задаче посвящена настоящая глава.
2. Как математика научилась доказывать невозможность построения
Для понимания результатов XIX века необходимо обратиться к самой природе классических геометрических операций.
В современной математической формализации построение циркулем и немаркированной линейкой предполагает определённый набор действий.
Можно провести прямую через две ранее построенные различные точки.
Можно построить окружность с ранее построенным центром и радиусом, равным расстоянию между двумя ранее построенными точками.
Можно определить точки пересечения построенных прямых и окружностей, если такие точки существуют.
Затем полученные точки используются для дальнейших построений.
Таким образом, каждая новая операция опирается на результаты предыдущих действий.
При этом количество операций должно быть конечным.
Искомый объект считается точно построимым, если соответствующая последовательность позволяет получить его с математической точностью.
Именно эта формализация позволяет перейти от геометрических чертежей к исследованию свойств числовых величин.
Если выбрать определённую единицу длины и систему координат, то положения построенных точек можно характеризовать числовыми значениями.
Следовательно, возникает возможность исследовать, какие числа могут появляться в результате допустимых геометрических операций.
Это и стало одним из важнейших направлений развития математики XIX века.
Особенно существенно, что подобная теория не требует анализа всех возможных геометрических чертежей по отдельности.
Вместо этого устанавливаются общие свойства чисел, которые могут быть получены посредством соответствующего набора операций.
Именно здесь возникает принципиальная математическая универсальность.
Вместо исследования бесконечного множества отдельных геометрических построений создаётся общая теория допустимых конструктивных результатов.
Такой переход стал одним из величайших интеллектуальных достижений математической науки Нового времени.
3. Карл Фридрих Гаусс и правильный семнадцатиугольник
Важнейшим предшественником строгой теории построимости стали исследования Карла Фридриха Гаусса.
В 1796 году молодой Гаусс установил возможность точного построения правильного семнадцатиугольника посредством циркуля и немаркированной линейки.
Этот результат произвёл значительное впечатление на математическое сообщество.
Со времён античности были известны точные построения некоторых правильных многоугольников.
Например, можно построить равносторонний треугольник, квадрат, правильный пятиугольник и правильный шестиугольник.
Однако построение правильного семнадцатиугольника представляло значительно более сложную задачу.
Гаусс сумел установить связь между соответствующей геометрической проблемой и определёнными алгебраическими отношениями.
В дальнейшем его исследования способствовали развитию теории построимости правильных многоугольников.
Особенно интересно, что этот результат представлял собой не доказательство невозможности, а доказательство существования неожиданной конструктивной возможности.
Геометрический объект, точное построение которого ранее не было известно, оказался доступным классическому инструментарию.
Тем самым было продемонстрировано, что пространство точных геометрических построений значительно богаче, чем могло казаться на основании традиционных элементарных конструкций.
Однако одновременно возникла необходимость определить границы этого пространства.
Какие правильные многоугольники можно построить точно?
Какие не допускают соответствующего построения?
И какими общими математическими свойствами характеризуются эти классы?
В дальнейшем исследования Гаусса и Пьера Ванцеля позволили получить строгую классификацию.
Для настоящей книги этот исторический эпизод имеет особое значение.
Он показывает, что развитие геометрии может происходить одновременно в двух направлениях.
Первое связано с расширением возможностей построения.
Второе — с установлением границ этих возможностей.
Оба направления представляют самостоятельную научную ценность.
Однако они не исчерпывают всех возможных критериев конструктивной эффективности.
4. Пьер Ванцель: доказательство невозможности удвоения куба
В 1837 году французский математик Пьер Ванцель опубликовал исследование, ставшее важнейшим этапом в истории классических геометрических задач.
Он установил алгебраические условия, позволяющие определять возможность точного построения определённых величин посредством циркуля и немаркированной линейки.
Применение соответствующего результата позволило доказать невозможность точного удвоения куба в рамках классического инструментария.
Напомним постановку задачи.
Имеется куб с определённой длиной ребра.
Необходимо построить второй куб, объём которого ровно вдвое больше объёма исходного.
При этом форма куба должна сохраняться.
Следовательно, необходимо определить соответствующий масштабный коэффициент для нового ребра.
Сегодня хорошо известно, что он приблизительно равен 1,259921.
Однако классическая задача требует не численного приближения, а точного геометрического построения соответствующего отрезка.
Ванцель показал, что необходимая величина не может быть получена посредством конечной последовательности допустимых операций циркулем и немаркированной линейкой.
Математическая причина заключается в алгебраических свойствах соответствующего числа.
При этом принципиально важно не смешивать существование числовой величины с возможностью её построения определённым способом.
Необходимый масштабный коэффициент математически существует.
Он может быть вычислен с произвольной заранее заданной точностью.
Но он не принадлежит классу чисел, точно построимых посредством указанного инструментария.
Таким образом, знаменитая делосская задача получила окончательное решение в строго установленной математической постановке.
Доказана невозможность точного классического построения, а не невозможность получения практически необходимого результата посредством приближённых геометрических технологий.
Именно это различие будет иметь центральное значение для дальнейшего исследования.
5. Пьер Ванцель и невозможность универсальной трисекции угла
В том же исследовании 1837 года Ванцель рассмотрел проблему трисекции произвольного угла.
Напомним, что классическая постановка требует построить два внутренних луча, разделяющих заданный угол на три равные части.
При этом должны использоваться только циркуль и немаркированная линейка.
Как уже отмечалось, некоторые конкретные углы допускают точную трисекцию.
Например, прямой угол можно точно разделить на три равные части.
Однако существуют углы, для которых соответствующее построение невозможно.
Особенно показателен угол величиной шестьдесят градусов.
Для его трисекции необходимо построить угол величиной двадцать градусов.
Но такой угол невозможно получить посредством конечной последовательности классических построений, исходя из обычных заданных единичных геометрических данных.
Математическое обоснование связано с алгебраическими свойствами тригонометрических величин соответствующих углов.
Ванцель установил, что необходимые отношения не принадлежат классу точно построимых величин.
Следовательно, универсальная процедура точной трисекции произвольного угла в данной системе операций невозможна.
Однако здесь необходимо сделать принципиальное уточнение.
Доказанная невозможность относится к точному построению.
Она не означает, что нельзя построить угол, отличающийся от одной трети исходного менее чем на любую заранее заданную положительную величину.
Подобные приближённые построения могут выполняться посредством вполне обычных геометрических операций.
Более того, некоторые из них основываются на принципах, известных ещё античной математике.
Именно поэтому задача трисекции представляет особый интерес для предлагаемой конструктивно-технологической методологии.
Она позволяет наиболее наглядно продемонстрировать различие между абсолютной классической построимостью и потенциально неограниченным уточнением геометрического результата.
6. Фердинанд Линдеман и окончательное доказательство невозможности квадратуры круга
Следующий важнейший этап связан с именем немецкого математика Фердинанда Линдемана.
В 1882 году он доказал трансцендентность числа пи.
Этот результат позволил окончательно установить невозможность точной квадратуры круга посредством циркуля и немаркированной линейки.
Напомним исходную постановку задачи.
Дан круг определённого радиуса.
Требуется построить квадрат, площадь которого математически точно равна площади данного круга.
Для выполнения такого построения необходимо получить сторону квадрата, длина которой определяется радиусом круга и соответствующим коэффициентом, связанным с числом пи.
Однако все длины, точно построимые классическими средствами из единичного отрезка, относятся к определённому классу алгебраических чисел.
Линдеман доказал, что число пи не является алгебраическим.
Следовательно, необходимый масштабный коэффициент не может быть точно получен посредством конечной последовательности допустимых классических операций.
Тем самым была окончательно установлена невозможность точной квадратуры круга в соответствующей постановке.
Однако здесь вновь возникает принципиально важное различие.
Трансцендентность числа пи не означает невозможности вычисления его значения с заранее заданной точностью.
Математика располагает многочисленными алгоритмами получения последовательных приближений этого числа.
Соответственно, можно вычислять всё более точные значения необходимой стороны искомого квадрата.
Полученные приближения могут быть воспроизведены посредством геометрических построений.
Разумеется, ни одно конечное приближение не превращает классически непостроимую величину в точно построимую.
Но для задач, допускающих установленную погрешность, соответствующие процедуры могут обеспечивать вполне достаточный результат.
Таким образом, доказательство Линдемана окончательно установило границы классической квадратуры круга, но не исключило существования сколь угодно точных приближённых построений.
Именно в этом заключается математическая основа нашего дальнейшего различения двух типов геометрической разрешимости.
7. Иррациональность, трансцендентность и геометрическая построимость
Для правильного понимания классических теорем невозможности необходимо различать несколько математических понятий.
Прежде всего не всякое иррациональное число является геометрически непостроимым.
Например, диагональ единичного квадрата имеет иррациональную длину.
Тем не менее она совершенно точно строится посредством циркуля и линейки.
Следовательно, невозможность представить некоторую величину в виде отношения двух целых чисел ещё не означает невозможности её точного геометрического построения.
Существуют также алгебраические числа, которые нельзя получить посредством классических операций.
К ним относится коэффициент, необходимый для удвоения куба.
С другой стороны, число пи является трансцендентным.
Оно вообще не может быть корнем ненулевого многочлена с рациональными коэффициентами.
Именно это свойство обеспечивает математическое доказательство невозможности точной квадратуры круга.
Но здесь особенно важно другое обстоятельство.
Существуют числа, которые нельзя построить точно циркулем и линейкой, однако можно вычислять с произвольной заранее заданной точностью.
Следовательно, класс точных конструктивных результатов и класс величин, допускающих эффективное приближение, существенно различаются.
Это различие имеет фундаментальное значение.
Оно показывает, что понятие математической построимости не является единственным возможным способом классификации геометрических задач.
Однако для корректного использования приближений необходимо определить соответствующий алгоритм и условия его эффективности.
Именно эта задача становится центральной для конструктивно-технологической методологии настоящей книги.
8. Почему теоремы невозможности нельзя считать ошибочными
На данном этапе необходимо сделать принципиальное методологическое уточнение.
Нередко новые способы приближённого решения классических задач представляются как опровержение исторических доказательств невозможности.
Подобный подход математически некорректен.
Если доказано, что определённый геометрический объект невозможно получить точно посредством конечной последовательности установленных операций, то построение приближённого объекта не опровергает соответствующего результата.
Ведь исходная задача требовала математически точного совпадения.
Приближённая процедура решает другую задачу.
То же самое относится к использованию специальных инструментов.
Например, если трисекция угла выполняется посредством маркированной линейки, соответствующее построение может быть математически правильным.
Но оно использует операцию, отсутствующую в классической системе.
Следовательно, результат не отменяет доказательства Ванцеля.
Аналогичным образом построение необходимой кривой посредством компьютера не превращает её в точно построимую циркулем и немаркированной линейкой.
Таким образом, необходимо различать расширение возможностей геометрического конструирования и опровержение определённой математической теоремы.
В настоящей книге мы намерены последовательно сохранять это различие.
Главная исследовательская задача заключается не в отрицании доказанных математических ограничений, а в исследовании тех конструктивных возможностей, которые остаются за пределами первоначальной классической постановки.
Именно поэтому наша критика направлена прежде всего против возможной абсолютизации ограничений определённой математической модели.
Она не должна превращаться в отрицание математической строгости.
Напротив, именно строгий анализ должен стать главным основанием предлагаемой альтернативной конструктивной системы.
9. XX век: новая жизнь классических геометрических задач
После появления доказательств Ванцеля и Линдемана интерес к знаменитым геометрическим задачам не исчез.
Напротив, в XX веке возникло множество новых направлений их исследования.
Одни математики продолжали изучать свойства точно построимых величин.
Другие разрабатывали специальные приближённые конструкции.
Третьи исследовали более общие геометрические операции и новые способы математического представления фигур.
Развитие вычислительной математики существенно расширило возможности получения числовых приближений.
Появились новые алгоритмы вычисления числа пи и других математических констант.
Совершенствовались способы решения алгебраических и трансцендентных уравнений.
Развивались численные методы построения кривых, поверхностей и пространственных моделей.
Однако было бы неверно утверждать, что все эти достижения непосредственно разрешили классические задачи в их первоначальном смысле.
Соответствующие доказательства невозможности сохранили математическую силу.
Изменилось другое.
Значительно расширились возможности исследования и практического воспроизведения геометрических объектов, не допускающих точного классического построения.
Именно в этом заключается принципиальное содержание нового исторического этапа.
Математическая неразрешимость в определённой системе точных операций перестала восприниматься как препятствие для практического воспроизведения соответствующих геометрических отношений.
Однако такая технологическая возможность существовала в определённых формах уже значительно раньше.
Поэтому главная историческая проблема заключается не просто в развитии современных вычислительных средств.
Гораздо интереснее вопрос о том, насколько простые и универсальные методы приближённого конструирования могли существовать уже в древности.
10. Сриниваса Рамануджан: выдающиеся приближённые квадратуры круга
Одним из наиболее ярких примеров математически содержательного приближённого построения стали исследования Сринивасы Рамануджана.
Этот выдающийся индийский математик жил в 1887–1920 годах.
Его работы оказали огромное влияние на развитие теории чисел, бесконечных рядов и других направлений математики.
Однако для настоящей книги особый интерес представляют предложенные им геометрические приближения числа пи.
В 1913 году Рамануджан опубликовал построение, позволяющее получить приближённую квадратуру круга посредством обычных геометрических операций.
В основе соответствующей конструкции лежало рациональное приближение числа пи отношением 355 к 113.
Это приближение известно с глубокой древности, но отличается чрезвычайно высокой для своей простоты точностью.
Его десятичное значение составляет приблизительно 3,141592920.
Следовательно, отличие от числа пи возникает лишь в седьмом знаке после запятой.
В 1914 году Рамануджан предложил ещё более точное приближение, основанное на другой геометрической конструкции.
Полученная величина совпадала с числом пи приблизительно до восьмого десятичного знака.
Для настоящего исследования эти примеры особенно интересны.
Ведь Рамануджан не утверждал, будто им обнаружено абсолютно точное классическое решение квадратуры круга.
Напротив, он сознательно рассматривал приближённые геометрические конструкции.
При этом их точность могла быть оценена математически.
Таким образом, перед нами возникает важнейший образец строго обоснованной приближённой геометрии.
Однако здесь необходимо подчеркнуть следующее.
Даже очень точное приближение определённой величины само по себе не образует универсального алгоритма потенциально неограниченного уточнения.
Для этого необходимо существование соответствующей последовательности построений с доказанными свойствами сходимости.
Поэтому достижения Рамануджана представляют собой выдающиеся специализированные конструкции, но не являются автоматически универсальной технологией решения всех задач преобразования площадей.
Именно это различие будет иметь принципиальное значение для нашего дальнейшего исследования.
11. От отдельных приближений к системам последовательного уточнения
Рассмотрим теперь более общую постановку.
Предположим, что требуется воспроизвести определённую геометрическую величину с заранее установленной точностью.
Можно предложить отдельное приближение.
Если оно удовлетворяет установленным требованиям, задача считается технологически выполненной.
Однако если соответствующая точность оказывается недостаточной, возникает необходимость использовать более совершенный метод.
Наиболее интересным представляется случай, когда существует единая процедура последовательного уточнения результата.
Такая процедура позволяет получать всё более точные приближения посредством повторения определённого класса операций.
Но здесь необходимо учитывать несколько принципиальных условий.
Прежде всего каждое отдельное построение должно включать конечное количество действий.
Далее необходимо установить способ оценки получаемой погрешности.
И наконец, требуется доказать, что дальнейшее выполнение соответствующих операций действительно обеспечивает уменьшение ошибки.
При выполнении этих условий возникает возможность получения результата с любой заранее заданной положительной точностью.
Разумеется, для каждого конкретного значения допустимой погрешности количество необходимых операций может различаться.
Но именно это обстоятельство и составляет математическое содержание потенциально неограниченного уточнения.
Бесконечность не должна физически осуществляться. Достаточно существования конечного конструктивного этапа для каждого заранее установленного уровня точности.
Такой подход хорошо известен математическому анализу и вычислительной математике.
В настоящей книге он рассматривается в качестве одного из оснований универсальной геометрической технологии.
Однако необходимо подчеркнуть, что сам принцип не является новым математическим открытием.
Научная ценность предлагаемой программы должна определяться конкретными конструкциями и эффективностью их применения.
12. Удвоение куба: от невозможного точного коэффициента к управляемому приближению
Рассмотрим достаточно простой числовой пример.
Пусть исходный куб имеет ребро длиной десять сантиметров.
Необходимо построить другой куб, объём которого вдвое больше.
Как уже отмечалось, точный масштабный коэффициент для нового ребра приблизительно равен 1,259921.
Следовательно, требуемое ребро составляет приблизительно 12,59921 сантиметра.
Предположим, что для построения используется округлённое значение 12,6 сантиметра.
Полученный куб будет иметь объём 2000,376 кубического сантиметра.
Необходимый объём составляет ровно 2000 кубических сантиметров.
Следовательно, относительное отклонение от требуемого объёма будет меньше двух сотых процента.
Для многих практических задач подобная точность может оказаться вполне достаточной.
Но если соответствующего результата недостаточно, необходимо использовать более точное значение масштабного коэффициента.
Таким образом, возникает возможность последовательного уточнения построения.
При этом нет необходимости вводить конические сечения, циссоиду Диокла или специальные пространственные механизмы.
Достаточно вычислить необходимое числовое отношение с требуемой точностью и воспроизвести его посредством обычных геометрических операций.
Однако здесь необходимо сделать два уточнения.
Во-первых, подобная процедура не является точным решением классической задачи удвоения куба.
Во-вторых, вычислительная возможность получения более точных чисел не гарантирует автоматически столь же высокой точности физического построения.
Для практической реализации необходимо учитывать характеристики инструментов и используемого масштаба.
Тем не менее математическая конструктивная возможность подобного приближения не вызывает сомнений.
Именно она представляет собой одно из оснований предлагаемой системы технологической разрешимости.
13. Квадратура круга и произвольная точность
Аналогичная ситуация возникает при приближённой квадратуре круга.
Пусть задан круг определённого радиуса.
Необходимо построить квадрат, площадь которого отличается от площади исходного круга менее чем на заранее установленную величину.
Соответствующая задача может быть сведена к определению необходимого масштабного коэффициента.
В данном случае он связан с квадратным корнем из числа пи.
Численное значение соответствующей величины приблизительно равно 1,772454.
Следовательно, если радиус исходного круга принят за единицу, сторона равновеликого квадрата приблизительно равна указанному числу.
Если необходима большая точность, можно использовать дополнительные десятичные разряды.
Однако с конструктивной точки зрения возникает более интересный вопрос.
Каким образом воспроизвести полученную числовую величину посредством обычных геометрических построений?
Один из возможных подходов заключается в использовании рациональных приближений.
Если известен рациональный коэффициент, его можно геометрически представить посредством деления отрезков и построения пропорциональных величин.
Если требуется извлечь квадратный корень из положительного рационального числа, соответствующая операция также допускает точное классическое геометрическое построение.
Таким образом, можно воспроизводить всё более точные приближения необходимой стороны квадрата.
При этом для каждого конкретного уровня точности используется конечная последовательность допустимых операций.
Именно здесь обнаруживается важнейшее различие между точной и приближённой квадратурой.
Абсолютно точное классическое построение невозможно, но последовательность сколь угодно точных приближённых построений математически допустима.
Однако следует учитывать, что каждая конкретная процедура должна обеспечивать установленную оценку погрешности.
Именно это условие отличает строгое приближённое построение от произвольного графического подбора размеров.
14. Трисекция угла посредством последовательного деления пополам
Особенно наглядный пример потенциально неограниченного уточнения можно построить для задачи трисекции произвольного угла.
Причём для этого не требуется обращаться к специальным кривым или сложным механическим устройствам.
Достаточно использовать операцию бисекции угла.
Напомним, что деление произвольного угла пополам точно выполняется посредством классических построений циркулем и немаркированной линейкой.
Следовательно, можно получить четверть исходного угла.
Затем — его шестнадцатую часть.
Далее — шестьдесят четвёртую часть.
После этого — одну двести пятьдесят шестую часть.
И так далее.
Теперь рассмотрим последовательность геометрических операций.
На первом этапе строится угол, составляющий одну четверть исходного.
На втором к нему прибавляется одна шестнадцатая часть исходного угла.
На третьем — одна шестьдесят четвёртая часть.
На четвёртом — одна двести пятьдесят шестая часть.
При продолжении соответствующей последовательности получаемый угол всё более точно приближается к одной трети исходного.
Это следует из свойств обычной геометрической прогрессии.
При этом каждый следующий этап уменьшает остаточную угловую погрешность ровно в четыре раза.
Рассмотрим пример с исходным углом шестьдесят градусов.
После первого этапа получаем пятнадцать градусов.
После второго — 18,75 градуса.
После третьего — 19,6875 градуса.
После четвёртого — 19,921875 градуса.
После пятого — приблизительно 19,980469 градуса.
После шестого — приблизительно 19,995117 градуса.
Необходимый результат составляет двадцать градусов.
Следовательно, уже после шести этапов получаем отклонение меньше пяти тысячных градуса.
При дальнейшем продолжении последовательности погрешность уменьшается ещё сильнее.
Таким образом, для любого заранее установленного положительного допуска можно определить конечное количество этапов, обеспечивающих достижение требуемой точности.
При этом используются только обычные классические геометрические операции.
Перед нами пример приближённой трисекции произвольного угла посредством последовательности точных классических построений.
Разумеется, этот результат не опровергает теорему Ванцеля.
Ни одно конечное количество указанных операций не обеспечивает абсолютно точную трисекцию произвольного угла.
Однако последовательность допускает потенциально неограниченное уточнение.
Особенно важно, что описанный принцип не требует современной вычислительной техники и опирается на элементарную геометрическую операцию бисекции.
Подобные математические возможности существовали уже в античности.
Именно поэтому для настоящей книги они представляют особый историко-методологический интерес.
Но необходимо подчеркнуть: сама идея использования последовательных двоичных приближений не является новым математическим открытием.
Главная исследовательская задача заключается в поиске наиболее эффективной организации подобных операций и возможности их распространения на существенно более широкий класс геометрических преобразований.
15. Принцип необходимой и достаточной точности
Рассмотренные примеры позволяют сформулировать один из центральных принципов предлагаемой конструктивной методологии.
Геометрическое построение должно оцениваться не только с точки зрения абсолютной математической точности, но и с точки зрения соответствия заранее установленным требованиям.
Если необходимо изготовить объект с определённым допуском, то применение конструктивной процедуры, обеспечивающей существенно более высокую точность, может оказаться технологически избыточным.
Разумеется, из этого не следует, что высокая точность сама по себе является недостатком.
Но её достижение может требовать дополнительных затрат времени, материалов и конструктивных операций.
Следовательно, возникает задача рационального согласования точности и сложности.
Именно здесь принцип необходимой и достаточной точности приобретает самостоятельное технологическое значение.
Однако его содержание не следует сводить к простому разрешению выполнять неточные чертежи.
Речь идёт о математически организованной системе построений, позволяющей заранее определять необходимые характеристики результата.
Если требуемая точность достигнута, процедура может быть завершена.
Если условия изменяются, построение уточняется.
При этом особое значение имеет доказанная возможность дальнейшего повышения точности.
Именно такое понимание позволяет соединить математическую строгость с технологической эффективностью.
Но соответствующее соединение требует разработки конкретных алгоритмов.
Одного общего утверждения о допустимости приближений недостаточно.
Необходимо определить правила построения, условия сходимости и способы оценки погрешности.
Именно в таком смысле принцип необходимой и достаточной точности рассматривается в настоящей книге.
16. Почему высокая точность не всегда означает высокую эффективность
На данном этапе возникает ещё одна важная проблема.
Предположим, что определённая геометрическая процедура позволяет получать результат с произвольно высокой точностью.
Означает ли это, что соответствующий метод является наиболее эффективным?
Совершенно не обязательно.
Одна последовательность построений может уменьшать погрешность достаточно быстро.
Другая — значительно медленнее.
Третья может требовать большого количества вспомогательных операций.
Четвёртая — использовать более сложный инструментарий.
Следовательно, математическая сходимость ещё не гарантирует конструктивной оптимальности.
Для оценки эффективности необходимо учитывать дополнительные характеристики.
Особое значение имеет количество операций, необходимых для достижения определённого уровня точности.
Не менее важна сложность отдельных действий.
Например, многократное проведение вспомогательных окружностей и прямых может быть менее удобным, чем использование заранее подготовленной геометрической конфигурации.
Однако возможна и обратная ситуация.
Создание сложной вспомогательной системы может оказаться невыгодным, если требуется выполнить только одно элементарное построение.
Следовательно, универсальность и простота не всегда автоматически совпадают.
Именно поэтому вопрос о царском пути в геометрии нельзя сводить к утверждению о существовании единственного наилучшего метода для всех обстоятельств.
Гораздо более содержательной представляется задача создания системы конструктивных принципов, позволяющей рационально организовывать различные геометрические операции.
Подлинная эффективность должна определяться не только достижимостью результата, но и стоимостью его достижения в принятой системе критериев.
Именно эта постановка приобретает особое значение для дальнейшей разработки гармонической геометрии.
17. Геометрическая арифметика как основа универсальных приближений
Рассмотрим теперь вопрос о возможной универсальной организации приближённых построений.
Во многих геометрических задачах необходимо определить некоторый масштабный коэффициент.
Он может характеризовать отношение длин, площадей, объёмов или других геометрических величин.
При этом искомый коэффициент нередко может быть вычислен с заранее заданной точностью.
Возникает задача его геометрического воспроизведения.
Если полученное приближение является рациональным числом, то соответствующее отношение можно построить посредством обычных операций с отрезками.
В частности, используются деление отрезков, перенос пропорций и свойства подобных треугольников.
Таким образом, возникает возможность построения общей геометрической арифметики линейных величин.
Однако необходимо помнить, что сами соответствующие принципы известны математике с глубокой древности.
Их использование встречается уже в евклидовой геометрии.
В дальнейшем они получили развитие в арабоязычной математической традиции и исследованиях Декарта.
Следовательно, новизна предлагаемой системы не может состоять в самом факте геометрического сложения, умножения или деления отрезков.
Особый интерес представляет конструктивная организация соответствующих операций.
Можно ли использовать одну систему подобных треугольников для последовательного воспроизведения широкого класса необходимых отношений?
Насколько удобно такая система масштабируется?
Каким образом она позволяет переходить от одной арифметической операции к другой?
И можно ли посредством её использования уменьшить количество отдельных вспомогательных построений?
Именно ответы на эти вопросы должны определить действительную универсальность предполагаемой технологии.
18. Полисекция отрезков и конструктивная эффективность
Особое место в нашей исследовательской программе занимает полисекция отрезков.
Как уже отмечалось, деление произвольного отрезка на заданное натуральное число равных частей давно известно классической геометрии.
Однако существуют различные способы организации соответствующего построения.
Один из них основан на использовании вспомогательного луча и системы параллельных прямых.
Другой может использовать систему подобных треугольников с общей вершиной.
В настоящей книге предполагается подробно исследовать авторскую конструкцию, основанную на симметричной организации подобных треугольников.
Её математическое содержание связано с переносом пропорций посредством соответствующих геометрических отношений.
Однако главный вопрос заключается не только в правильности самой полисекции.
Необходимо установить, насколько удобно соответствующая конфигурация используется для последующих операций.
В частности, представляет интерес возможность многократного применения одной исходной системы к различным задачам.
Если такая организация позволяет уменьшить количество вспомогательных построений, возникнет основание для исследования её технологических преимуществ.
Однако для убедительного доказательства необходимо сравнение с известными методами.
Следует определить количество операций, характер используемых инструментов, особенности масштабирования и возможность контроля точности.
Именно такой анализ позволит установить, представляет ли предлагаемая схема лишь альтернативный способ выполнения известной операции или обладает дополнительными конструктивными достоинствами.
В этом заключается принципиальное различие между изобретением отдельного чертежа и созданием универсальной геометрической технологии.
19. Полисекция углов и особая роль криволинейных отношений
В отличие от полисекции прямолинейных отрезков, деление углов имеет дополнительные математические особенности.
Прежде всего необходимо учитывать различие между хордой окружности и соответствующей дугой.
Если разделить прямолинейную хорду на несколько равных отрезков, полученные точки в общем случае не определяют равные части исходного центрального угла.
Следовательно, простое перенесение технологии полисекции отрезка на угловую конструкцию оказывается недостаточным.
Однако здесь возникает возможность использования последовательных приближений.
В частности, криволинейный объект может приближаться ломаной линией, состоящей из достаточно коротких хорд.
По мере соответствующего уточнения подобной системы её геометрические характеристики могут приближаться к характеристикам исходной дуги.
Именно этот принцип лежит в основе предполагаемой технологии каскадов хорд.
Однако для решения задачи полисекции угла недостаточно просто построить ломаную линию, напоминающую исходную дугу.
Необходимо также определить способы сравнения соответствующих длин и нахождения направлений искомых лучей.
Кроме того, требуется установить, как погрешность приближения дуги влияет на погрешность получаемых угловых величин.
Именно эти вопросы должны стать предметом самостоятельного математического исследования.
Особенно важно, что подобная технология может потенциально применяться не только к трисекции, но и к более общей полисекции углов.
Однако возможность такого применения должна быть доказана.
Само существование геометрических приближений ещё не означает существования универсального эффективного алгоритма.
Именно поэтому в последующих частях книги мы будем специально исследовать математическую корректность и конструктивную сложность соответствующих процедур.
20. Компьютерная геометрия XX–XXI веков
Развитие вычислительной техники открыло принципиально новые возможности геометрического моделирования.
Современные компьютерные системы позволяют строить сложные кривые, поверхности, пространственные тела и многомерные математические объекты.
При этом геометрические операции могут осуществляться посредством специальных вычислительных алгоритмов.
В частности, используются системы автоматизированного проектирования, математические пакеты, программы трёхмерного моделирования и инструменты компьютерной графики.
Однако здесь необходимо различать несколько уровней геометрической точности.
Первый связан с математическим определением объекта.
Второй — с его числовым представлением в вычислительной системе.
Третий — с визуальным изображением на экране.
Четвёртый — с физическим воспроизведением соответствующего результата.
Эти уровни не являются тождественными.
Например, компьютер может хранить точное символическое описание окружности.
Но её изображение на растровом экране неизбежно состоит из конечного множества элементов.
А реальное изготовление соответствующей детали характеризуется определёнными производственными допусками.
Следовательно, использование компьютера не устраняет самой проблемы соотношения математической точности и физической реализации.
Но оно предоставляет чрезвычайно мощные средства для управления соответствующими процессами.
Особенно важно, что современные вычислительные системы позволяют автоматизировать последовательное выполнение геометрических операций.
Однако сама возможность автоматизации ещё не гарантирует оптимальной организации алгоритма.
Именно поэтому исследование универсальных конструктивных принципов сохраняет самостоятельное значение даже в эпоху высокоразвитой вычислительной техники.
21. Вычислительная геометрия и проблема накопления погрешностей
Одной из важнейших проблем современных геометрических вычислений является накопление численных ошибок.
При выполнении арифметических операций с ограниченной точностью результаты могут содержать определённые отклонения.
Если такие результаты многократно используются в дальнейших вычислениях, соответствующие погрешности могут влиять на правильность всей геометрической конструкции.
Например, вычислительный алгоритм должен определить, лежит ли некоторая точка по одну или другую сторону заданной прямой.
Если соответствующая величина оказывается чрезвычайно близкой к нулю, обычное округление может привести к неправильному решению.
Это обстоятельство особенно существенно для сложных систем вычислительной геометрии.
В конце XX века были разработаны специальные методы адаптивной точности, позволяющие повышать надёжность подобных вычислений.
В частности, исследования Джонатана Шевчука показали возможности использования адаптивной арифметики для надёжного определения геометрических отношений.
В дальнейшем аналогичные принципы получили широкое развитие в компьютерных геометрических библиотеках.
Однако для настоящей книги важнее всего общий методологический вывод.
Точность геометрической технологии должна оцениваться не только по отдельной операции, но и по всей последовательности взаимосвязанных построений.
Даже если каждый шаг выполняется с достаточно малой погрешностью, необходимо установить, как соответствующие ошибки влияют на окончательный результат.
Именно поэтому система последовательного уточнения должна включать не только методы повышения точности, но и способы контроля накопленных отклонений.
Это обстоятельство особенно важно для предполагаемой универсальной геометрической арифметики.
Если различные операции объединяются в длинную конструктивную последовательность, необходимо исследовать устойчивость всей системы.
Следовательно, современная вычислительная геометрия предоставляет важнейшие методологические ориентиры для дальнейшего развития нашей программы.
22. Компьютерная проверка классических теорем невозможности
В XXI веке математическая наука получила дополнительные возможности строгой проверки доказательств.
Развиваются системы формальной математической логики, позволяющие представлять математические утверждения и доказательства в форме, пригодной для машинной проверки.
Особенно интересно, что соответствующие технологии применяются и к классическим геометрическим задачам.
В частности, были осуществлены формальные компьютерные проверки доказательств невозможности удвоения куба и трисекции произвольного угла посредством циркуля и линейки.
Подобные исследования позволяют уточнять логическую структуру соответствующих теорем.
При этом компьютер не заменяет математический смысл доказательства.
Он проверяет корректность формально представленных логических переходов в установленной системе аксиом и правил.
Следовательно, развитие вычислительных средств не ослабляет классические результаты о геометрической непостроимости.
Напротив, оно позволяет подвергать их дополнительной формальной проверке.
Это обстоятельство имеет особое значение для настоящего исследования.
Ведь мы не намерены утверждать, будто современные компьютеры опровергли математические достижения Ванцеля и Линдемана.
Наша задача заключается совершенно в другом.
Необходимо исследовать возможность построения самостоятельной системы геометрических технологий с иными критериями успешности.
При этом математическая корректность предлагаемых алгоритмов должна быть доказана столь же строго, как и корректность любых других научных результатов.
Именно поэтому развитие формальных методов проверки доказательств представляет для нас самостоятельный интерес.
23. Квадратура круга в теории множеств: неожиданная постановка XX–XXI веков
Особенно интересный пример принципиального изменения постановки классической задачи связан с проблемой квадратуры круга в теории множеств.
В 1925 году Альфред Тарский сформулировал задачу, существенно отличающуюся от традиционной квадратуры циркулем и линейкой.
Речь шла о возможности разделить круг на конечное количество частей и затем переместить эти части таким образом, чтобы из них получился квадрат той же площади.
При этом соответствующие части не обязаны были иметь форму обычных многоугольников.
Допускались значительно более сложные математические множества.
В 1990 году Миклош Лацкович доказал возможность такого преобразования.
Этот результат стал выдающимся достижением современной математики.
Однако необходимо правильно понимать его содержание.
Речь не идёт о построении стороны равновеликого квадрата посредством циркуля и немаркированной линейки.
Не предполагается также возможность выполнения соответствующего преобразования посредством обычного разрезания материального круга на несколько удобных деталей.
Полученные математические части могут обладать чрезвычайно сложной структурой.
В дальнейшем исследования соответствующей проблематики продолжились.
В 2017 году были опубликованы результаты, устанавливающие дополнительные свойства измеримости частей подобных разбиений.
А в 2026 году появились новые результаты, посвящённые получению разбиений с более регулярными свойствами границ и улучшенной структурой соответствующих множеств.
Таким образом, классическая тема квадратуры круга получила совершенно неожиданное развитие в современной теории множеств.
Но для нашего исследования особенно важно другое.
Изменение математической постановки позволяет получить результат, недоступный в исходной системе операций, однако не отменяет доказанных ограничений этой системы.
Именно это обстоятельство необходимо учитывать при оценке всех альтернативных способов решения классических задач.
Подобные исследования могут представлять выдающиеся самостоятельные достижения.
Но они не являются доказательством ошибочности классической теории построимости.
24. Почему математически выдающийся результат не всегда является технологически оптимальным
Рассмотренный пример позволяет вернуться к одному из центральных философских вопросов настоящей книги.
Может ли математически чрезвычайно сложная конструкция оказаться менее удобной для практической деятельности, чем значительно более простая приближённая процедура?
Разумеется, может.
Например, теория множеств позволяет исследовать преобразование круга в равновеликий квадрат посредством разбиения на специальные математические части.
Однако для практической задачи изготовления квадрата необходимой площади значительно проще определить его сторону с установленной точностью.
Если требуемый допуск известен, можно использовать соответствующее числовое приближение и обычные геометрические операции.
Таким образом, возникает различие между двумя формами математического достижения.
Первая связана с установлением принципиальной возможности некоторого преобразования в определённой абстрактной системе.
Вторая — с созданием практически удобной технологии получения необходимого результата.
При этом первая может обладать исключительной теоретической глубиной.
Но её технологическая эффективность должна оцениваться самостоятельно.
Именно здесь обнаруживается важнейшее методологическое различие между специализированной изобретательностью и универсальной конструктивной организацией.
Для решения отдельной математической задачи можно использовать чрезвычайно сложный инструментарий.
Но если существует более простая процедура, обеспечивающая необходимый результат в рамках установленных требований, именно она может оказаться предпочтительной для соответствующего практического применения.
Математическая изощрённость и технологическая эффективность не являются взаимозаменяемыми критериями.
Именно это положение имеет фундаментальное значение для будущей книги «Царский путь в геометрии».
25. Историческая гипотеза: что было возможно уже во времена Евклида?
Теперь мы подходим к одному из главных вопросов настоящего исследования.
Мы не ставим своей целью доказать, что современные компьютеры, лазерные измерительные системы и программные комплексы способны воспроизводить геометрические объекты с точностью, недоступной античным математикам.
Подобное утверждение не представляет самостоятельного интеллектуального вызова.
Гораздо интереснее другая проблема.
Насколько более универсальную и эффективную систему геометрического конструирования можно было создать уже во времена Евклида, используя доступные тогда математические знания и обычные геометрические инструменты?
Ведь свойства подобных треугольников были известны античным исследователям.
Существовали способы деления отрезков, построения параллельных прямых и переноса пропорций.
Были известны операции бисекции углов.
Исследовались геометрические приближения криволинейных величин.
Следовательно, многие исходные элементы предполагаемой универсальной технологии существовали уже в древности.
Однако само наличие таких элементов ещё не означает существования наиболее эффективной системы их организации.
Именно здесь возникает исследовательская гипотеза настоящей книги.
Возможно, последовательное объединение известных конструктивных принципов позволило бы существенно расширить область практически разрешимых геометрических задач.
Особенно интересной представляется возможность использования общей геометрической арифметики, универсальной полисекции и последовательных приближений.
Но соответствующая гипотеза не должна превращаться в заранее объявленную историческую истину.
Необходимо исследовать конкретные построения и установить их преимущества.
Особенно важно определить, какие элементы соответствующей системы действительно могли существовать в античных математических условиях, а какие предполагают значительно более поздние понятия и методы.
Только после этого можно будет обоснованно обсуждать возможные исторические альтернативы развития геометрии.
26. От отдельных конструктивных приёмов к общей технологии
На протяжении трёх тысячелетий геометрия накопила огромное количество отдельных способов построения.
Одни из них отличаются математической простотой.
Другие требуют сложных вспомогательных конструкций.
Третьи используют специальные кривые или механические инструменты.
Четвёртые основаны на последовательных приближениях.
Однако само многообразие методов ещё не обеспечивает их универсальной организации.
В настоящей книге предлагается рассмотреть возможность создания общей системы геометрических операций.
Её исходным элементом предполагается сделать универсальную полисекцию отрезков.
На этой основе исследуются геометрическая арифметика линейных величин, перенос пропорций и построение различных масштабных коэффициентов.
Далее предполагается перейти к полисекции углов и арифметике угловых величин.
Особое место должны занять каскады хорд и другие процедуры последовательного приближения.
Следующий уровень предполагает преобразования площадей, объёмов и многомерных геометрических объектов.
Однако здесь необходимо подчеркнуть принципиальное обстоятельство.
Сама идея объединения математических операций не является достаточным основанием для утверждения о создании новой универсальной технологии.
Необходимо продемонстрировать конкретные конструктивные результаты.
Кроме того, следует установить, насколько эффективно соответствующие методы взаимодействуют друг с другом.
Если переход от одной операции к другой требует постоянного создания новых сложных вспомогательных построений, предполагаемая универсальность может оказаться ограниченной.
И напротив, если одна конструктивная платформа позволяет выполнять многочисленные преобразования с относительно небольшими дополнительными затратами, возникает основание для исследования её преимуществ.
Именно этот критерий представляется нам одним из наиболее существенных.
27. Как доказать технологическое превосходство новой геометрической системы?
Рассмотрим теперь вопрос о критериях научной проверки предлагаемой методологии.
Предположим, что авторская технология позволяет выполнить определённое построение.
Сам по себе этот факт ещё не доказывает её превосходства над известными историческими методами.
Для содержательного сравнения необходимо учитывать несколько характеристик.
Прежде всего следует установить математическую корректность результата.
Затем необходимо определить область применимости соответствующей конструкции.
Особое значение имеет количество необходимых операций.
Не менее важна их сложность.
Далее следует исследовать возможность достижения заранее заданной точности.
Наконец, необходимо установить, насколько удобно соответствующий метод объединяется с другими операциями.
Именно совместный анализ этих характеристик позволяет получить достаточно объективную оценку технологической эффективности.
При этом следует учитывать, что различные методы могут иметь преимущества в разных условиях.
Например, одна конструкция может быть оптимальной для однократного построения.
Другая — для многократного воспроизведения различных отношений.
Третья — для последовательного повышения точности.
Поэтому исследование царского пути в геометрии должно предполагать не произвольное утверждение о существовании единственного наилучшего алгоритма, а поиск наиболее эффективной организации конструктивных операций в установленном классе задач.
Особенно важно, что возможное превосходство на несколько порядков должно подтверждаться измеримыми критериями.
Например, количеством операций, трудоёмкостью построений или необходимыми ресурсами для достижения установленной точности.
Только при наличии соответствующих сравнительных результатов можно будет обоснованно говорить о действительном масштабе технологических преимуществ.
28. Ментальная мощь и проблема конструктивной изобретательности
В завершение необходимо обратиться к одному из наиболее важных философских вопросов всей книги.
Что представляет собой высшую форму геометрического мышления?
Изобретение оригинального способа решения отдельной трудной задачи?
Создание нового специализированного инструмента?
Или обнаружение общего принципа, позволяющего решить целое семейство задач посредством сравнительно простых операций?
Разумеется, все перечисленные достижения могут обладать значительной интеллектуальной ценностью.
Более того, история геометрии показывает, что многие специализированные конструкции требовали выдающейся математической изобретательности.
Однако существует принципиальное различие между решением отдельной задачи и созданием универсальной конструктивной системы.
В первом случае исследователь находит определённый способ достижения конкретного результата.
Во втором — устанавливает общие закономерности, применимые к широкому классу задач.
Именно поэтому универсальная технология может обладать значительно более высокой системной ценностью.
Но здесь важно не смешивать интеллектуальную глубину математического достижения с его практической простотой.
Некоторые сложные математические теории позволяют обнаруживать фундаментальные закономерности, недоступные элементарным методам.
Следовательно, простота сама по себе не является абсолютным критерием математической ценности.
Однако если определённый результат может быть получен посредством более простой и эффективной процедуры при сохранении необходимых требований, подобная процедура обладает очевидным технологическим преимуществом.
Именно в этом заключается главный смысл предлагаемого противопоставления конструктивного хитроумия и универсальной ментальной мощи.
Хитроумие способно находить отдельные обходные решения. Ментальная мощь позволяет обнаруживать общие принципы, преобразующие само пространство геометрических задач.
В настоящей книге это положение рассматривается как философская установка, которая должна получить конкретное математико-конструктивное содержание.
29. Главный парадокс XIX–XXI веков
Теперь мы можем сформулировать один из наиболее интересных выводов настоящей главы.
В XIX веке математика получила строгие доказательства невозможности трёх знаменитых геометрических построений в рамках классических ограничений.
В XX веке были разработаны новые методы вычислений и приближённых геометрических построений.
В XXI веке появились мощные системы компьютерного моделирования, формальной проверки доказательств и исследования сложных геометрических объектов.
Однако принципиальная возможность воспроизведения многих необходимых геометрических отношений с заранее заданной точностью существовала значительно раньше.
Более того, соответствующие процедуры могли использовать математические операции, известные ещё античным геометрам.
Следовательно, возникает своеобразный исторический парадокс.
Математическая наука на протяжении столетий всё более глубоко исследовала возможности и ограничения различных конструктивных систем.
Но одновременно многие практически важные операции могли осуществляться посредством достаточно простых приближённых процедур.
Разумеется, это не означает, что античные математики располагали всеми средствами современной вычислительной геометрии.
Однако открывается возможность исследования иной исторической линии развития.
Вместо преимущественного сосредоточения внимания на отдельных знаменитых задачах можно было бы искать общую технологию геометрических преобразований.
Именно такую возможность мы предлагаем рассмотреть.
При этом особенно важно установить, насколько существенными могли оказаться преимущества подобной системы.
Возможные исторические последствия её более раннего появления требуют самостоятельного исследования.
Но сама математическая постановка вопроса представляется вполне содержательной.
30. Заключение. От доказательства невозможности — к исследованию универсальной конструктивной эффективности
История великих геометрических задач в XIX–XXI веках позволяет сделать несколько фундаментальных выводов.
Прежде всего необходимо признать исключительное значение строгих доказательств невозможности классических построений.
Работы Ванцеля и Линдемана стали выдающимися достижениями математической науки.
Они позволили установить фундаментальные свойства определённого класса геометрических операций.
Однако соответствующие результаты имеют строго определённую область применимости.
Они относятся к абсолютно точным построениям посредством установленного инструментария.
Из них не следует невозможность воспроизведения необходимых геометрических величин с заранее заданной положительной точностью.
Именно это обстоятельство создаёт основание для самостоятельной конструктивно-технологической постановки знаменитых геометрических задач.
Но здесь необходимо подчеркнуть ещё более важную мысль.
Само существование сколь угодно точных приближённых решений не является новым математическим открытием.
Подобные возможности давно известны математике.
Следовательно, главная задача настоящего исследования заключается не в повторном утверждении очевидной допустимости приближений.
Она значительно сложнее.
Необходимо установить, можно ли объединить известные элементарные геометрические операции в принципиально более эффективную конструктивную систему.
Особенно важным представляется вопрос о применимости соответствующей технологии к целому семейству античных и метаантичных задач.
Речь идёт о полисекции отрезков и углов, геометрической арифметике, построении равновеликих фигур, мультипликации площадей и объёмов, а также более общих преобразованиях пространственных объектов.
При этом математическая корректность каждой процедуры должна быть доказана.
Её область применимости должна быть установлена.
А преимущества перед известными методами должны подтверждаться конкретным сравнительным анализом.
Именно такой подход позволяет перевести проблему из области философской декларации в область проверяемого математического исследования.
Но за этой программой стоит ещё более широкий исторический вопрос.
Какая геометрия могла возникнуть уже во времена Евклида, если бы наиболее эффективная организация известных конструктивных операций стала одним из главных направлений математического исследования?
Мы не располагаем готовым ответом.
Его необходимо получить посредством дальнейшей разработки и проверки соответствующих технологий.
Однако сама постановка вопроса имеет принципиальное значение.
Она позволяет переосмыслить историю геометрии не только как последовательность открытий и доказательств невозможности, но и как историю поиска наиболее эффективных способов организации математического мышления.
Именно здесь возникает центральная идея будущего «Царского пути в геометрии».
Не изобретение всё новых обходных способов решения отдельных задач.
Не произвольное расширение инструментария.
И не замена математической строгости практическими приближениями.
Но поиск такой системы конструктивных принципов, которая обеспечивает наиболее рациональное достижение необходимых геометрических результатов.
От ограничения возможностей отдельного инструментария — к исследованию универсальных технологий построения.
От математической изощрённости частных решений — к системной конструктивной эффективности.
От трёх великих геометрических задач античности — к исследованию гораздо более широкого пространства геометрических преобразований.
Именно в этом заключается основной интеллектуальный вызов настоящей книги.
Именно этому направлению посвящён «Ультраноочеллендж трёх тысячелетий».
От геометрии невозможности — к геометрии конструктивных возможностей.
+++++++++