За стилску фигуру, погледајте Хипербола (књижевност)

Хипербола (старогрч. ύπερβολή, претеривање) у математици је алгебарска крива другог реда у равни, дата следећом једначином: ${\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1}$. Састоји се из два симетрична дела, има два фокуса и две асимптоте дате једначином ${\displaystyle ay\pm bx=0}$. Тачка пресека асимптота представља центар симетрије хиперболе. Хипербола, заједно са параболом и елипсом, представља три типа конусних пресека. Конусни пресеци се добијају у пресеку равни са конусном површином (конусна површина се протеже у оба правца).

Хиперболе настају на много начина:

• као крива која представља функцију и ${\displaystyle y(x)=1/x}$ у Декартовој равни,^[1]
• као стаза коју прати сенка врха сунчаног сата,
• као облик отворене орбите (за разлику од затворене елиптичне орбите), као што је орбита свемирске летелице током замаха планете уз помоћ гравитације или, уопштеније, било које свемирске летелице која премашује брзину бекства најближе планете,
• као путања комете са једном појавом (оне која путује пребрзо да би се икада вратила у Сунчев систем),
• као путања расејања субатомске честице (на коју делују одбојне уместо привлачне силе, али принцип је исти),
• у радио навигацији, када се може одредити разлика између растојања до две тачке, али не и саме удаљености,

и тако даље.

Свака грана хиперболе има два крака који постају равнији (доња кривина) даље од центра хиперболе. Дијагонално супротни кракови, по један из сваке гране, теже у лимиту ка заједничкој линији, која се назива асимптота та два крака. Дакле, постоје две асимптоте, чији је пресек у центру симетрије хиперболе, што се може сматрати тачком огледала око које се свака грана одражава да би формирала другу грану. У случају криве ${\displaystyle y(x)=1/x}$ асимптоте су две координатне осе.^[1]

Хиперболе деле многа аналитичка својства елипсе као што су ексцентрицитет, фокус и директрису. Обично се кореспонденција може направити само са променом предзнака у неком термину. Многи други математички објекти имају своје порекло у хиперболи, као што су хиперболички параболоиди (површине седла), хиперболоиди („корпе за отпатке“), хиперболична геометрија (прослављена нееуклидска геометрија Лобачевског), хиперболичке функције (sinh, cosh, tanh, итд) , и жировекторски простори (геометрија предложена за употребу у релативистичкој и у квантној механици која није Еуклидска).

Реч „хипербола“ потиче од грчке речи ὑπερβολή, што значи „премашено“ или „претерано“, од чега потиче и енглески израз hyperbole. Хиперболе је открио Менехм у својим истраживањима проблема удвостручавања коцке, али су тада назване пресеци тупих конуса.^[2] Верује се да је термин хипербола сковао Аполоније из Перге (око 262–190. п. н. е.) у свом делу о конусним пресецима, Коникама.^[3] Називи друга два општа конусна пресека, елипса и парабола, потичу од одговарајућих грчких речи за „недостатак“ и „примењен“; сва три назива су позајмљена из раније питагорејске терминологије која се односила на поређење странице правоугаоника фиксне површине са датим сегментом линије. Правоугаоник може да се „примени“ на сегмент (што значи да има једнаку дужину), да буде краћи од сегмента или да премаши сегмент.^[4]

Хипербола се може геометријски дефинисати као скуп тачака (локус тачака) у Еуклидовој равни:

Хипербола је скуп тачака, такав да је за било коју тачку скупа ${\displaystyle P}$ апсолутна разлика растојања ${\displaystyle |PF_{1}|,\,|PF_{2}|}$ на две фиксне тачке ${\displaystyle F_{1},F_{2}}$ (жаришта) константна, обично се означава са ${\displaystyle 2a,\,a>0:}$^[5]

${\displaystyle H=\{P:||PF_{2}|-|PF_{1}||=2a\}\ .}$

