Линейная система коников - Linear system of conics - Wikipedia

В алгебраическая геометрия, то конические секции в проективной плоскости образуют линейная система размерности пять, как можно увидеть, посчитав константы степени два уравнения. Условие прохождения через заданную точку п накладывает одно линейное условие, так что коники C через п образуют линейную систему размерности 4. Другие типы условий, которые представляют интерес, включают касание к заданной линии.L.

В самых элементарных трактовках линейная система появляется в виде уравнений

с неизвестными скалярами λ и μ, не равными нулю. Здесь C и C ′ даны коники. Абстрактно можно сказать, что это проективная линия в пространстве всех коник, на которых мы берем

в качестве однородные координаты. Геометрически мы замечаем, что любая точка Q общий для C и C ′ также находится на каждой из коник линейной системы. В соответствии с Теорема Безу C и C ′ пересечется в четырех точках (при правильном подсчете). Предполагая, что они находятся в общая позиция, т.е. четыре различных пересечения, мы получаем другую интерпретацию линейной системы как коники, проходящие через четыре заданные точки (обратите внимание, что коразмерность четыре здесь соответствует измерению один в пятимерном пространстве коник). Обратите внимание, что из этих коник ровно три являются выродиться, каждая из которых состоит из пары линий, соответствующих способы выбора 2 пар баллов из 4 баллов (считая через полиномиальный коэффициент, а с учетом перерасчета в 2 раза делает, когда заинтересован в подсчете пары пар а не только выборки размера 2).

Приложения

Яркое применение такого семейства - в (Смеситель 1996 ) что дает геометрическое решение уравнения четвертой степени рассмотрев пучок коник через четыре корня квартики и отождествив три вырожденных коники с тремя корнями резольвентная кубическая.

Пример

Внешнее видео
значок видео Тип I линейная система, (Коффман ).

Например, учитывая четыре балла проходящий через них пучок коник можно параметризовать как которые являются аффинные комбинации уравнений и соответствующие параллельным вертикальным и горизонтальным линиям; это дает вырожденные коники в стандартных точках Менее элегантная, но более симметричная параметризация дается формулой в этом случае инвертирование а () развязки Икс и у, давая следующий карандаш; во всех случаях центр находится в начале координат:

  • гиперболы, открывающиеся вправо и влево;
  • параллельные вертикальные линии
(точка пересечения на [1: 0: 0])
  • эллипсы с большой вертикальной осью;
  • круг (с радиусом );
  • эллипсы с большой горизонтальной осью;
  • параллельные горизонтальные линии
(точка пересечения в [0: 1: 0])
  • гиперболы, открывающиеся вверх и вниз,
  • диагональные линии
(деление на и принимая предел как дает )
(точка пересечения в [0: 0: 1])
  • Затем это зацикливается на поскольку карандаши проективный линия.

В терминологии (Леви 1964 ), это линейная система конусов типа I. Она анимирована в связанном видео.

Классификация

Существует 8 типов линейных систем коник над комплексными числами, в зависимости от кратности пересечения в базовых точках, которые делятся на 13 типов по действительным числам, в зависимости от того, являются ли базовые точки действительными или мнимыми; это обсуждается в (Леви 1964 ) и проиллюстрировано в (Коффман ).

Рекомендации

  • Коффман, Адам, Линейные системы коник, получено 2020-08-08
  • Фосетт, Уильям Марк (январь 1996 г.), "Геометрическая интерпретация решения общего многочлена четвертой степени", Американский математический ежемесячник, 103 (1): 51–57, CiteSeerX  10.1.1.111.5574, JSTOR  2975214
  • Леви, Гарри (1964), Проективная и родственная геометрии, Нью-Йорк: The Macmillan Co., стр. X + 405.