Аннотация. В статье рассмотрены новые и уже известные методы для обнаружения особых точек на плоской кривой и подтверждения гладкости этой кривой. Наш подход основан на построении касательных прямых к данной кривой, проходящих через выделенные точки вне кривой. В особой точке кривой пересекается много таких прямых, что позволяет быстро определить особую точку на выпуклой кривой. В общем случае число вещественных касательных зависит от выделенной точки на плоскости. Однако существование хотя бы одной особой точки у алгебраической кривой накладывает ограничение на алгебраическое уравнение, определяющее совокупность касательных, проходящих через выделенную точку плоскости. Так проверка гладкости плоской алгебраической кривой сводится к проверке несовместности системы линейных уравнений. С другой стороны, эти касательные можно строить графически. Так построение вещественных касательных позволяет доказать отсутствие не только вещественных, но и комплексных особых точек на проективной кривой, которые в любом случае не принадлежали бы вещественной плоскости. Это показывает эффективность графических методов для решения задач комплексной геометрии. Метод допускает непосредственное обобщение на многомерный случай, важный для решения комбинаторных задач. В этом случае надо рассматривать не отдельные касательные прямые, а конусы с вершинами в различных точках пространства. Поиск особых точек важен и для решения задач машинного зрения, в том числе для обнаружения угла у препятствия по последовательности кадров с одной камеры на движущемся транспортном средстве.
New as well as already known methods for detection of singular points on a plane curve and for this curve’s smoothness confirmation have been considered in the present paper. Our approach based on the plotting of tangent straight lines to the curve, which pass through distinguished points out of the curve. At the singular point of the curve many such lines intersect each other, because of this it is possible quickly identify the singular point on the convex curve. In general, the number of real tangent lines depends on the distinguished point on the plane. However, the existence of at least one singular point in the algebraic curve imposes a restriction on the algebraic equation determining the set of tangent lines passing through the distinguished point of the plane. So a plane algebraic curve’s smoothness checking reduces to checking the incompatibility of a linear equation system. On the other hand, it’s possible to generate the tangent lines graphically. So generation of real tangent lines allows prove the absence of not only real but also complex singular points on the projective curve, which in any case would not belonged to the real plane. This demonstrates the effectiveness of graphical methods for complex geometry’s tasks solution. The method allows the direct generalization to the multidimensional case, which is important for combinatorial problems solution. In the case, it is necessary to consider not separate tangent lines, but cones with vertices at different points in space. Search for singular points is also important for solution the problems of machine vision, including detection of an obstacle’s corner by means of the frame sequence obtained with one camera on a moving vehicle.
ВведениеЕсли плоская кривая C задана известным алгебраическим уравнением, то поиск особой точки сводится к решению системы алгебраических уравнений от двух переменных. Исключение одной переменной сводит решение этой системы к поиску корней многочлена от одной переменной. Для аппроксимации корней известны эффективные алгоритмы [14]. Исключение одной из двух переменных легко выполняется алгоритмами, основанными на вычислении базиса Гребнера [25] и реализованными во многих пакетах программ для символьных вычислений [13], например, можно использовать облачный сервис MathPartner [10]. Также известны другие методы, обзор которых сделан в работе [27].