Глава 2

3. Аналитическая геометрия на плоскости

3.6 Гипербола

 

Каноническое уравнение гиперболы \begin{equation} \frac{x^2}{a^2}-\frac{y^2}{b^2}=1, (22) \label{hyp1} \end{equation}

соответствующий рисунок 6.

 

Рис 6: Гипербола и ее директрисы.

 

Это уравнение, напомним, выполняется в специальной системе координат, которая называется канонической. Числа $a, \, b$ называются вещественной и мнимой полуосями гиперболы. Точки $(\pm a, \, 0)$ называются вершинами гиперболы. Выпишем элементарные свойства гиперболы.

1. Из уравнения следует, что $|x| \geq a$.

2. Так как переменные $x,y$ входят в уравнение гиперболы только в квадратах, то из того, что $(x,y)$ лежат на гиперболе следует, что точки $(\pm x, \, \pm y)$ также лежат на гиперболе при любом выборе знаков. Это означает, что гипербола симметрична при отражении относительной осей координат и имеет центр симметрии, точку $O$.

3. Гипербола состоит из двух ветвей, содержит точки, сколь угодно далекие от начала координат.

4. Решая уравнение (22) относительно переменной $y$, получаем: \[ y=\pm b \sqrt{\frac{x^2}{a^2}-1}. \] Когда $|x| \rightarrow \infty$, ветви гиперболы приближаются к прямым $y=\pm bx/a$. Эти прямые называются асимптотами гиперболы, она лежит между ними. Положим для гиперболы $c=\sqrt{a^2+b^2}$, эксцентриситет $\varepsilon = c/a$. Эксцентриситет описывает вытянутость гиперболы. Точки $(\pm c, \, 0)$ называются фокусами гиперболы. Как следует из определений, $c>a$, так что для гиперболы $\varepsilon >1$. Отрезки, соединяющие точку $M$ гиперболы с ее фокусами, называются фокальными радиусами точки $M$. Уравнение гиперболы очень похоже на уравнение эллипса, отличие - в знаке одного из членов уравнения. Поэтому и описание гиперболы в определенном смысле параллельно описанию эллипса. Доказательство теорем по существу повторяет доказательство аналогичных результатов для эллипса.

Теорема. Для того, чтобы точка лежала на гиперболе, необходимо и достаточно, чтобы модуль разности ее фокальных радиусов равнялась $2a$, \begin{equation} |r_1-r_2|=2a. (23) \label{hyper2} \end{equation}  

Доказательство.

1. Достаточность. Из рисунка получаем: \[ r_1=\sqrt{(x+c)^2+y^2}, \quad r_2=\sqrt{(x-c)^2+y^2}, \] так что выполняется условие (для определенности рассматриваем правую ветвь гиперболы, так что $r_1>r_2$) \[ \sqrt{(x+c)^2+y^2}-\sqrt{(x-c)^2+y^2}=2a. \] Покажем, что отсюда следует, что $(x,y)$ удовлетворяет уравнению (22). Надо избавиться от корней. Для этого перенесем один из корней направо и возведем в квадрат. Раскрывая скобки, получаем: \[ x^2+2xc+c^2+y^2=4a^2+4a\sqrt{(x-c)^2+y^2}+x^2-2xc+c^2+y^2. \] Сокращая подобные члены и деля на 4, получаем: \[ a\sqrt{(x-c)^2+y^2}=xc -a^2. \] Возводя еще раз в квадрат, приходим к формуле: \[ a^2(x^2-2xc+c^2+y^2)=a^4-2a^2xc+x^2c^2. \] Сокращая еще раз подобные члены, получаем: \[ (a^2-c^2)x^2+a^2y^2=a^2(a^2-c^2). \] Подставляя $c^2=a^2+b^2$, получаем соотношение, только множителем отличающееся от соотношения (22).

2. Необходимость. Пусть выполняется (22), вычислим $r_1$. Имеем: \[ r_1=\sqrt{(x+c)^2+y^2}=\sqrt{(x+c)^2+b^2-\frac{b^2x^2}{a^2}}=\sqrt{x^2+2xc+c^2+\frac{b^2x^2}{a^2}-b^2}= \] \[ \sqrt{\frac{c^2x^2}{a^2}+2xc+a^2}=a+\varepsilon x. \] Вычисление $r_2$ по этой схеме приводит к результату (имеется отличие только в одном знаке!) $r_2=\varepsilon x -a$, из свойств гиперболы следует, что в правой части - положительное число. Вычитая, получаем (23). ч.т.д. Имеется еще одно описание эллипса. Введем т.н. директрисы гиперболы - прямые $x=\pm a/\varepsilon$, см. рис. 6. В данном случае $\varepsilon >1$, так что директрисы лежат между вершинами гиперболы.

 

Теорема. Для того, чтобы точка лежала на гиперболе, необходимо и достаточно, чтобы отношение расстояния от этой точки до фокуса к расстоянию до соответствующей директрисы было равно эксцентриситету гиперболы, \begin{equation} r_2/d_2=\varepsilon. (24) \label{hyp3} \end{equation}  

Доказательство.

1. Достаточность. Пусть $r_2=\varepsilon d_2$. Из рисунка следует, что $d_2=a/ \varepsilon -x$, так что \[ \sqrt{(x-c)^2+y^2}=a-\varepsilon x. \] Возводя в квадрат, получаем: \[ x^2+2xc+c^2+y^2=a^2+2\varepsilon x+\varepsilon ^2x^2. \] Приводя подобные члены и учитывая явное выражение для $\varepsilon $, получаем: \[ \frac{b^2x^2}{a^2}+y^2=b^2. \] Это соотношение, после домножения на подходящий множитель, переходит в (22).