Средња тачка сегмента линије ${\displaystyle M}$ који спаја фокусе назива се центар хиперболе.^[6] Линија која пролази кроз жаришта назива се главна оса. Оно садржи врхове ${\displaystyle V_{1},V_{2}}$, који имају растојање ${\displaystyle a}$ до центра. Удаљеност ${\displaystyle c}$ од фокуса до центра се назива жижна удаљеност или линеарни ексцентрицитет. Количник ${\displaystyle {\tfrac {c}{a}}}$ је ексцентрицитет ${\displaystyle e}$.

Једначина ${\displaystyle ||PF_{2}|-|PF_{1}||=2a}$ се може посматрати на другачији начин (погледајте дијаграм):
Ако је ${\displaystyle c_{2}}$ круг са средином ${\displaystyle F_{2}}$ и полупречником ${\displaystyle 2a}$, тада је растојање тачке ${\displaystyle P}$ десне гране до круга ${\displaystyle c_{2}}$ једнако растојању до фокуса ${\displaystyle F_{1}}$:

${\displaystyle |PF_{1}|=|Pc_{2}|.}$

${\displaystyle c_{2}}$ се назива кружна директриса (повезана са фокусом ${\displaystyle F_{2}}$) хиперболе.^[7][8] Да би се добила лева грана хиперболе, мора се користити кружна директриса сродна за ${\displaystyle F_{1}}$. Ово својство не треба мешати са дефиницијом хиперболе уз помоћ директрисе (линије) испод.

Ако је 'xy-координатни систем ротиран око почетка за угао ${\displaystyle -45^{\circ }}$ и нове координате ${\displaystyle \xi ,\eta }$ су додељене, тада је ${\displaystyle x={\tfrac {\xi +\eta }{\sqrt {2}}},\;y={\tfrac {-\xi +\eta }{\sqrt {2}}}}$.
Правоугаона хипербола ${\displaystyle {\tfrac {x^{2}-y^{2}}{a^{2}}}=1}$ (чије су полуосе једнаке) има нову једначину ${\displaystyle {\tfrac {2\xi \eta }{a^{2}}}=1}$. Решавање за ${\displaystyle \eta }$ даје ${\displaystyle \eta ={\tfrac {a^{2}/2}{\xi }}\ .}$

Дакле, у систему xy-координата график функције ${\displaystyle f:x\mapsto {\tfrac {A}{x}},\;A>0\;,}$ са једначином

${\displaystyle y={\frac {A}{x}}\;,A>0\;,}$ је правоугаона хипербола у потпуности у првом и трећем квадранту са

• координатне осе као асимптоте,
• права ${\displaystyle y=x}$ као главна оса,
• центар ${\displaystyle (0,0)}$ и полу-оса ${\displaystyle a=b={\sqrt {2A}}\;,}$
• врхови ${\displaystyle \left({\sqrt {A}},{\sqrt {A}}\right),\left(-{\sqrt {A}},-{\sqrt {A}}\right)\;,}$
• полу-конусни пресек и полупречник закривљености на врховима ${\displaystyle p=a={\sqrt {2A}}\;,}$
• линеарни ексцентрицитет ${\displaystyle c=2{\sqrt {A}}}$ и ексцентрицитет ${\displaystyle e={\sqrt {2}}\;,}$
• тангента ${\displaystyle y=-{\tfrac {A}{x_{0}^{2}}}x+2{\tfrac {A}{x_{0}}}}$ у тачки ${\displaystyle (x_{0},A/x_{0})\;.}$

Ротација оригиналне хиперболе за ${\displaystyle +45^{\circ }}$ доводи до правоугаоне хиперболе у потпуности у другом и четвртом квадранту, са истим асимптотама, центар, конусни пресек, полупречник закривљености на врховима, линеарни ексцентрицитет и ексцентрицитет као у случају ротације ${\displaystyle -45^{\circ }}$, са једначином

