Определение и каноническая форма
Пусть \(F_1,F_2\) — фиксированные фокусы. Гиперболой называют множество точек \(M\), для которых
\[|MF_1-MF_2|=2a,\]
где \(0<a<c\), \(2c=F_1F_2\). В канонической системе
\[\frac{x^2}{a^2}-\frac{y^2}{b^2}=1,\qquad b^2=c^2-a^2.\]1, 2
Фокусы равны \((\pm c,0)\), эксцентриситет \(e=c/a>1\).1
Асимптоты
При больших \(|x|\) ветви гиперболы приближаются к прямым
\[y=\pm\frac{b}{a}x.\]
Эти прямые являются её асимптотами. Они проходят через центр гиперболы и определяют направления ветвей на бесконечности.1
Фокальные свойства и касательная
Директрисы канонической гиперболы имеют уравнения \(x=\pm a/e\), а отношение расстояния до соответствующего фокуса к расстоянию до директрисы равно \(e\). Фокальные радиусы на каждой ветви линейно выражаются через \(x\), но знак формулы зависит от ветви и нумерации фокусов.1
В точке \(M_0=(x_0,y_0)\) гиперболы касательная имеет вид
\[\frac{xx_0}{a^2}-\frac{yy_0}{b^2}=1.\]1, 2
Оптическое свойство
Касательная к гиперболе в точке \(M\) образует равные углы с двумя фокальными направлениями, если одно из них продолжить за точку \(M\). Поэтому луч, вышедший из одного фокуса, после отражения от гиперболы идёт так, что обратное продолжение отражённого луча проходит через второй фокус. В отличие от эллипса, сам отражённый луч через второй фокус не проходит.1