1. Ранее отмечалось [1], что теория решения геометрических задач на построение (конструктивная геометрия) в настоящее время оказалась заметно оторвана от инженерной практики, она не преподается инженерам, в отличие, например, от аналитической геометрии, вычислительной геометрии, численных методов, компьютерной графики и др. При этом конструктивная геометрия играет важную роль как в математическом и, в частности, геометрическом – развивает изобретательность, инициативу, конструктивные способности и др. [2–5], – так и в инженерном образовании (предоставляет инженеру точные и приближенные методы решения практических задач). Поэтому исследование проблем конструктивной геометрии в условиях современности, развитие конструктивной геометрии с учетом возможностей геометрических редакторов и САПР – современных инструментов инженера – является актуальной задачей. 2. Одним из направлений таких исследований является изучение конструктивных свойств кусочно-гладких кривых – сплайнов [6–8], имеющихся во всех современных геометрических редакторах. Такими кривыми являются, например, кривые Безье. Можно отметить, что в последнее время сохраняется пристальный интерес к кривым Безье [9–11].Кривые Безье были одновременно открыты Полем де Кастельжо («Citroën») и Пьером Безье («Renault») в 60-х годах прошлого века и получили широкое распространение в САПР и системах компьютерной графики, например, инструменты построения кривых Безье есть в САПР «Компас-3D», SolidWorks, геометрических редакторах 3D Studio Max, Blender, графических редакторах Adobe Flash, Adobe Illustrator и др.Сегмент кривой Безье задается набором точек P0…Pn, из которых кривая проходит только через первую и последнюю точки. Остальные точки являются управляющими (рис. 1).                      а)                                  б)                            в)                                   г)Рис. 1. Сегменты кривой Безье: а – общего вида, б – первого порядка, в – второго порядка,г – третьего порядка Сегмент кривой Безье первого порядка задается двумя точками P0P1, второго порядка – тремя P0P1P2, третьего – четырьмя P0P1P2P3 и т.д. Известно, что сегменты кривых Безье являются алгебраическими кривыми [12]. Сегмент кривой Безье первого порядка – отрезок прямой, второго порядка – дуга квадратичной параболы, третьего порядка – дуга алгебраической кривой третьего порядка.Целью настоящего исследования является экспериментальная проверка того, что сегменты кривой Безье третьего порядка при определенном расположении управляющих вершин представляют собой дуги кубических парабол. Настоящая статья дополняет материалы ранее сделанного доклада [13], где предложен ряд конструктивных алгоритмов построения сегментов кривой Безье третьего порядка, сходных по свойствам с дугами кубических парабол. В настоящей работе выполняется их экспериментальная вычислительная проверка.3. Рассмотрим подробнее кубические параболы (рис. 2).Рис. 2. Кубические параболы разных видов и их уравнения Кубическая парабола задается уравнением вида:                                                                                       (1)В этом уравнении четыре свободных коэффициента, т.е. кривая в общем случае имеет четыре степени свободы или параметра [14]. Подсчет параметров геометрических фигур рассматривает теория параметризации – параметрическая геометрия (прикладные аспекты) – и вычислительная геометрия (теоретические аспекты). Число параметров одной и той же фигуры в одном и том же пространстве есть величина постоянная независимо от способа подсчета параметров. Параметры делят на параметры формы (зависят только от вида фигуры) и параметры положения (зависят от пространства). Максимальное число параметров положения на плоскости – 3: сдвиг вдоль осей x, y и поворот. Кубическая парабола вида (1), имеющая четыре параметра, сдвигом (минус два параметра) приводится к виду (рис. 2):                                                                                                        (2).В уравнении (2) всего два свободных коэффициента или параметра.Чтобы привести параболу вида (2) к виду:                                                                                                                  (3)– уже требуется аффинное преобразование, меняющее не только положение, но и форму кривой. Парабола вида (3) имеет один параметр (один коэффициент) и отличается от кубической параболы y=x3 степенью сжатия вдоль оси y (тоже аффинное преобразование).Поэтому можно сказать, что кубическая парабола имеет два параметра формы (степень сжатия и угол наклона касательной в центре), остальные – параметры положения. Наконец, отметим, что парабола общего вида (1) может быть дополнительно повернута относительно центра. Такой поворот не закладывается в уравнение (1) и может быть учтен лишь в общем уравнении кривых третьего порядка. Общее число параметров у кубической параболы, таким образом, равно 5, из них два – параметры формы.С точки зрения конструктивной геометрии повернутые и ориентированные вертикально параболы идентичны, если известно направление условной оси y (несобственная точка кривой). Также идентичны кривые с центром в начале координат и в произвольной известной точке.Поэтому, если далее удастся построить параболы вида (2) и (3), то при известных центре кривой и оси y соответствующие алгоритмы будут применимы к более общим кривым. 4. Алгоритм КПЦ1Т. Построение центрально-симметричной дуги кубической параболы вида y=ax3. Если дана точка 1 или 2, и построение выполнено как показано на рис. 3, тогда сегмент кривой Безье представляет собой центрально-симметричный участок кубической параболы вида (3). Точки 1 и 2 центрально-симметричный относительно центра кривой.Для вычислительной проверки алгоритма взяты значения координат точки 1, подставлены в уравнение (3), найдено значение коэффициента a (0,929766). Далее для некоторого числа случайных точек (пример показан на рис. 3 красным и голубым цветом) выполнена вычислительная проверка подстановкой значений координат в полученное уравнение.Проверка показала, что построенный при помощи алгоритма КПЦ1Т сегмент кривой Безье является центрально-симметричным участком кубической параболы вида (3). Рис. 3. Построение участка кубической параболы вида (3) и проверка 5. Алгоритм КПЦК1Т. Построение центрально-симметричной дуги кубической параболы вида y=ax3 + bx. Если дана точка 1 или 2 и известно направление касательной в центре и построение выполнено как показано на рис. 4, тогда сегмент кривой Безье представляет собой центрально-симметричный участок кубической параболы вида (2).Рис. 4. Построение участка кубической параболы вида (2) и проверка Для вычислительной проверки алгоритма взяты значения координат двух точек (показаны красным и голубым), подставлены в уравнение (2), найдены значения коэффициентов a (12,5835) и b (–0,384614). Далее для некоторого числа случайных точек (пример показан на рис. 4 желтым цветом) выполнена вычислительная проверка подстановкой значений координат в полученное уравнение.Проверка показала, что построенный при помощи алгоритма КПЦК1Т сегмент кривой Безье является центрально-симметричным участком кубической параболы вида (2). 6. Алгоритм КПЦ1ТК. Построение центрально-симметричной дуги кубической параболы вида y=ax3 + bx. Если дана точка 1 или 2 и известно направление касательной в ней и построение выполнено как показано на рис. 5, тогда сегмент кривой Безье представляет собой центрально-симметричный участок кубической параболы вида (2).Для вычислительной проверки алгоритма взяты значения координат двух точек (показаны красным и голубым), подставлены в уравнение (2), найдены значения коэффициентов a (1,57973) и b (–1,92608). Далее для некоторого числа случайных точек (пример показан на рис. 5 желтым цветом) выполнена вычислительная проверка подстановкой значений координат в полученное уравнение. Рис. 5. Построение участка кубической параболы вида (2) и проверка Проверка показала, что построенный при помощи алгоритма КПЦ1ТК сегмент кривой Безье является центрально-симметричным участком кубической параболы вида (2). 7. Дальнейшие эксперименты, в частности, разделение сегмента кривой Безье, являющегося участком кубической параболы вида (2), на части и изучение этих частей позволило найти алгоритм построения участка кубической параболы вида (1), если известны начальная и конечная точки и касательные в них.Алгоритм КП2ТК. Если даны точки 1 и 2 и направления касательных в них и построение выполнено, как показано на рис. 6, тогда сегмент кривой Безье представляет собой участок кубической параболы вида (1).Рис. 6. Построение участка кубической параболы вида (1) и проверка Для вычислительной проверки алгоритма взяты значения координат четырех точек (показаны красным, зеленым, голубым и оранжевым цветом), подставлены в уравнение (1), найдены значения коэффициентов a0 (–0,0855), b0 (1,41162), c0 (–6,74747), d0 (9,745238). Далее для некоторого числа случайных точек (пример показан на рис. 6 желтым цветом) выполнена вычислительная проверка подстановкой значений координат в полученное уравнение.Проверка показала, что построенный при помощи алгоритма КП2ТК сегмент кривой Безье является участком кубической параболы вида (1). Этот алгоритм, очевидно, обобщает предыдущие для случая двух произвольных касательных в начальной и конечной точках (в предыдущих алгоритмах касательные на концах были параллельны). 8. Рассмотрим вопрос построения кубических парабол с точки зрения конструктивной геометрии. Разделяя параметры кривой в общем виде, как было показано в [15, 16] на точечные (p), линейные (t) и числовые (v) можем составить таблицу комбинаций определителей.Таблица 1Некоторые параметрические определители кубической параболы№ п/пОпределительОписание1.p0p0pДве особые точки, одна случайная точка2.p0p0tДве особые точки, случайная линия (касательная)3.p0p0vДве особые точки, число4.p0t0pОсобая точка, особая линия, случайная точка5.p0t0tОсобая точка, особая линия, случайная линия6.p0t0vОсобая точка, особая линия, число7.p0pppОсобая точка, три случайные точки8.p0pptОсобая точка, две случайные точки, случайная линия9.p0ppvОсобая точка, две случайные точки, число10.p0pttОсобая точка, случайная точка, две случайные линии11.p0ptvОсобая точка, случайная точка, случайная линия, число12.p0pvvОсобая точка, случайная точка, два числа13.p0tttОсобая точка, три случайные линии14.p0ttvОсобая точка, две случайные линии, число15.p0tvvОсобая точка, случайная линия, два числа16.p0vvvОсобая точка, три числа17.t0t0pДве особые линии, случайная точка18.t0t0tДве особые линии, случайная линия19.t0t0vДве особые линии, число20.pppppПять случайных точек и т.д.  Особыми точками кривых являются центры, фокусы, вершины и т.п. Особыми линиями – являются директрисы, оси, хотя можно предположить, что по мере развития конструктивной геометрии найдутся и другие особые линии, в том числе кривые. Случайные точки могут быть собственные, несобственные, мнимые. В качестве случайных линий обычно рассматривают касательные – прямые или кривые, но это необязательно – в качестве такой линии может выступать, например, нормальная прямая, ортогональная окружность и пр. Интерпретация определителей каждого случая – отдельная задача. Некоторые определители очевидны: комбинация 7 – центр (p0), три точки (ppp). Некоторые комбинации могут давать несколько определителей: комбинация 9 – центр (p0), две точки (pp), угол поворота или степень сжатия (v). В частности, задание направления оси y удобно рассматривать как точечный параметр (p) с несобственной точкой. Для некоторых комбинаций трудно указать подходящий определитель, но когда-то, вероятно, это будет сделано.Рассмотренные в настоящей работе алгоритмы являются частными случаями построений для следующих определителей: КПЦ1Т, КПЦК1Т, КПЦ1ТК – p0ppt, где p0 – центр, pp – направление оси и случайная точка, t – касательная в центре или данной точке. Вариант, когда прямая t является случайной касательной, еще требует рассмотрения.КП2ТК – ppptt, где ppp – направление оси, начальная и конечная точки, tt – касательные в начальной и конечной точках. Вариант, когда касательные tt – случайные прямые, еще требует рассмотрения.Как видно из табл. 1, значительно большее число возможных определителей еще не рассмотрены, и дальнейшие исследования позволят найти соответствующие алгоритмы. 9. Проведенное исследование позволяет сделать следующие выводы.•      Сегмент кривой Безье при определенном расположении управляющих точек является участком кубической параболы того или иного вида. Это позволяет использовать кубические параболы при решении задач графическим способом наравне с прямыми, окружностями и др.•      Кривые Безье имеются во многих геометрических и графических редакторах. Полученные алгоритмы можно в них применять для решения практических задач.•      Геометрический редактор, как инструмент геометрических построений, позволяет проводить вычислительные эксперименты для проверки гипотез в области конструктивной геометрии. Точность представления значений координат точек, углов и пр., в геометрическом редакторе достаточна, чтобы установленные таким способом факты нельзя было считать случайностью. Проверенные гипотезы в дальнейшем можно доказывать аналитически, но для практического использования вычислительной проверки достаточно.•      Дальнейшее исследование кривых Безье в вопросах представления кусков кубических парабол позволит найти новые алгоритмы для других комбинаций исходных данных и определителей.