${\displaystyle y={\frac {-A}{x}}\;,A>0\;,}$

• полуосе ${\displaystyle a=b={\sqrt {2A}}\;,}$
• права ${\displaystyle y=-x}$ као главна оса,
• темена ${\displaystyle \left(-{\sqrt {A}},{\sqrt {A}}\right),\left({\sqrt {A}},-{\sqrt {A}}\right)\;.}$

Померање хиперболе са једначином ${\displaystyle y={\frac {A}{x}},\ A\neq 0\ ,}$ тако да је нови центар ${\displaystyle (c_{0},d_{0})}$, даје нову једначину

${\displaystyle y={\frac {A}{x-c_{0}}}+d_{0}\;,}$

а нове асимптоте су ${\displaystyle x=c_{0}}$ и ${\displaystyle y=d_{0}}$.
Параметри облика ${\displaystyle a,b,p,c,e}$ остају непромењени.

Две праве на удаљености ${\textstyle d={\frac {a^{2}}{c}}}$ од центра и паралелно са малом осом називају се директрисе хиперболе (погледајте дијаграм).

За произвољну тачку ${\displaystyle P}$ хиперболе количник удаљености до једног фокуса и до одговарајуће директрисе (погледајте дијаграм) је једнак ексцентрицитету:

${\displaystyle {\frac {|PF_{1}|}{|Pl_{1}|}}={\frac {|PF_{2}|}{|Pl_{2}|}}=e={\frac {c}{a}}\ .}$

Доказ за пар ${\displaystyle F_{1},l_{1}}$ следи из чињенице да ${\displaystyle |PF_{1}|^{2}=(x-c)^{2}+y^{2},\ |Pl_{1}|^{2}=\left(x-{\tfrac {a^{2}}{c}}\right)^{2}}$ и ${\displaystyle y^{2}={\tfrac {b^{2}}{a^{2}}}x^{2}-b^{2}}$ задовољавају једначину

${\displaystyle |PF_{1}|^{2}-{\frac {c^{2}}{a^{2}}}|Pl_{1}|^{2}=0\ .}$

Други случај се доказује аналогно.

Инверзна изјава је такође тачна и може се користити за дефинисање хиперболе (на начин сличан дефиницији параболе):

За било коју тачку ${\displaystyle F}$ (фокус), било која права ${\displaystyle l}$ (директриса) није кроз ${\displaystyle F}$ и било који реални број ${\displaystyle e}$ са ${\displaystyle e>1}$ скуп тачака (локус тачака), за који је количник растојања до тачке и до праве је ${\displaystyle e}$

${\displaystyle H=\left\{P\,{\Biggr |}\,{\frac {|PF|}{|Pl|}}=e\right\}}$

је хипербола.

(Избор ${\displaystyle e=1}$ даје параболу и ако је ${\displaystyle e<1}$ елипсу.)

Доказ

Нека је ${\displaystyle F=(f,0),\ e>0}$ и претпоставимо да је ${\displaystyle (0,0)}$ тачка на кривој. Директриса ${\displaystyle l}$ има једначину ${\displaystyle x=-{\tfrac {f}{e}}}$. Са ${\displaystyle P=(x,y)}$, релација ${\displaystyle |PF|^{2}=e^{2}|Pl|^{2}}$ производи једначине

${\displaystyle (x-f)^{2}+y^{2}=e^{2}\left(x+{\tfrac {f}{e}}\right)^{2}=(ex+f)^{2}}$ and ${\displaystyle x^{2}(e^{2}-1)+2xf(1+e)-y^{2}=0.}$

Замена ${\displaystyle p=f(1+e)}$ даје

${\displaystyle x^{2}(e^{2}-1)+2px-y^{2}=0.}$

Ово је једначина елипсе (${\displaystyle e<1}$) или параболе (${\displaystyle e=1}$) или хипербола (${\displaystyle e>1}$). Сви ови недегенерисани конуси имају заједничко порекло као врх (види дијаграм).

