Уравнение определяет невырожденную действительную кривую второго порядка

Теоремы, связанные с кривыми второго порядка

Содержание

1.Кривые второго порядка

2.Теоремы, связанные с кривыми второго порядка

Введение

Впервые кривые второго порядка изучались одним из учеников Платона. Его работа заключалась в следующем: если взять две пересекающиеся прямые и вращать их вокруг биссектрисы угла, ими образованного, то получится конусная поверхность. Если же пересечь эту поверхность плоскостью, то в сечении получаются различные геометрические фигуры, а именно эллипс, окружность, парабола, гипербола и несколько вырожденных фигур.

Однако эти научные знания нашли применение лишь в XVII, когда стало известно, что планеты движутся по эллиптическим траекториям, а пушечный снаряд летит по параболической. Ещё позже стало известно, что если придать телу первую космическую скорость, то оно будет двигаться по окружности вокруг Земли, при увеличении этой скорости — по эллипсу, а по достижении второй космической скорости тело по параболе покинет поле притяжения Земли.

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

Кривой 2-го порядка называется линия на плоскости, которая в некоторой декартовой системе координат определяется уравнением

ax2 + 2bxy + cy2 + 2dx + 2ey + f = 0

где a, b, c, d, e, f — вещественные коэффициенты, причем a2 + b2 + c2 ≠ 0 .

Вид кривой зависит от четырёх инвариантов:

инварианты относительно поворота и сдвига системы координат:

инвариант относительно поворота системы координат (полуинвариант):

Многие важные свойства кривых второго порядка могут быть изучены при помощи характеристической квадратичной формы, соответствующей уравнению кривой:

Так, например, невырожденная кривая оказывается вещественным эллипсом, мнимым эллипсом, гиперболой или параболой в зависимости от того, будет ли положительно определённой, отрицательно определённой, неопределённой или полуопределённой квадратичной формой, что устанавливается по корням характеристического уравнения:

Корни этого уравнения являются собственными значениями вещественной симметричной матрицы и, как следствие этого, всегда вещественны:

Кривые второго порядка классифицируются на невырожденные кривые и вырожденные.

Доказано, что кривая 2–го порядка, определяемая этим уравнением принадлежит к одному из следующих типов: эллипс, гипербола, парабола, пара прямых (пересекающихся, параллельных или совпадающих), точка, пустое множество.

Иными словами, для каждой кривой 2-го порядка (для каждого уравнения) существует такая система координат, в которой уравнение кривой имеет вид:

Эллипс

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

Если эллипс описывается каноническим уравнением

где a > 0 , b > 0, a > b > 0 — большая и малая полуоси эллипса, то фокусы эллипса расположены симметрично на оси абсцисс и имеют координаты (−c, 0) и ( c, 0), где

Величина e = c/a называется эксцентриситетом эллипса.

По определению эллипса r1 + r2 = 2a, r1 и r2 − фокальные радиусы, их длины вычисляются по формулам

Если фокусы эллипса совпадают, то эллипс является окружностью.

Гипербола

Гиперболой называется кривая второго порядка, которая в некоторой декартовой системе координат описывается уравнением

где a > 0, b > 0 — параметры гиперболы.

Это уравнение называется каноническим уравнением гиперболы, а система координат, в которой гипербола описывается каноническим уравнением, называется канонической.

В канонической системе оси координат являются осями симметрии гиперболы, а начало координат — ее центром симметрии.

Точки пересечения гиперболы с осью OX ( ± a, 0) называются вершинами гиперболы.

С осью OY гипербола не пересекается.

Отрезки a и b называются полуосями гиперболы.

Прямые ay − bx = 0 и ay + bx = 0 — асимптоты гиперболы, при удалении точки гиперблы в бесконечность, соответствующая ветвь гиперболы приближается к одной из асимптот.

Уравнение описывает гиперболу, вершины которой лежат на оси OY в точках (0, ± b).

Такая гипербола называется сопряженной к гиперболе её асимптоты — те прямые ay − bx = 0 и ay + bx = 0. Говорят о паре сопряжённых гипербол.

Парабола

Параболой называется кривая второго порядка, которая в некоторой декартовой системе координат описывается уравнением

где p > 0 — параметр параболы.

Такое уравнение называется каноническим уравнением параболы, а система координат, в которой парабола описывается каноническим уравнением, называется канонической.

В канонической системе ось абсцисс является осью симметрии параболы, а начало координат — её вершиной.

Уравнения y2 = −2 px, x2 = 2 py, и x2 = −2 py, p > 0, в той же самой канонической системе координат также описывают параболы:

Теоремы, связанные с кривыми второго порядка

Теоремма Паскамля — теорема проективной геометрии, которая гласит, что:

Если шестиугольник вписан в окружность либо любое другое коническое сечение (эллипс, параболу, гиперболу, даже пару прямых), то точки пересечения трёх пар противоположных сторон лежат на одной прямой. Теорема Паскаля двойственна к теореме Брианшона.

Теорема Брианшона является классической теоремой проективной геометрии. Она сформулируется следующим образом:

Если шестиугольник описан около конического сечения, то три диагонали, соединяющие противоположные вершины этого шестиугольника, проходят через одну точку.

В частности, в вырожденном случае:

