2. Гипербола. Гиперболой мы назвали линию, которая в некоторой декартовой прямоугольной системе координат определяется каноническим уравнением
(9)
Из этого уравнения видно, что для всех точек гиперболы, т. е. все точки гиперболы лежат вне вертикальной полосы ширины 2а (рис. 32). Ось абсцисс канонической системы координат пересекает гиперболу в точках с координатами (а, 0) и (-а,0), называемых вершинами гиперболы. Ось ординат не пересекает гиперболу. Таким образом, гипербола состоит из двух не связанных между собой частей. Они называются ее ветвями.
Числа а и b называются соответственно вещественной и мнимой полуосями гиперболы.
В точности так же, как и для эллипса, доказывается
Предложение 6. Для гиперболы оси канонической системы координат являются осями симметрии, а начало канонической системы — центром симметрии.
Для исследования формы гиперболы найдем ее пересечение с произвольной прямой, проходящей через начало координат. Уравнение прямой возьмем в виде у = kx, поскольку мы уже знаем, что прямая х = 0 не пересекает гиперболу. Абсциссы точек перечения находятся из уравнения
Поэтому, если , то
Это позволяет указать координаты точек пересеченияи, где обозначено . В силу симметрии
достаточно проследить за движением первой из точек при изменении к (рис. 33).
Числитель дроби аb/v постоянен, а знаменатель принимает наибольшее значение при к = 0. Следовательно, наименьшую абсциссу имеет вершина (а,0). С ростом к знаменатель убывает, и х растет, стремясь к бесконечности, когда к приближается к числу b/а. Прямая у = bх/а с угловым коэффициентом b/а не пересекает гиперболу, и прямые с большими угловыми коэффициентами ее тем более не пересекают. Любая прямая с меньшим положительным угловым коэффициентом пересекает гиперболу.
Если мы будем поворачивать прямую от горизонтального положения по часовой стрелке, то к будет убывать,расти, и прямая будет пересекать гиперболу во все удаляющихся точках, пока не займет положения с угловым коэффициентом -b/а.
К прямой у = -bх/а относится все, что было сказано о у = bх/а: она не пересекает гиперболу и отделяет прямые, пересекающие ее, от не пересекающих. Из приведенных рассуждений вытекает, что гипербола имеет вид, изображенный на рис. 33.
Определение. Прямые с уравнениями у = bх/а и у = -bх/а в канонической системе координат называются асимптотами гиперболы.
Запишем уравнения асимптот в виде bх - ау = 0 и bх + ау = 0. Расстояния от точки М(х,у) до асимптот равны соответственно
,
Если точка М находится на гиперболе, то , и
Предложение 7. Произведение расстояний от точки гиперболы до асимптот постоянно и равно
Отсюда следует важное свойство асимптот.
Предложение 8. Если точка движется по гиперболе так, что ее абсцисса по абсолютной величине неограниченно возрастает, то расстояние от точки до одной из асимптот стремится к нулю.
Действительно, хотя бы одно из расстояний h1 или h2 при этих условиях должно неограниченно возрастать, и, если бы предложение было неверно, произведение не было бы постоянно.
Введем число с, положив с^2=a^2+b^2 и . Фокусами гиперболы называются точки и с координатами (с, 0) и (—с, 0) в канонической системе координат.
Отношение, как и для эллипса, называется эксцентриси
тетом. У гиперболы
Предложение 9. Расстояния от произвольной точки М(х,у) на гиперболе до каждого из фокусов следующим образом зависят от ее абсциссы х:
• (11)
Доказательство этого утверждения почти дословно совпадает с доказательством предложения 2, и мы не будем его воспроизводить. Заметим, что равенства (11) можно подробнее записать так:
для правой ветви гиперболы
для левой ветви гиперболы
Итак, для правой ветви , а для левой ветви . В обоих случаях (12)
Предложение 10. Для того чтобы точка М лежала на гиперболе, необходимо и достаточно, чтобы разность ее расстояний до фокусов по абсолютной величине равнялась вещественной оси гиперболы 2а.
Необходимость условия уже доказана. Для доказательства достаточности условия его нужно представить в виде
Дальнейшее отличается от доказательства предложения 3 только тем, что нужно воспользоваться равенством (10), а не (2).
Директрисами гиперболы называются прямые, задаваемые в канонической системе координат уравнениями
X = a/e; x = -a/e (13)
Директрисы лежат ближе к центру, чем вершины, и, следовательно, не пересекают гиперболу. Директриса и фокус, лежащие по одну сторону от центра, считаются соответствующими друг другу.
Предложение 11. Для того чтобы точка лежала на гиперболе,
необходимо и достаточно, чтобы отношение ее расстояния до фокуса к расстоянию до соответствующей директрисы равнялось эксцентриситету(рис. 36).
Доказательство повторяет доказательство предложения 4. Докажем, например, необходимость условия для фокуса
Пусть— точка гиперболы.
Расстояние от М' до директрисы с уравнениемпо формуле (9) равно
Из формулы (11) мы видим теперь, что
Уравнение касательной к гиперболе в точкележащей
на ней, выводится так же, как соответствующее уравнение (8) для эллипса. Оно имеет вид
(14)
Предложение 12. Касательная к гиперболе в точке есть биссектриса угла между отрезками, соединяющими эту точку с фокусами.
Доказательство почти не отличается от доказательства предложения 5. Рекомендуем читателю полностью провести доказательства этого и остальных утверждений, здесь сформулированных, но не доказанных для гиперболы.