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

Замечание 7.2. Говоря о разности расстояний, подразумевают, что из большего расстояния вычитается меньшее. Это значит, что на самом деле для гиперболы постоянным является модуль разности расстояний от любой ее точки до двух фиксированных точек. #

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

Фиксированные точки в определении гиперболы (обозначим их F 1 и F 2) называют фокусами гиперболы . Расстояние между ними (обозначим его 2с) называют фокальным расстоянием , а отрезки F 1 M и F 2 M, соединяющие произвольную точку M на гиперболе с ее фокусами, - фокальными радиусами .

Вид гиперболы полностью определяется фокальным расстоянием |F 1 F 2 | = 2с и значением постоянной величины 2а, равной разности фокальных радиусов, а ее положение на плоскости - положением фокусов F 1 и F 2 .

Из определения гиперболы следует, что она, как и эллипс, симметрична относительно прямой, проходящей через фокусы, а также относительно прямой, которая делит отрезок F 1 F 2 пополам и перпендикулярна ему (рис. 7.7). Первую из этих осей симметрии называют действительной осью гиперболы , а вторую - ее мнимой осью . Постоянную величину а, участвующую в определении гиперболы, называют действительной полуосью гиперболы .

Середина отрезка F 1 F 2 , соединяющего фокусы гиперболы, лежит на пересечении ее осей симметрии и поэтому является центром симметрии гиперболы, который называют просто центром гиперболы .

Для гиперболы действительная ось 2а должна быть не больше, чем фокальное расстояние 2с, так как для треугольника F 1 MF 2 (см. рис. 7.7) справедливо неравенство ||F 1 M| - |F 2 M| | ≤ |F 1 F 2 |. Равенство а = с выполнено только для тех точек M, которые лежат на действительной оси симметрии гиперболы вне интервала F 1 F 2 . Отбрасывая этот вырожденный случай, далее будем предполагать, что а

Уравнение гиперболы . Рассмотрим на плоскости некоторую гиперболу с фокусами в точках F 1 и F 2 и действительной осью 2а. Пусть 2с - фокальное расстояние, 2c = |F 1 F 2 | > 2а. Согласно замечанию 7.2, гипербола состоит из тех точек M(х; у), для которых | |F 1 M| - - |F 2 M| | = 2а. Выберем прямоугольную систему координат Oxy так, чтобы центр гиперболы находился в начале координат , а фокусы располагались на оси абсцисс (рис. 7.8). Такую систему координат для рассматриваемой гиперболы называют канонической , а соответствующие переменные - каноническими .


В канонической системе координат фокусы гиперболы имеют координаты F 1 (c; 0) и F 2 (-с; 0). Используя формулу расстояния между двумя точками, запишем условие ||F 1 M| - |F 2 M|| = 2а в координатах |√((х - с) 2 + у 2) - √((х + с) 2 + у 2)| = 2а, где (x; у) - координаты точки M. Чтобы упростить это уравнение, избавимся от знака модуля: √((х - с) 2 + у 2) - √((х + с) 2 + у 2) = ±2а, перенесем второй радикал в правую часть и возведем в квадрат: (х - с) 2 + у 2 = (х + с) 2 + у 2 ± 4а √((х + с) 2 + у 2) + 4а 2 . После упрощения получим -εх - а = ±√((х + с) 2 + у 2), или

√((х + с) 2 + у 2) = |εх + а| (7.7)

где ε = с/а. Возведем в квадрат вторично и снова приведем подобные члены: (ε 2 - 1)х 2 - у 2 = с 2 - а 2 , или, учитывая равенство ε = с/а и полагая b 2 = c 2 - a 2 ,

x 2 /a 2 - y 2 /b 2 = 1 (7.8)

Величину b > 0 называют мнимой полуосью гиперболы .

