Кривые Безье второго порядка

Кривая Безье второго порядка (также квадратичная кривая Безье) — это параметрическая кривая, задаваемая тремя контрольными точками и являющаяся частным случаем общей кривой Безье. Она широко применяется в компьютерной графике, системах автоматизированного проектирования (САПР), шрифтовых технологиях и моделировании траекторий движения благодаря своей простоте, гладкости и вычислительной эффективности.

Определение и математическое описание

Кривая Безье второго порядка определяется тремя контрольными точками: начальной \(P_0\), конечной \(P_2\) и промежуточной \(P_1\), которая не обязательно лежит на самой кривой, но задаёт её форму. Параметрическое уравнение кривой имеет вид:

\[ B(t) = (1-t)^2 P_0 + 2t(1-t) P_1 + t^2 P_2, \quad t \in [0, 1] \]

где \(t\) — параметр, изменяющийся от 0 до 1. При \(t=0\) кривая проходит через точку \(P_0\), при \(t=1\) — через \(P_2\). Векторное представление позволяет вычислять координаты точек кривой для любого \(t\) как взвешенную сумму контрольных точек.

Кривая является квадратичной функцией параметра \(t\), что отличает её от линейных кривых Безье (первого порядка) и кубических кривых Безье (третьего порядка). В декартовых координатах каждая координата точки кривой описывается квадратичным полиномом.

Геометрическая интерпретация

Геометрически кривая Безье второго порядка может быть построена с помощью алгоритма де Кастельжо. Для заданного \(t\) на отрезках \(P_0P_1\) и \(P_1P_2\) находятся точки \(Q_0\) и \(Q_1\) соответственно, делящие эти отрезки в отношении \(t:(1-t)\). Затем на отрезке \(Q_0Q_1\) находится точка \(B(t)\), делящая его в том же отношении. Этот процесс иллюстрирует, что кривая является выпуклой комбинацией точек, и она всегда лежит внутри выпуклой оболочки контрольных точек — треугольника \(P_0P_1P_2\).

Свойства

Кривая Безье второго порядка обладает рядом важных свойств, определяющих её практическое применение:

• Интерполяция граничных точек: кривая проходит через начальную и конечную контрольные точки.
• Касательные: вектор касательной в начальной точке \(P_0\) направлен от \(P_0\) к \(P_1\), а в конечной точке \(P_2\) — от \(P_1\) к \(P_2\). Это свойство используется для обеспечения гладкого соединения кривых.
• Выпуклость: кривая полностью лежит внутри выпуклой оболочки своих контрольных точек, что гарантирует отсутствие неожиданных выбросов.
• Инвариантность к аффинным преобразованиям: применение аффинных преобразований (сдвиг, масштабирование, поворот) к контрольным точкам эквивалентно применению тех же преобразований к самой кривой.
• Симметрия: кривая не зависит от порядка следования контрольных точек, если поменять местами \(P_0\) и \(P_2\).
• Ограниченная форма: в отличие от кривых более высоких порядков, квадратичная кривая Безье не может иметь точек перегиба или самопересечений — она всегда является параболой (или её отрезком).

Сравнение с кривыми других порядков

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

• Линейные кривые Безье (первого порядка) задаются двумя точками и представляют собой отрезок прямой. Они не позволяют моделировать изогнутые формы.
• Кубические кривые Безье (третьего порядка) задаются четырьмя контрольными точками и обеспечивают большую гибкость: они могут иметь точки перегиба, более сложные изгибы и лучше аппроксимировать сложные формы. Однако они требуют больше вычислений.
• Квадратичные кривые являются компромиссом: они проще кубических, но позволяют создавать гладкие дуги, параболы и окружности (с определённой точностью). Векторные шрифты формата TrueType используют именно квадратичные кривые Безье, в отличие от PostScript и OpenType, где применяются кубические.

Применение

Компьютерная графика и векторные редакторы

Квадратичные кривые Безье широко используются в векторных графических редакторах (например, Adobe Illustrator, CorelDRAW, Inkscape) для построения плавных контуров. Инструмент «Перо» позволяет пользователю задавать контрольные точки, а программа автоматически строит кривую. В формате SVG (Scalable Vector Graphics) для описания квадратичных кривых используется команда Q (или q для относительных координат).

Шрифтовые технологии

В шрифтах TrueType (разработанных компанией Apple и Microsoft) контуры глифов описываются исключительно квадратичными кривыми Безье и отрезками прямых. Это позволяет уменьшить объём данных по сравнению с кубическими кривыми при сохранении приемлемой точности. В более современном формате OpenType также поддерживаются квадратичные кривые, хотя чаще используются кубические.

Системы автоматизированного проектирования (САПР)

В САПР квадратичные кривые применяются для построения плавных обводов деталей, траекторий обработки на станках с ЧПУ и моделирования поверхностей. Они часто используются как базовые элементы для построения NURBS-кривых (неоднородных рациональных B-сплайнов).

Анимация и моделирование траекторий

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

Робототехника и управление движением

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

Примеры

1. Парабола: если контрольные точки расположены так, что \(P_1\) является серединой отрезка между \(P_0\) и \(P_2\) в проекции на ось, кривая представляет собой отрезок параболы.
2. Дуга окружности: квадратичная кривая Безье не может точно описать дугу окружности, но может аппроксимировать её с высокой точностью при определённом расположении контрольных точек. Например, для аппроксимации четверти окружности радиусом \(R\) контрольные точки выбираются так, чтобы кривая проходила через точки \((0, R)\), \((R, 0)\) и промежуточную точку \((\sqrt{2}R/2, \sqrt{2}R/2)\).
3. Сглаживание углов: в векторной графике квадратичные кривые часто используются для скругления острых углов многоугольников.

Интересные факты

• Кривые Безье были разработаны в 1960-х годах французским инженером Пьером Безье (Pierre Bézier) для проектирования кузовов автомобилей компании Renault. Однако математический аппарат, лежащий в их основе, был независимо открыт советским математиком Сергеем Натановичем Бернштейном в 1912 году в контексте теории аппроксимации функций.
• Квадратичные кривые Безье являются частным случаем более общих B-сплайнов и NURBS-кривых.
• В формате PDF (Portable Document Format) поддерживаются как квадратичные, так и кубические кривые Безье, что обеспечивает совместимость с различными векторными форматами.

Критика и ограничения

Несмотря на широкое распространение, квадратичные кривые Безье имеют ограничения:

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

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

Источники

• Bézier, P. (1974). Mathematical and Practical Possibilities of UNISURF. Computer-Aided Design, 6(3), 127–135.
• Farin, G. (2002). Curves and Surfaces for CAGD: A Practical Guide (5th ed.). Morgan Kaufmann.
• Rogers, D. F., & Adams, J. A. (1990). Mathematical Elements for Computer Graphics (2nd ed.). McGraw-Hill.
• Foley, J. D., van Dam, A., Feiner, S. K., & Hughes, J. F. (1996). Computer Graphics: Principles and Practice (2nd ed.). Addison-Wesley.
• TrueType 1.0 Specification (1995). Apple Computer, Inc. & Microsoft Corporation.