Хипербола

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

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

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

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

и тако даље.

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

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

Етимологија и историја

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

Дефиниције

Као локус тачака

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

Хипербола: дефиниција са кружном директрисом

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

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

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

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

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

|PF_{1}|=|Pc_{2}|.

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

Хипербола са једначином y = A/x

Ротирање координатног система да би се правоугаона хипербола описала као график функције

Три правоугаоне хиперболе

y=A/x

са координатним осaма као асимптотама
црвена: A = 1; магента: A = 4; плава: A = 9

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

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

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

је правоугаона хипербола у потпуности у првом и трећем квадранту са

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

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

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

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

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

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

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

Својства директрисе

Хипербола: својство директрисе

Хипербола: дефиниција са својством директрисе

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

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

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

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

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

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

Приказ конуса са заједничким врхом и заједничким полуконусним пресеком

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

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

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

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

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

Доказ

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

(x-f)^{2}+y^{2}=e^{2}\left(x+{\tfrac {f}{e}}\right)^{2}=(ex+f)^{2}

and

x^{2}(e^{2}-1)+2xf(1+e)-y^{2}=0.

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

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

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

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

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

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

Једначине хиперболе

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

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

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

Особине

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

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

Дужина лука

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

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

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

$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.$

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

$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]

$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}}}$

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

Референце

^ ^а ^б Oakley (1944, стр. 17)
^ Heath, Sir Thomas Little (1896), „Chapter I. The discovery of conic sections. Menaechmus”, Apollonius of Perga: Treatise on Conic Sections with Introductions Including an Essay on Earlier History on the Subject, Cambridge University Press, стр. xvii—xxx .
^ Boyer, Carl B.; Merzbach, Uta C. (2011), A History of Mathematics, Wiley, стр. 73, ISBN 9780470630563, „It was Apollonius (possibly following up a suggestion of Archimedes) who introduced the names "ellipse" and "hyperbola" in connection with these curves.”
^ Eves, Howard (1963), A Survey of Geometry (Vol. One), Allyn and Bacon, стр. 30—31
^ Protter & Morrey (1970, стр. 308–310)
^ Protter & Morrey (1970, стр. 310)
^ Apostol, Tom M.; Mnatsakanian, Mamikon A. (2012), New Horizons in Geometry, The Dolciani Mathematical Expositions #47, The Mathematical Association of America, стр. 251, ISBN 978-0-88385-354-2
^ The German term for this circle is Leitkreis which can be translated as "Director circle", but that term has a different meaning in the English literature (see Director circle).
^ Carlson, B. C. (2010), „Elliptic Integrals”, Ур.: Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
^ Gudermann, Christoph (1833). Theorie der Potenzial- oder cyklisch-hyperbolischen Functionen [Theory of Potential- or Circular-Hyperbolic Functions] (на језику: немачки). G. Reimer.

Литература

Kazarinoff, Nicholas D. (2003), Ruler and the Round, Mineola, N.Y.: Dover, ISBN 0-486-42515-0
Oakley, C. O., Ph.D. (1944), An Outline of the Calculus, New York: Barnes & Noble
Protter, Murray H.; Morrey, Charles B., Jr. (1970), College Calculus with Analytic Geometry (2nd изд.), Reading: Addison-Wesley, LCCN 76087042
Woodhouse, N. M. J. (2003), Special Relativity, London: Springer, стр. 71, ISBN 978-1-85233-426-0
Abramowitz, Milton; Stegun, Irene A., ур. (1972), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York: Dover Publications, ISBN 978-0-486-61272-0
Rickey, V. Frederick; Tuchinsky, Philip M. (1980). „An application of geography to mathematics: History of the integral of the secant” (PDF). Mathematics Magazine. 53 (3): 162—166. doi:10.1080/0025570X.1980.11976846. Архивирано из оригинала (PDF) 15. 02. 2017. г. Приступљено 12. 11. 2023.
Ringermacher, Harry I.; Mead, Lawrence R. (2009). „A new formula describing the scaffold structure of spiral galaxies”. Monthly Notices of the Royal Astronomical Society. 397 (1): 164—171. doi:10.1111/j.1365-2966.2009.14950.x  .
Robertson, John S. (1997). „Gudermann and the simple pendulum”. The College Mathematics Journal. 28 (4): 271—276. JSTOR 2687148. doi:10.2307/2687148.
Romakina, Lyudmila N. (2018). „The inverse Gudermannian in the hyperbolic geometry”. Integral Transforms and Special Functions. 29 (5): 384—401. doi:10.1080/10652469.2018.1441296.
Roy, Ranjan; Olver, Frank W. J. (2010), „4. Elementary Functions”, Ур.: Olver, Frank W. J.; et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
Sala, Kenneth L. (1989). „Transformations of the Jacobian amplitude function and its calculation via the arithmetic-geometric mean” (PDF). SIAM Journal on Mathematical Analysis. 20 (6): 1514—1528. doi:10.1137/0520100.

Спољашње везе

Информације о хиперболи
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.

[#1-1] а ^б Oakley (1944, стр. 17)

[2] Heath, Sir Thomas Little (1896), „Chapter I. The discovery of conic sections. Menaechmus”, Apollonius of Perga: Treatise on Conic Sections with Introductions Including an Essay on Earlier History on the Subject, Cambridge University Press, стр. xvii—xxx .

[3] Boyer, Carl B.; Merzbach, Uta C. (2011), A History of Mathematics, Wiley, стр. 73, ISBN 9780470630563, „It was Apollonius (possibly following up a suggestion of Archimedes) who introduced the names "ellipse" and "hyperbola" in connection with these curves.”

[4] Eves, Howard (1963), A Survey of Geometry (Vol. One), Allyn and Bacon, стр. 30—31

[5] Protter & Morrey (1970, стр. 308–310)

[6] Protter & Morrey (1970, стр. 310)

[7] Apostol, Tom M.; Mnatsakanian, Mamikon A. (2012), New Horizons in Geometry, The Dolciani Mathematical Expositions #47, The Mathematical Association of America, стр. 251, ISBN 978-0-88385-354-2

[8] The German term for this circle is Leitkreis which can be translated as "Director circle", but that term has a different meaning in the English literature (see Director circle).

[9] Carlson, B. C. (2010), „Elliptic Integrals”, Ур.: Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .

[10] Gudermann, Christoph (1833). Theorie der Potenzial- oder cyklisch-hyperbolischen Functionen [Theory of Potential- or Circular-Hyperbolic Functions] (на језику: немачки). G. Reimer.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]