2. Необходимость. Пусть точка $(x,y)$ лежит на гиперболе, т.е. выполняется уравнение (22). Как было показано при доказательстве предыдущей теоремы, мы получаем $r_2=\varepsilon x -a$. Из рисунка: $d_2=x-a / \varepsilon $. Делим одно на другое - получаем (24). ч.т.д. \textit{\textbf {Пример}}. Пусть известно следующее: фокусное расстояние $c=10$, она проходит через точку $(12, \, 3\sqrt{5})$. Напишем уравнение этой гиперболы. Подставляя точку в каноническое уравнение гиперболы, получаем: \[ \frac{144}{a^2}-\frac{45}{b^2}=1, \] Обозначая $b^2=s$, получим квадратное уравнение $s^2+89s-4500=0$. Его положительное решение $s=36$. Соответственно, $a^2=100-36=64$. Таким образом, искомая гипербола имеет вид \[ \frac{x^2}{64}-\frac{y^2}{36}=1, \]

 

Решение типовых задач.

Задача 1.

Написать уравнение гиперболы и уравнения ее асимптот, если вещественная полуось равна $\sqrt{15}$ и гипербола проходит через точку $\textbf{M} (5,\sqrt{6})$.

Решение.

По условию $a=\sqrt{15}$. Длину мнимой полуоси найдем, подставив в каноническое уравнение гиперболы координаты точки $\textbf{M}$: \[ \frac{5^2}{15}-\frac{6}{b^2}=1 \] Отсюда $b=3$. Тогда можно записать каноническое уравнение гиперболы \[ \frac{x^2}{15}-\frac{y^2}{9}=1 \] и уравнения асимптот $y=\pm \frac{3}{\sqrt{15}}x$.

Задача 2.

Написать уравнение гиперболы с фокусами $F_1(-7;0)$ и $F_2(7;0)$, проходящей через точку $\textbf{M}(-2;12)$.

Решение.

Найдем фокальные радиусы точки $\textbf{M}$: \[ r_1 = |MF_1| = \sqrt{(-7-(-2))^2+(0-12)^2}=13, \, \] \[ r_2 = |MF_2| = \sqrt{(7-(-2))^2+(0-12)^2}=15. \] Согласно приведенной выше теореме, модуль разности фокальных радиусов равен длине большой оси гиперболы: $|r_1-r_2|=2a$, следовательно, в нашем случае имеем $|13-15|=2a$. Значит длина большой полуоси $a=1$. По условию $c=7$. Тогда из соотношения $c=\sqrt{a^2+b^2}$ выразим малую полуось - $b=\sqrt{c^2-a^2}=\sqrt{49-1}=\sqrt{48}$. Запишем каноническое уравнение гиперболы \[ x^2 - \frac{y^2}{48}=1. \]

Задача 3.

Написать каноническое уравнение гиперболы, если ее эксцентриситет равен 2 и фокусы совпадают с фокусами эллипса $\frac{x^2}{25}+\frac{y^2}{16}=1$.

Решение.

Найдем координаты фокусов эллипса, для них выполняется соотношение $c^2=a^2-b^2$. Т.е., в нашем случае $c^2=25-16=9$. Тогда, точки $F_1(-3;0)$ и $F_2(3;0)$ являются фокусами и эллипса и гиперболы. Эксцентриситет вычисляется по формуле $\varepsilon=\frac{c}{a}$, следовательно, $a=\frac{c}{\varepsilon} = \frac{3}{2}$. Кроме того, для гиперболы справедливо соотношение $c^2=a^2+b^2$. Тогда $b^2=c^2-a^2=9-\frac{9}{4}=\frac{27}{4}$. Таким образом, искомое уравнение гиперболы имеет вид $\frac{4x^2}{9}-\frac{4y^2}{27}=1$.

 

Задачи.

1. Написать уравнение гиперболы, полуось которой равна половине фокусного расстояния эллипса \[ \frac{x^2}{169}+\frac{y^2}{144}=1, \] а фокусное расстояние гиперболы равно большой оси эллипса.

2. Написать каноническое уравнение гиперболы, если угол между ее асимптотами равен 60 градусов, и гипербола проходит через точку $(4\sqrt{3},2)$.

3. Составить уравнение гиперболы, имеющей общие фокусы с эллипсом \[ \frac{x^2}{49}+\frac{y^2}{24}=1, \] эксцентриситет которой равен 1,25.

4. Составить уравнение гиперболы, имеющей общие фокусы с эллипсом \[ \frac{x^2}{35}+\frac{y^2}{19}=1, \] и проходящей через точку $(4\sqrt{2},3)$.

5. Написать уравнение гиперболы, проходящей через точки $(6,-1)$, $(-8, 2\sqrt{2})$.

6. Вычислить фокальные радиусы для точки (-5;9/4), лежащей на гиперболе \[ \frac{x^2}{16}-\frac{y^2}{9}=1. \]

7. Определить угол между асимптотами гиперболы, у которой эксцентриситет равен 2.

8. Вычислить полуоси гиперболы, асимптоты которой даны уравнениями $y = \pm 2x$ и фокусы находятся на расстоянии 5 от центра.

9. На гиперболе \[ \frac{x^2}{16}-\frac{y^2}{9}=1 \] найти точку, для которой расстояние от левого фокуса в 2 раза больше, чем расстояние от правого фокуса.

10. Через точку $(3,-1)$ провести хорду гиперболы \[ \frac{x^2}{4}-y^2=1, \] делящуюся в этой точке пополам.