Математика / Прямые, плоскости
Полуоси эллипса после диагонализации
После переноса и поворота эллипс приводится к виду \lambda_1X^2+\lambda_2Y^2+J=0 и полуоси выражаются через собственные значения.
Формула
В главных осях кривая имеет X^2/a^2 + Y^2/b^2 = 1.
Собственные значения дают масштабы вдоль осей.
Обозначения
- $\lambda_1,\lambda_2$
- Собственные значения матрицы квадратичной части, безразмерные
- $J$
- Константа после центрации, безразмерная
- $a,b$
- Большая и малая полуоси эллипса, единицы длины
Условия применения
- После приведения J<0 для реальной эллиптической кривой
- Собственные значения положительны после поворота
- Дискриминант Δ<0
Ограничения
- При J=0 кривая вырождается в одну точку
- Ошибки в порядке сортировки λ₁≥λ₂ меняют маркировку осей
- Для вырожденных матриц формулы полуосей не применяются
Подробное объяснение
В главных осях квадратичная форма диагональна; деление на |J| переводит к стандартному каноническому виду.
После диагонализации эллиптическая квадратичная часть имеет два коэффициента одного знака. Если свободный член после переноса имеет противоположный знак, получаются реальные полуоси эллипса. Для страницы "Полуоси эллипса после диагонализации" важно читать формулу как часть алгоритма, а не как одиночное правило. Сначала исходное уравнение приводят к стандартной матричной форме, затем смотрят на квадратичную часть и решают, нужен ли поворот осей. После этого ищут центр или вершину, убирают линейные члены насколько возможно и получают канонический вид. Только в конце называют кривую и ее параметры. Такой порядок полезен человеку: он объясняет, почему похожие уравнения могут описывать разные геометрические объекты, и почему классификация по одному признаку без проверки реальности и вырожденности может дать неверный вывод.
Как пользоваться формулой
- Найдите матрицу квадратичной части и её собственные значения
- Приведите уравнение к форме λ1X²+λ2Y²+J=0
- Выведите a и b по формулам a^2=-J/λ1, b^2=-J/λ2
- После нахождения полуосей проверьте, что обе величины положительны и соответствуют реальным точкам эллипса.
Историческая справка
Кривые второго порядка изучались еще в античной геометрии как конические сечения, но современный способ классифицировать их через уравнение возник после развития координатного метода. Декарт и Ферма сделали возможным переход от чертежа к алгебраической записи, а матричный язык XIX-XX веков дал более строгий способ понимать повороты осей, собственные направления и инварианты квадратичной части. Для "Полуоси эллипса после диагонализации" исторический контекст важен потому, что современная учебная формула соединяет несколько традиций: антическую геометрию коник, аналитическую геометрию координат и линейную алгебру квадратичных форм. Поэтому такие формулы нельзя честно приписывать одному автору; они являются результатом длительного развития языка геометрии.
Историческая линия формулы
Формула "Полуоси эллипса после диагонализации" относится к общей линии развития аналитической геометрии и теории квадратичных форм. Координатный метод исторически связывают с Декартом и Ферма, а матричная классификация и диагонализация оформились позже; поэтому атрибуция должна описывать историческую связь, а не одного автора-открывателя.
Пример
Если после приведения X^2/4 + Y^2/1 =1, то λ1=1/4?, λ2=1, J=-1 ⇒ a=2, b=1. Для "Полуоси эллипса после диагонализации" хороший численный пример должен включать не только подстановку в формулу \lambda_1U^2+\lambda_2V^2+J=0,\quad \lambda_1,\lambda_2>0,\ J<0,\quad a_i^2=\frac{-J}{\lambda_i}, но и проверку геометрического смысла. Для эллипса после диагонализации обе собственные величины квадратичной части должны давать положительные квадраты полуосей. После вычислений полезно задать себе три вопроса: какой тип кривой получился, какие преобразования координат были использованы и можно ли восстановить исходное уравнение обратным поворотом или переносом. Такой подход защищает от типичной ошибки, когда по похожей записи преждевременно называют эллипс, гиперболу или параболу, не проверив вырожденность, реальность и ориентацию осей.
Частая ошибка
Не следует подставлять λ в знаменатель без проверкой знака J. Главная ошибка в этой теме - рассматривать коэффициенты отдельно, а не как систему. Коэффициент при xy, линейные члены и свободный член совместно определяют положение и тип кривой. Для эллипса нельзя получать отрицательные квадраты полуосей и продолжать считать кривую реальной. В странице "Полуоси эллипса после диагонализации" результат следует проверять обратной подстановкой и хотя бы одной тестовой точкой, если такая точка известна.
Практика
Задачи с решением
Найти полуоси
Условие. После приведения получено 3X^2+2Y^2-12=0. Найдите a и b.
Решение. Это 3X^2+2Y^2=12 ⇒ X^2/4 + Y^2/6 =1. λ1=3, λ2=2, J=-12 ⇒ a^2=4, b^2=6.
Ответ. a=2,\ b=\sqrt6
Проверить тип и полуоси
Условие. 5X^2+10Y^2-15=0
Решение. X^2/3 + Y^2/1.5 =1 ⇒ a=\sqrt3, b=\sqrt{1.5}. Δ<0 => эллипс.
Ответ. Эллипс, a=\sqrt3, b=\sqrt{3/2}
Дополнительные источники
- Н. В. Ефимов, Краткий курс аналитической геометрии
- И. М. Гельфанд, Е. Г. Глаголева, А. А. Кириллов, Метод координат
- OpenStax, Precalculus 2e, Conic Sections
- OpenStax, Calculus Volume 3, Quadric Surfaces
Связанные формулы
Математика
Общее уравнение кривой второго порядка
Общее уравнение второй степени на плоскости объединяет уравнения окружности, эллипса, гиперболы и параболы до поворота и переноса координат.
Математика
Каноническое уравнение эллипса
Канонический вид описывает эллипс через полуоси a и b и центр (h,k): точки с постоянной суммой расстояний до фокусов формируют замкнутую кривую.
Математика
Угол поворота осей для устранения члена xy
Поворотом на угол θ убирается смешанный член xy в квадратичной форме второго порядка. Формула "Угол поворота осей для устранения члена xy" помогает перейти от общего уравнения второй степени к читаемому каноническому виду и понять, какая кривая стоит за набором коэффициентов.
Математика
Полуоси гиперболы после диагонализации
Для гиперболы после центрирования и поворота одно собственное значение имеет знак минус, другое плюс, из чего напрямую получаются полуоси.