Русская Википедия:Гипербола (математика)
Гипе́рбола (Шаблон:Lang-grc, от Шаблон:Lang-grc2 — «верх» + Шаблон:Lang-grc2 — «бросать») — геометрическое место точек M евклидовой плоскости, для которых абсолютное значение разности расстояний от M до двух выделенных точек <math>F_1 </math> и <math>F_2</math> (называемых фокусами) постоянно. Точнее,
- <math>\bigl||F_1M|-|F_2M|\bigr|= 2a,</math> причём <math> |F_1F_2| > 2a > 0.</math>
Наряду с эллипсом и параболой, гипербола является коническим сечением и квадрикой. Гипербола может быть определена как коническое сечение с эксцентриситетом, бо́льшим единицы.
История
Термин «гипербола» (Шаблон:Lang-el — избыток) был введён Аполлонием Пергским (ок. 262 год до н. э. — ок. 190 год до н. э.), поскольку задача о построении точки гиперболы сводится к задаче о приложении с избытком.
Определения
Гипербола может быть определена несколькими путями.
Коническое сечение
Гипербола может быть определена как множество точек, образуемое в результате сечения кругового конуса плоскостью, отсекающей обе части конуса. Другими результатами сечения конуса плоскостью являются парабола, эллипс, а также такие вырожденные случаи, как пересекающиеся и совпадающие прямые и точка, возникающие, когда секущая плоскость проходит через вершину конуса. В частности, пересекающиеся прямые можно считать вырожденной гиперболой, совпадающей со своими асимптотами.
Как геометрическое место точек
Через фокусы
Гипербола может быть определена как геометрическое место точек, абсолютная величина разности расстояний от которых до двух заданных точек, называемых фокусами, постоянна.
Для сравнения: кривая постоянной суммы расстояний от любой её точки до фокусов — эллипс, постоянного отношения — окружность Аполлония, постоянного произведения — овал Кассини.
Через директрису и фокус
Геометрическое место точек, для которых отношение расстояния до фокуса и до заданной прямой, называемой директрисой, постоянно и больше единицы, называется гиперболой. Заданная постоянная <math>\varepsilon>1</math> называется эксцентриситетом гиперболы.
Связанные определения
a — расстояние от центра C до каждой из вершин
b — длина перпендикуляра к оси абсцисс, восставленного из каждой из вершин до пересечения с асимптотой
c — расстояние от центра C до любого из фокусов, F1 и F2,
θ — угол, образованный каждой из асимптот и осью, проведённой между вершинами
- Гипербола состоит из двух отдельных кривых, которые называют ветвями.
- Ближайшие друг к другу точки двух ветвей гиперболы называются вершинами.
- Кратчайшее расстояние между двумя ветвями гиперболы называется большой осью гиперболы.
- Середина большой оси называется центром гиперболы.
- Расстояние от центра гиперболы до одной из вершин называется большой полуосью гиперболы.
- Обычно обозначается a.
- Расстояние от центра гиперболы до одного из фокусов называется фокальным расстоянием.
- Обычно обозначается c.
- Оба фокуса гиперболы лежат на продолжении большой оси на одинаковом расстоянии от центра гиперболы. Прямая, содержащая большую ось гиперболы, называется действительной, или поперечной, осью гиперболы.
- Прямая, перпендикулярная действительной оси и проходящая через её центр, называется мнимой, или сопряжённой, осью гиперболы.
- Отрезок между фокусом гиперболы и гиперболой, перпендикулярный её действительной оси, называется фокальным параметром.
- Расстояние от фокуса до асимптоты гиперболы называется прицельным параметром.
- Обычно обозначается b.
- В задачах, связанных с движением тел по гиперболическим траекториям, расстояние от фокуса до ближайшей вершины гиперболы называется перицентрическим расстоянием
- Обычно обозначается <math>r_p</math>.
Соотношения
Для характеристик гиперболы, определённых выше, существуют следующие соотношения
- <math>c^2 = a^2 + b^2</math>.
- <math> \varepsilon = c/a</math>.
- <math>b^2 = a^2\left( \varepsilon^2 - 1\right)</math>.
- <math>r_p = a\left( \varepsilon - 1\right)</math>.
- <math>a = \frac{p}{\varepsilon^2-1}</math>.
- <math>b = \frac{p}{\sqrt{\varepsilon^2-1}}</math>.
- <math>c = \frac{p\varepsilon}{\varepsilon^2-1}</math>.
- <math>p = \frac{b^2}{a}</math>.
Равнобочная гипербола
Гиперболу, у которой <math>a = b</math>, называют равнобочной, или равносторонней. Равнобочная гипербола в некоторой прямоугольной системе координат описывается уравнением
- <math>xy = a^2/2,</math>
при этом фокусы гиперболы располагаются в точках (a, a) и (−a, −a). Равнобочная гипербола является графиком обратной пропорциональности, задаваемой формулой
- <math>y = \frac{k}{x},\quad k \ne 0.</math>
Эксцентриситет такой гиперболы равен <math>\sqrt{2}</math>.
Гипербола Киперта
Равнобочная гипербола как гипербола Киперта может быть определена через треугольники в трилинейных координатах[1] в виде геометрического места точек <math>N</math> (см. рис.):
- Если три треугольника <math>XBC</math>, <math>YCA</math> и <math>ZAB</math> построены на сторонах треугольника <math>ABC</math>, являются подобными, равнобедренными с основаниями на сторонах исходного треугольника, и одинаково расположенными (то есть все они построены либо с внешней стороны, либо с внутренней стороны), то прямые <math>AX</math>, <math>BY</math> и <math>CZ</math> пересекаются в одной точке <math>N</math>.
Если общий угол при основании равен <math>\theta</math>, то вершины трёх треугольников имеют следующие трилинейные координаты:
- <math>X\big(-\sin\theta : \sin(C + \theta) : \sin(B + \theta)\big),</math>
- <math>Y\big(\sin(C + \theta) : -\sin\theta : \sin(A + \theta)\big),</math>
- <math>Z\big(\sin(B + \theta) : \sin(A + \theta) : -\sin\theta\big).</math>
Уравнения
Декартовы координаты
Гипербола задаётся уравнением второй степени в декартовых координатах (x, y) на плоскости:
- <math>
A_{xx} x^{2} + 2 A_{xy} xy + A_{yy} y^{2} + 2 B_{x} x + 2 B_{y} y + C\,=\,0 </math>, где коэффициенты Axx, Axy, Ayy, Bx, By, и C удовлетворяют следующему соотношению
- <math>
D = \begin{vmatrix} A_{xx} & A_{xy}\\A_{xy} & A_{yy} \end{vmatrix} < 0</math> и
- <math>
\Delta := \begin{vmatrix} A_{xx} & A_{xy} & B_{x} \\A_{xy} & A_{yy} & B_{y}\\B_{x} & B_{y} & C \end{vmatrix} \not= 0. </math>
Канонический вид
Перемещением центра гиперболы в начало координат и вращением её относительно центра уравнение гиперболы можно привести к каноническому виду:
- <math>
\frac{{x}^{2}}{a^{2}} - \frac{{y}^{2}}{b^{2}} = 1 </math>, где <math>a</math> — действительная полуось гиперболы; <math>b</math> — мнимая полуось гиперболы[2]. В этом случае эксцентриситет равен
- <math>\varepsilon=\frac{c}{a}=\sqrt{1+\frac{b^2}{a^2}}.</math>
Полярные координаты
Если полюс находится в фокусе гиперболы, а вершина гиперболы лежит на продолжении полярной оси, то
- <math>r = \frac{p}{1-\varepsilon \cos\varphi }</math>
Если полюс находится в фокусе гиперболы, а полярная ось параллельна одной из асимптот, то
- <math>\frac{1}{r} = \frac{a}{b^2}\left(1-\cos\theta\right) + \frac{1}{b}\sin\theta</math>
Уравнения в параметрической форме
Подобно тому, как эллипс может быть представлен уравнениями в параметрической форме, в которые входят тригонометрические функции, гипербола в прямоугольной системе координат, центр которой совпадает с её центром, а ось абсцисс проходит через фокусы, может быть представлена уравнениями в параметрической форме, в которые входят гиперболические функции[3].
<math>\begin{cases}
x = \pm a\operatorname{ch}t, \\
y = b\operatorname{sh}t,
\end{cases} \quad -\infty < t < +\infty. </math>
В первом уравнении знак «+» соответствует правой ветви гиперболы, а «−» — её левой ветви.
Свойства
- Оптическое свойство. Свет от источника, находящегося в одном из фокусов гиперболы, отражается второй ветвью гиперболы таким образом, что продолжения отраженных лучей пересекаются во втором фокусе.
- Иначе говоря, если <math>F_1</math> и <math>F_2</math> фокусы гиперболы, то касательная в любой точке <math>X</math> гиперболы является биссектрисой угла <math>\angle F_1 X F_2</math>.
- Для любой точки, лежащей на гиперболе, отношение расстояний от этой точки до фокуса к расстоянию от этой же точки до директрисы есть величина постоянная.
- Гипербола обладает зеркальной симметрией относительно действительной и мнимой осей, а также вращательной симметрией при повороте на угол 180° вокруг центра гиперболы.
- Каждая гипербола имеет сопряжённую гиперболу, для которой действительная и мнимая оси меняются местами, но асимптоты остаются прежними. Сопряжённая гипербола не является результатом поворота начальной гиперболы на угол 90°; гиперболы различаются формой при <math>a \neq b</math>.
- Отрезок касательной в каждой точке гиперболы, заключенный между двумя асимптотами гиперболы, делится точкой касания пополам и отсекает от двух асимптот треугольник постоянной площади.
Асимптоты
Уравнения асимптот для гиперболы, заданной в каноническом виде
- <math>
\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1 </math> выводятся следующим образом. Пусть <math>x,y>0</math>. Предположим, что асимптота существует и имеет вид <math>y=kx+l</math>. Тогда
- <math>
k=\lim_{x \to +\infty}\frac{f(x)}{x} =\lim_{x \to +\infty}\frac{\frac{b}{a}\sqrt{x^2-a^2}}{x} =\lim_{x \to +\infty}\frac{b}{a}\left( \frac{\sqrt{x^2-a^2}}{x} \right) =\lim_{x \to +\infty}\frac{b}{a} \left(\sqrt{1 - \frac{a^2}{x^2}} \right) =\frac{b}{a}, </math>
- <math>
l = \lim_{x \to +\infty} \left( f(x) - kx \right) = \lim_{x \to +\infty} \frac{b}{a} \left( \sqrt{x^2-a^2} - x \right) = \lim_{x \to +\infty} \frac{b}{a} \cdot \frac{-a^2}{\sqrt{x^2-a^2}+x} = 0. </math> Таким образом, уравнения двух асимптот имеют вид:
<math>y=\plusmn \frac{b}{a} x</math>
или
- <math>\frac{x}{a}\pm\frac{y}{b}=0.</math>
Диаметры и хорды
Диаметром гиперболы, как и всякого конического сечения, является прямая, проходящая через середины параллельных хорд. Каждому направлению параллельных хорд соответствует свой сопряжённый диаметр. Все диаметры гиперболы проходят через её центр. Диаметр, соответствующий хордам, параллельным мнимой оси, есть действительная ось; диаметр соответствующий хордам, параллельным действительной оси, есть мнимая ось.
Угловой коэффициент <math>k</math> параллельных хорд и угловой коэффициент <math>k_1</math> соответствующего диаметра связан соотношением
- <math>k \cdot k_1 = \varepsilon^2 - 1 = \frac{b^2}{a^2}.</math>
Если диаметр a делит пополам хорды, параллельные диаметру b, то диаметр b делит пополам хорды, параллельные диаметру a. Такие диаметры называются взаимно сопряжёнными. Главными диаметрами называются взаимно сопряжённые и взаимно перпендикулярные диаметры. У гиперболы есть только одна пара главных диаметров — действительная и мнимая оси.
Касательная и нормаль
Поскольку гипербола является гладкой кривой, в каждой её точке (x0, y0) можно провести касательную и нормаль. Уравнение касательной к гиперболе, заданной каноническим уравнением, имеет вид:
- <math>
\frac{xx_0}{a^2} - \frac{yy_0}{b^2} = 1 </math>, или, что то же самое,
- <math>
y = y_0 + \frac{b^2x_0}{a^2y_0}\left(x-x_0\right) </math>.
| Вывод уравнения касательной |
|---|
|
Уравнение касательной произвольной плоской линии имеет вид
y-y_0 = y'\left(x_0, y_0\right)\cdot\left(x - x_0\right) </math> Каноническое уравнение гиперболы можно представить в виде пары функций
y = \pm\sqrt{\frac{b^2}{a^2}x^2 - b^2} </math>. Тогда производная этих функций имеет вид
y'=\pm\frac{\frac{b^2}{a^2}x}{\sqrt{\frac{b^2}{a^2}x^2 - b^2}} = \frac{b^2}{a^2}\frac{x}{y} </math>. Подставив это уравнение в общее уравнение касательной, получим
y - y_0 = \frac{b^2}{a^2}\frac{x_0}{y_0}\left(x - x_0\right)</math>
</math> |
Уравнение нормали к гиперболе имеет вид:
- <math>
y = y_0 - \frac{a^2}{b^2}\frac{y_0}{x_0}\left(x-x_0\right) </math>.
| Вывод уравнения нормали |
|---|
|
Уравнение нормали произвольной плоской линии имеет вид
y-y_0 = \frac{1}{y'\left(x_0, y_0\right)}\left(x_0 - x\right) </math>. Каноническое уравнение гиперболы можно представить в виде пары функций
y = \pm\sqrt{\frac{b^2}{a^2}x^2 - b^2} </math>. Тогда производная этих функций имеет вид
y'=\pm\frac{\frac{b^2}{a^2}x}{\sqrt{\frac{b^2}{a^2}x^2 - b^2}} = \frac{b^2}{a^2}\frac{x}{y} </math>. Подставив это уравнение в общее уравнение нормали, получим
y - y_0 = - \frac{a^2}{b^2}\frac{y_0}{x_0}\left(x-x_0\right) </math>. |
Кривизна и эволюта
Кривизна гиперболы в каждой её точке (x, y) определяется из выражения:
- <math>
K = \frac{ab}{\left(\frac{a^2}{b^2}y^2 + \frac{b^2}{a^2}x^2\right)^{3/2}} </math>. Соответственно, радиус кривизны имеет вид:
- <math>
R = \frac1K =\frac{\left(\frac{a^2}{b^2}y^2 + \frac{b^2}{a^2}x^2\right)^{3/2}}{ab} </math>. В частности, в точке (a, 0) радиус кривизны равен
- <math>
R\left(a,0\right) = \frac{b^2}{a} = p </math>.
| Вывод формулы для радиуса кривизны |
|---|
|
Формула для радиуса кривизны плоской линии, заданной параметически, имеет вид:
R_c = \frac{\left(x'^2\ + y'^2\right)^{3/2}}{\left| x'y - xy'\right|} </math>. Воспользуемся параметрическим представлением гиперболы:
\begin{cases} x = a \cdot \mathrm{ch}\,(t) \\ y = b \cdot \mathrm{sh}\,(t) \end{cases} </math> Тогда, первая производная x и y по t имеет вид
\begin{cases} x' = a \cdot \mathrm{sh}\,(t) = \frac{a}{b}y \\ y' = b \cdot \mathrm{ch}\,(t) = \frac{b}{a}x \end{cases} </math>, а вторая производная -
\begin{cases} x = a \cdot \mathrm{ch}\,(t) = x \\ y = b \cdot \mathrm{sh}\,(t) = y \end{cases} </math> Подставляя эти значения в формулу для кривизны получаем:
R_c = \frac{\left(\frac{a^2}{b^2}y^2\ + \frac{b^2}{a^2}x^2\right)^{3/2}}{\left| a\frac{y^2}{b} - b\frac{x^2}{a}\right|} = \frac{\left(\frac{a^2}{b^2}y^2\ + \frac{b^2}{a^2}x^2\right)^{3/2}}{ab\left| \frac{y^2}{b} - \frac{x^2}{a}\right|} = \frac{\left(\frac{a^2}{b^2}y^2\ + \frac{b^2}{a^2}x^2\right)^{3/2}}{ab} </math>. |
Координаты центров кривизны задаются парой уравнений:
- <math>
\begin{cases} x_c = \frac{x^3}{a^2}\left(1+\frac{b^2}{a^2}\right) \\ y_c = -\frac{y^3}{b^2}\left(1+\frac{a^2}{b^2}\right) \end{cases} </math>
Подставив в последнюю систему уравнений вместо x и y их значения из параметрического представления гиперболы, получим пару уравнений, задающих новую кривую, состоящую из центров кривизны гиперболы. Эта кривая называется эволютой гиперболы.
- <math>
\begin{cases} x = \pm a\,\mathrm{ch}^3\,t\left(1+\frac{b^2}{a^2}\right) \\ y = b\,\mathrm{sh}^3\,t\left(1+\frac{a^2}{b^2}\right) \end{cases} </math>
Обобщение
Гипербола есть синусоидальная спираль при <math>n = -2</math>.
Применение
- Семейство конфокальных (софокусных) гипербол вместе с семейством софокусных эллипсов образуют двумерную эллиптическую систему координат.
- Другие ортогональные двумерные координатные системы, построенные с помощью гипербол, могут быть получены с помощью других конформных преобразований. Например, преобразование w = z² отображает декартовы координаты в два семейства ортогональных гипербол.
- Инверсией гиперболы с центром, лежащим в её собственном центре, в фокусе или на вершине можно получить соответственно лемнискату Бернулли, улитку Паскаля или строфоиду.
- Гиперболы можно видеть на многих солнечных часах. В течение любого дня года Солнце описывает окружность на небесной сфере, и его лучи, падающие на верхушку гномона солнечных часов, описывают конус света. Линия пересечения этого конуса с плоскостью горизонтальных или вертикальных солнечных часов является коническим сечением. На наиболее населённых широтах и в большую часть года это коническое сечение является гиперболой. На солнечных часах часто показаны линии, описываемые тенью от верхушки гномона в течение дня для нескольких дней года (например, дней летнего и зимнего солнцестояний), таким образом, на них часто можно видеть определённые гиперболы, вид которых различен для различных дней года и различных широт.
- АМС, преодолевая притяжение основного влияющего на неё тела и далеко улетая от него, при отсутствии возмущений, должна двигаться по гиперболической траектории или параболической траектории, поскольку в таком случае теоретически возможно удаление до бесконечности от данного тела[4]. В частности, гиперболическими относительно Солнца являются траектории АМС «Вояджер-1» и АМС «Вояджер-2», с эксцентриситетом 3,7 и 6,3 и большой полуосью 480,9 млн км и 601,1 млн км соответственно[5][6]. Гиперболическая траектория небесного тела в Солнечной системе может указывать на его межзвёздное происхождение. В конце 2010-х годов были открыты первый межзвёздный астероид и первая межзвёздная комета[7], их траектории — гиперболические. Однако известные ранее кометы с гиперболической траекторией небольшого эксцентриситета только собираются стать межзвёздными: испытав во время своей «жизни» в Солнечной системе возмущение от такой планеты, как Юпитер, они ложатся на межзвёздный курс[8].
См. также
- Гиперболоид
- Гиперболы, описанные около треугольника
- Каустика
- Конические сечения
- Кривая второго порядка
- Окружность
- Парабола
- Эллипс
- Кривая постоянной суммы расстояний между двумя точками — эллипс,
- Кривая постоянной разности расстояний между двумя точками — гипербола,
- Кривая постоянного отношения — окружность Аполлония,
- Кривая постоянного произведения — овал Кассини.
- Шаблон:Sl
Примечания
Литература
- Шаблон:Статья
- Шаблон:ВТ-ЭСБЕ
- Математическая энциклопедия (в 5 томах). М.: Советская энциклопедия, 1982.
- Шаблон:Статья
Шаблон:ВС Шаблон:Кривые Шаблон:Конические сечения
- ↑ Eddy, R. H. and Fritsch, R. The Conics of Ludwig Kiepert: A Comprehensive Lesson in the Geometry of the Triangle. Math. Mag. 67, pp. 188—205, 1994.
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Шаблон:Cite web
- ↑ Шаблон:Книга Содержит эксцентриситет орбиты АМС «Вояджер-2» относительно Солнца после пролёта Нептуна.
- ↑ Шаблон:Cite web
- ↑ Шаблон:Книга
.svg){kind=link}
.jpg){kind=link}