Ако је ${\displaystyle e>1}$, уведите нове параметре ${\displaystyle a,b}$ тако да је ${\displaystyle e^{2}-1={\tfrac {b^{2}}{a^{2}}},{\text{ и }}\ p={\tfrac {b^{2}}{a}}}$, а онда горња једначина постаје

${\displaystyle {\tfrac {(x+a)^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1\ ,}$

што је једначина хиперболе са центром ${\displaystyle (-a,0)}$, x-осом као главном осом и главном/споредном полуосом ${\displaystyle a,b}$.

Параметарска једначине хиперболе је: ${\displaystyle {\begin{cases}x=a\sec \alpha \\y=b\tan \alpha \end{cases}}}$

У Декартовом координатном систему, хипербола се описује једначином:

${\displaystyle {\frac {x^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1.}$

Постоје две важне особине фокуса хиперболе ${\displaystyle F_{1},F_{2}}$:

1. За сваку тачку хиперболе Р, важи (d је растојање): ${\displaystyle \qquad \mid d(P,F_{1})-d(P,F_{2})\mid =2a\qquad a\in \mathbb {R} }$
   Ово својство омогућава и следећу дефиницију хиперболе: Геометријско место тачака у равни, за које је апсолутна вредност разлике растојања од било које тачке до две фиксне тачке у истој равни (два фокуса), константна.
2. Тангента на сваку тачку хиперболе Р представља бисектрису ${\displaystyle \angle F_{1}PF_{2}}$.

Дужина лука хиперболе нема елементаран израз. Горња половина хиперболе може се параметризовати као

$${\displaystyle y=b{\sqrt {{\frac {x^{2}}{a^{2}}}-1}}.}$$

Тада се интеграл који даје дужину лука ${\displaystyle s}$ од ${\displaystyle x_{1}}$ до ${\displaystyle x_{2}}$ може израчунати као:

$${\displaystyle s=b\int _{\operatorname {arcosh} {\frac {x_{1}}{a}}}^{\operatorname {arcosh} {\frac {x_{2}}{a}}}{\sqrt {1+\left(1+{\frac {a^{2}}{b^{2}}}\right)\sinh ^{2}v}}\,\mathrm {d} v.}$$

Након употребе замене ${\displaystyle z=iv}$, ово се такође може представити коришћењем непотпуног елиптичког интеграла друге врсте ${\displaystyle E}$ са параметром ${\displaystyle m=k^{2}}$:

$${\displaystyle s=ib{\Biggr [}E\left(iv\,{\Biggr |}\,1+{\frac {a^{2}}{b^{2}}}\right){\Biggr ]}_{\operatorname {arcosh} {\frac {x_{2}}{a}}}^{\operatorname {arcosh} {\frac {x_{1}}{a}}}.}$$

Користећи само реалне бројеве, ово постаје^[9]

$${\displaystyle s=b\left[F\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)-E\left(\operatorname {gd} v\,{\Biggr |}-{\frac {a^{2}}{b^{2}}}\right)+{\sqrt {1+{\frac {a^{2}}{b^{2}}}\tanh ^{2}v}}\,\sinh v\right]_{\operatorname {arcosh} {\tfrac {x_{1}}{a}}}^{\operatorname {arcosh} {\tfrac {x_{2}}{a}}}}$$

где је ${\displaystyle F}$ непотпуни елиптички интеграл прве врсте са параметром ${\displaystyle m=k^{2}}$ и ${\displaystyle \operatorname {gd} v=\arctan \sinh v}$ је Гудерманова функција.^[10]

• Информације о хиперболи
• Hazewinkel Michiel, ур. (2001). „Hyperbola”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• Apollonius' Derivation of the Hyperbola at Convergence
• Frans van Schooten: Mathematische Oeffeningen, 1659
• Weisstein, Eric W. „Хипербола”. MathWorld.