Итак, мы установили, что любая точка на гиперболе с фокусами F 1 (с;0) и F 2 (-с; 0) и действительной полуосью а удовлетворяет уравнению (7.8). Но надо также показать, что координаты точек вне гиперболы этому уравнению не удовлетворяют. Для этого мы рассмотрим семейство всех гипербол с данными фокусами F 1 и F 2 . У этого семейства гипербол оси симметрии являются общими. Из геометрических соображений ясно, что каждая точка плоскости (кроме точек, лежащих на действительной оси симметрии вне интервала F1F2, и точек, лежащих на мнимой оси симметрии) принадлежит некоторой гиперболе семейства, причем только одной, так как разность расстояний от точки до фокусов F 1 и F 2 меняется от гиперболы к гиперболе. Пусть координаты точки M(х; у) удовлетворяют уравнению (7.8), а сама точка принадлежит гиперболе семейства с некоторым значением ã действительной полуоси. Тогда, как мы доказали, ее координаты удовлетворяют уравнению Следовательно, система двух уравнений с двумя неизвестными

имеет хотя бы одно решение. Непосредственной проверкой убеждаемся, что при ã ≠ а это невозможно. Действительно, исключив, например, x из первого уравнения:

после преобразований получаем уравнение

которое при ã ≠ а не имеет решений, так как . Итак, (7.8) есть уравнение гиперболы с действительной полуосью а > 0 и мнимой полуосью b = √(с 2 - а 2) > 0. Его называют каноническим уравнением гиперболы .

Вид гиперболы. По своему виду гипербола (7.8) заметно отличается от эллипса. Учитывая наличие двух осей симметрии у гиперболы, достаточно построить ту ее часть, которая находится в первой четверти канонической системы координат. В первой четверти, т.е. при x ≥ 0, у ≥ 0, каноническое уравнение гиперболы однозначно разрешается относительно у:

у = b/a √(x 2 - а 2). (7.9)

Исследование этой функции y(x) дает следующие результаты.

Область определения функции - {x: x ≥ а} ив этой области определения она непрерывна как сложная функция, причем в точке x = а она непрерывна справа. Единственным нулем функции является точка x = а.

Найдем производную функции y(x): y"(x) = bx/a√(x 2 - а 2). Отсюда заключаем, что при x > а функция монотонно возрастает. Кроме того, , а это означает, что в точке x = a пересечения графика функции с осью абсцисс существует вертикальная касательная. Функция y(x) имеет вторую производную y" = -ab(x 2 - а 2) -3/2 при x > а, и эта производная отрицательна. Поэтому график функции является выпуклым вверх, а точек перегиба нет.

Указанная функция имеет наклонную асимптоту, это вытекает из существования двух пределов:


Наклонная асимптота описывается уравнением y = (b/a)x.

Проведенное исследование функции (7.9) позволяет построить ее график (рис. 7.9), который совпадает с частью гиперболы (7.8), содержащейся в первой четверти.

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

стороны от ее мнимой оси симметрии. Эти ветви не ограничены с обеих сторон, причем прямые у = ±(b/a)x являются одновременно асимптотами и правой и левой ветвей гиперболы.

Оси симметрии гиперболы различаются тем, что действительная пересекает гиперболу, а мнимая, будучи геометрическим местом точек, равноудаленных от фокусов, - не пересекает (поэтому ее и называют мнимой). Две точки пересечения действительной оси симметрии с гиперболой называют вершинами гиперболы (точки A(a; 0) и B(-a; 0) на рис. 7.10).

Построение гиперболы по ее действительной (2a) и мнимой (2b) осям следует начинать с прямоугольника с центром в начале координат и сторонами 2a и 2b, параллельными, соответ-ственно, действительной и мнимой осям симметрии гиперболы (рис. 7.11). Асимптоты гиперболы являются продолжениями диагоналей этого прямоугольника, а вершины гиперболы - точками пересечения сторон прямоугольника с действительной осью симметрии. Отметим, что прямоугольник и его положение на плоскости однозначно определяют форму и положение гиперболы. Отношение b/a сторон прямоугольника определяет степень сжатости гиперболы, но вместо этого параметра обычно используют эксцентриситет гиперболы. Эксцентриситетом гиперболы называют отношение ее фокального расстояния к действительной оси. Эксцентриситет обозначают через ε. Для гиперболы, описываемой уравнением (7.8), ε = c/a. Отметим, что если эксцентриситет эллипса может принимать значения из полуинтервала }