Но ведь проекцией может, например, являться окружность, хотя исходной кривой будет эллипс и тп. Разве не так? Как быть тогда?
Аффинный тип у окружности и у эллипса один и тот же - эллипс.
Вообще, если проективное преобразование биективно, то оно сохраняет аффинный тип кривой. Т.е. если мы проецируем на
вдоль оси
, то достаточно утверждать, что кривая, отсекаемая плоскостью от поверхности не "параллельна"
(т.к. она лежит в плоскости. Это равносильно тому, что плоскость сечения не параллельна
.
Здесь же, возможно, ее нужно привести к каноническому виду и затем найти уравнение плоскости в новой системе координат, но по стандартному алгоритму данная поверхность не приводится к каноническому виду (рациональных лямбда нет).
Поясните, что Вы хотите сказать. Любая кривая 2-го порядка приводима к каноническому виду (и геометрически это очевидно).