Если стороны шестиугольника проходят поочерёдно через две данные точки, то три диагонали, соединяющие его противоположные вершины, проходят через одну точку.

Теорема Брианшона двойственна к теореме Паскаля, а её вырожденный случай двойственен к теореме Паппа.

Литература

1. Корн Г., Корн Т. Кривые второго порядка (конические сечения) // Справочник по математике. — 4-е издание. — М: Наука, 1978. — С. 64-69.

2. Корн Г., Корн Т. 2.4-5. Характеристическая квадратичная форма и характеристическое уравнение // Справочник по математике. — 4-е издание. — М: Наука, 1978. — С. 64.

3. В.А. Ильин, Э.Г. Позняк. Аналитическая геометрия, гл. 6. М.: «Наука», 1988.

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

Кривая второго порядка — это некоторая линия на плоскости, которая в декартовой системе координат задается общим уравнением:

Имеем дело с уравнением второй степени, в котором коэффициенты при старших членах — при вторых степенях одновременно не нули.

или можно встретить следующую форму записи:

К кривым второго порядка относятся окружность, эллипс, гипербола и парабола.

Покажем на примере определение значений коэффициентов.

Рассмотрим кривую второго порядка:

Вычислим определитель из коэффициентов:

Если Δ = 0, кривая второго порядка параболического типа,

если Δ > 0, кривая второго порядка эллиптического типа,

если Δ F₁ и F₂ — фокусы.

с — фокальное расстояние,

Каноническое уравнение эллипса с центром симметрии в начале координат:

2а — большая ось эллипса, 2b — малая ось эллипса.

а — большая полуось эллипса, b — малая полуось эллипса.

Если a = b, то имеем окружность с радиусов R = a = b:

Если центр эллипса находится не в начале координат, а в некоторой точке C(x₀;y₀), оси эллипса параллельны осям координат, то каноническое уравнение эллипса имеет вид:

Эксцентриситет — число, равное отношению фокального расстояния к большей полуоси:

Эксцентриситет характеризует отклонение эллипса от окружности, т.е. чем эксцентриситет больше, тем эллипс более сплющен, вытянут.

Гипербола — множество точек на плоскости для каждой из которых абсолютная величина разности расстояний до двух данных точек F₁ и F₂ есть величина постоянная, меньшая расстояния между этими точками.

с — фокальное расстояние,

Расстояние от центра гиперболы до одного из фокусов называется фокальным расстоянием.

Каноническое уравнение гиперболы с центром симметрии в начале координат:

x — действительная ось, y — мнимая ось.

а — действительная полуось, b — мнимая полуось.

Если центр гиперболы находится в некоторой точке C(x₀;y₀), оси симметрии параллельны осям координат, то каноническое уравнение имеет вид:

Эксцентриситет гиперболы — число, равное отношению фокусного расстояния к действительной полуоси.

Чем эксцентриситет меньше, тем гипербола более вытянута, сплюшена вдоль оси Ох.

Директриса гиперболы — прямые, параллельные мнимой оси гиперболы и отстоящая от нее на расстоянии a/Ε.

f₁ — правая директриса, f₂ — левая директриса.

Порядок построения гиперболы :

1. Строим прямоугольник со сторонами 2a и 2b.

2. Провести асимптоты гиперболы — диагонали построенного прямоугольника.

3. Строим гиперболу с вершинами в точках А 1 (-а;0), А 2 (а;0).

Парабола — множество точек на плоскости для каждой из которых расстояние до данной точки F равно расстоянию до данной прямой f.

F — фокус параболы, f — директриса параболы.

Кривые второго порядка. Канонический вид уравнений второго порядка.

Кривая второго порядка — геометрическое место точек на плоскости, прямоугольные координаты

которых удовлетворяют уравнению вида:

в котором, по крайней мере один из коэффициентов a₁₁, a₁₂, a₂₂ не равен нулю.

Инварианты кривых второго порядка.

Вид кривой зависим от 4 инвариантов, приведенных ниже:

— инварианты относительно поворота и сдвига системы координат:

— инвариант относительно поворота системы координат (полуинвариант):

Для изучения кривых второго порядка рассматриваем произведение А*С.

Общее уравнение кривой второго порядка выглядит так:

Ax 2 +2Bxy+Cy 2 +2Dx+2Ey+F=0

— Если А*С > 0, то уравнение принимает вид уравнения эллиптического типа. Любое эллиптическое

уравнение – это уравнение или обычного эллипса, или же вырожденного эллипса (точки), или мнимого

эллипса (в таком случае уравнение не определяет на плоскости ни одного геометрического образа);

уравнение выражает или простую гиперболу, или вырожденную гиперболу (две пересекающиеся прямые);

— Если А*С = 0, то линия второго порядка не будет центральной. Уравнения такого типа называют

уравнениями параболического типа и выражают на плоскости или простую параболу, или 2 параллельных

(либо совпадающих) прямых, или не выражают на плоскости ни одного геометрического образа;

— Если А*С ≠ 0, кривая второго порядка будет центральной;

Таким образом, виды кривых второго порядка:

Канонический вид уравнений второго порядка.

Вводя новую систему координат можно привести уравнения кривых второго порядка к стандартному

каноническому виду. Характеристики канонических уравнений очень легко выражаются через инварианты

Δ, D, I и корни характеристического уравнения .