Editing Hyperbolic spiral

{{Short description|Spiral asymptotic to a line}}
{{good article}}
{{Use dmy dates|date=January 2024}}
[[File:Gustavino Spiral.jpg|thumb|A spiral staircase in the [[Cathedral of St. John the Divine]]. Several [[helix|helical curves]] in the staircase project to hyperbolic spirals in its photograph.]]

A '''hyperbolic spiral''' is a type of [[spiral]] with a [[Pitch angle of a spiral|pitch angle]] that increases with distance from its center, unlike the constant angles of [[logarithmic spiral]]s or decreasing angles of [[Archimedean spiral]]s. As this curve widens, it approaches an [[asymptotic line]]. It can be found in the view up a [[spiral staircase]] and the starting arrangement of certain footraces, and is used to model [[spiral galaxy|spiral galaxies]] and [[Volute|architectural volutes]].

As a [[plane curve]], a hyperbolic spiral can be described in [[polar coordinates]] <math>(r,\varphi)</math> by the equation
<math display=block>r=\frac{a}{\varphi},</math>
for an arbitrary choice of the [[scale factor]] <math>a.</math>

Because of the [[Multiplicative inverse|reciprocal]] relation between <math>r</math> and <math>\varphi</math> it is also called a '''reciprocal spiral'''.{{r|waud}} The same relation between [[Cartesian coordinates]] would describe a [[hyperbola]], and the hyperbolic spiral was first discovered by applying the equation of a hyperbola to polar coordinates.{{r|maxwell}} Hyperbolic spirals can also be generated as the [[inverse curve]]s of Archimedean spirals,{{r|bowser|drabek}} or as the [[central projection]]s of [[helix]]es.{{r|hammer}}

Hyperbolic spirals are patterns in the [[Euclidean plane]], and should not be confused with other kinds of spirals drawn in the [[hyperbolic plane]]. In cases where the name of these spirals might be ambiguous, their alternative name, reciprocal spirals, can be used instead.{{r|dunham}}

==History and applications==
[[Pierre Varignon]] first studied the hyperbolic spiral in 1704,{{r|varignon|mactutor}} as an example of the ''polar curve'' obtained from another curve (in this case the [[hyperbola]]) by reinterpreting the Cartesian coordinates of points on the given curve as polar coordinates of points on the polar curve. Varignon and later [[James Clerk Maxwell]] were interested in the [[Roulette (curve)|roulettes]] obtained by tracing a point on this curve as it rolls along another curve; for instance, when a hyperbolic spiral rolls along a straight line, its center traces out a [[tractrix]].{{r|maxwell}}

[[Johann Bernoulli]]<ref>Johann Bernoulli should not be confused with his older brother [[Jacob Bernoulli]], who made extensive studies of the [[logarithmic spiral]].</ref> and [[Roger Cotes]] also wrote about this curve, in connection with [[Isaac Newton]]'s discovery that bodies that follow [[conic section]] trajectories must be subject to an [[inverse-square law]], such as the one in [[Newton's law of universal gravitation]]. Newton asserted that the reverse was true: that conic sections were the only trajectories possible under an inverse-square law. Bernoulli criticized this step, observing that in the case of an inverse-cube law, multiple trajectories were possible, including both a [[logarithmic spiral]] (whose connection to the inverse-cube law was already observed by Newton) and a hyperbolic spiral. Cotes found a family of spirals, the [[Cotes's spiral]]s, including the logarithmic and hyperbolic spirals, that all required an inverse-cube law. By 1720, Newton had resolved the controversy by proving that inverse-square laws always produce conic-section trajectories.{{sfnp|Hammer|2016|pp=119–120}}{{r|guiccardini|bernoulli|cotes}}

{{CSS image crop|Image=Men 200 m French Athletics Championships 2013 t161532.jpg|bSize=360|cWidth=360|cHeight=180|oTop=60|Description=The staggered start of a 200m race}}
For a hyperbolic spiral with {{nowrap|equation <math>r=\tfrac{a}{\varphi}</math>,}} a circular arc centered at the origin, continuing clockwise for {{nowrap|length <math>a</math>}} from any of its points, will end on the {{nowrap|<math>x</math>-axis.{{r|bowser}}}} Because of this equal-length property, the starting marks of 200m and 400m footraces are placed in staggered positions along a hyperbolic spiral. This ensures that the runners, restricted to their concentric lanes, all have equal-length paths to the finish line. For longer races where runners move to the inside lane after the start, a different spiral (the [[involute]] of a circle) is used instead.{{r|haines}}

{{multiple image|total_width=460
|image1=NGC 4622HSTFull.jpg|caption1=The pitch angle of [[NGC 4622]] increases with distance{{r|ngc4622}}
|image2=Corinthian capital, AM of Epidauros, 202545.jpg|caption2=[[Volute]]s on a [[Corinthian order]] capital in the [[Archaeological Museum of Epidaurus]]}}
The increasing pitch angle of the hyperbolic spiral, as a function of distance from its center, has led to the use of these spirals to model the shapes of some [[spiral galaxy|spiral galaxies]], which in some cases have a similarly increasing pitch angle. However, this model does not provide a good fit to the shapes of all spiral galaxies.{{r|galaxy1|galaxy2}} In [[architecture]], it has been suggested that hyperbolic spirals are a good match for the design of [[volute]]s from columns of the [[Corinthian order]].{{r|volute}} It also describes the [[Perspective (graphical)|perspective view]] up the axis of a [[spiral staircase]] or other [[helix|helical]] structure.{{r|hammer}}

Along with the Archimedean and logarithmic spiral, the hyperbolic spiral has been used in [[Psychophysics#Experimentation|psychological experiments]] on the perception of rotation.{{r|scott-noland}}

==Constructions==
===Coordinate equations===
The hyperbolic spiral has the equation
<math display=block>r=\frac a \varphi ,\quad \varphi > 0</math>
for [[polar coordinates]] <math>(r,\varphi)</math> and [[Scaling (geometry)|scale]] coefficient <math>a</math>. It can be represented in Cartesian coordinates by applying the standard [[List of common coordinate transformations|polar-to-Cartesian conversions]] <math>x=r\cos\varphi</math> {{nowrap|and <math>y=r\sin\varphi</math>,}} obtaining a [[parametric equation]] for the Cartesian coordinates of this curve that treats <math>\varphi</math> as a parameter rather than as a coordinate:{{r|polezhaev}}
<math display=block>x = a \frac{\cos \varphi} \varphi, \qquad y = a \frac{\sin \varphi} \varphi ,\quad \varphi > 0.</math>
Relaxing the constraint that <math>\varphi>0</math> to <math>\varphi\ne0</math> and using the same equations produces a reflected copy of the spiral, and some sources treat these two copies as ''branches'' of a single curve.{{r|drabek|morris}}

{{multiple image
|image1=Hyperbol-spiral-1.svg|
|caption1=Hyperbolic spiral: branch for {{math|''φ'' > 0}}
|image2=Hyperbol-spiral-2.svg|
|caption2=Hyperbolic spiral: both branches
|total_width=600|align=center}}

The hyperbolic spiral is a [[transcendental curve]], meaning that it cannot be defined from a [[polynomial equation]] of its Cartesian coordinates.{{r|polezhaev}} However, one can obtain a [[trigonometric equation]] in these coordinates by starting with its polar defining equation in the form <math>r\varphi=a</math> and replacing its variables according to the Cartesian-to-polar conversions <math>\varphi=\tan^{-1}\tfrac{y}{x}</math> and {{nowrap|<math display=inline>r=\sqrt{x^2+y^2}</math>,}} giving:{{r|shikin}}
<math display=block>\sqrt{x^2+y^2}\tan^{-1}\frac{y}{x}=a.</math>

It is also possible to use the polar equation to define a spiral curve in the [[hyperbolic plane]], but this is different in some important respects from the usual form of the hyperbolic spiral in the Euclidean plane. In particular, the corresponding curve in the hyperbolic plane does not have an asymptotic line.{{r|dunham}}

=== Inversion ===
[[File:Hyperbol-spiral-inv-arch-spir.svg|thumb|Hyperbolic spiral (blue) as image of an Archimedean spiral (green) by inversion through a circle (red)]]
[[Circle inversion]] through the [[unit circle]] is a transformation of the plane that, in polar coordinates, maps the point <math>(r,\varphi)</math> (excluding the origin) to <math>(\tfrac1r,\varphi)</math> and vice versa.{{r|indra}} The [[Image (mathematics)|image]] of an [[Archimedean spiral]] <math>r=\tfrac{\varphi}{a}</math> under this transformation (its [[inverse curve]]) is the hyperbolic spiral with {{nowrap|equation <math>r=\tfrac{a}{\varphi}</math>.{{r|mactutor}}}}

=== Central projection of a helix ===
[[File:Schraublinie-hyp-spirale.svg|thumb|upright=0.8|Hyperbolic spiral as central projection of a helix]]
The [[central projection]] of a helix onto a plane perpendicular to the axis of the helix describes the view that one would see of the guardrail of a [[spiral staircase]], looking up or down from a viewpoint on the axis of the staircase.{{r|hammer}} To model this projection mathematically, consider the central projection from point <math>(0,0,d)</math> onto the image {{nowrap|plane <math>z=0</math>.}} This will map a point <math>(x,y,z)</math> to  the {{nowrap|point <math>\tfrac{d}{d-z}(x,y)</math>.{{r|loria-roever}}}}

The image under this projection of the helix with parametric representation
<math display=block>(r\cos t, r\sin t, ct),\quad c\neq 0,</math>
is the curve
<math display=block>\frac{dr}{d-ct}(\cos t,\sin t)</math>
with the polar equation
<math display=block>\rho=\frac{dr}{d-ct},</math>
which describes a hyperbolic spiral.{{r|loria-roever}}

== Properties ==
=== Asymptotes ===
The hyperbolic spiral approaches the origin as an asymptotic point.{{r|shikin}} Because
<math display=block>\lim_{\varphi\to 0}x = a\lim_{\varphi\to 0} \frac{\cos \varphi} \varphi =\infty,\qquad
\lim_{\varphi\to 0}y = a\lim_{\varphi\to 0} \frac{\sin \varphi} \varphi = a,</math>
the curve has an [[asymptotic line]] with {{nowrap|equation <math>y=a</math>.{{r|polezhaev}}}}

=== Pitch angle ===
[[File:Sektor-steigung-pk-def.svg|thumb|Definition of sector (light blue) and pitch angle {{mvar|α}}]]
From [[polar coordinate system#Vector calculus|vector calculus in polar coordinates]] one gets the formula <math>\tan\alpha=\tfrac{r'}{r}</math> for the [[Pitch angle of a spiral|pitch angle]] <math>\alpha</math> between the tangent of any curve and the tangent of its corresponding polar circle.{{r|kepr}} For the hyperbolic spiral <math>r=\tfrac{a}{\varphi}</math> the pitch angle is{{r|scott-noland}}
<math display=block>\alpha=\tan^{-1}\left(-\frac{1}{\varphi}\right).</math>

=== Curvature ===
The [[curvature]] of any curve with polar equation <math>r=r(\varphi)</math> is{{r|curvature}}
<math display=block>\kappa = \frac{r^2 + 2(r')^2 - r\, r''}{\left(r^2+(r')^2\right)^{3/2}} .</math>
From the equation <math>r=a/\varphi</math> and its derivatives <math>r'=-a/\varphi^2</math> and <math>r''=2a/\varphi^3</math> one gets the curvature of a hyperbolic spiral, in terms of the radius <math>r</math> or of the angle <math>\varphi</math> of any of its points:{{r|ganguli}}
<math display=block>\kappa = \frac{\varphi^4}{a \left(\varphi^2 + 1\right)^{3/2}}
= \frac{a^3}{r(a^2+r^2)^{3/2}}.
</math>

=== Arc length ===
The length of the arc of a hyperbolic spiral <math>r=a/\varphi</math> between the points <math>(r(\varphi_1),\varphi_1)</math> and <math>(r(\varphi_2),\varphi_2)</math> can be calculated by the integral:{{r|polezhaev}}
<math display=block>\begin{align}
L&=a \int_{\varphi_1}^{\varphi_2}\frac{\sqrt{1+\varphi^2}}{\varphi^2}\,d\varphi \\
&= a\left[-\frac{\sqrt{1+\varphi^2}}{\varphi}+\ln\left(\varphi+\sqrt{1+\varphi^2}\right)\right]_{\varphi_1}^{\varphi_2} .
\end{align}</math>
Here, the bracket notation means to calculate the formula within the brackets for both <math>\varphi_1</math> and <math>\varphi_2</math>, and to subtract the result for <math>\varphi_1</math> from the result for <math>\varphi_2</math>.

=== Sector area ===
The area of a sector (see diagram above) of a hyperbolic spiral with equation <math>r=a/\varphi</math> is:{{r|polezhaev}}
<math display=block>\begin{align}
A&=\frac12\int_{\varphi_1}^{\varphi_2} r(\varphi)^2\, d\varphi\\
&=\frac{a}{2}\bigl(r(\varphi_1)-r(\varphi_2)\bigr) .
\end{align}</math>
That is, the area is proportional to the difference in radii, with constant of proportionality {{nowrap|<math>a/2</math>.{{r|cotes|polezhaev}}}}

==References==
{{reflist|refs=

<ref name=bernoulli>{{citation
 | last = Bernoulli | first = Johann | author-link = Johann Bernoulli
 | journal = Mémoires de l'Académie des Sciences
 | pages = 521–33
 | title = Extrait de la Réponse de M. Bernoulli à M. Herman, datée de Basle le 7 Octobre 1710
 | year = 1710}}. As cited by {{harvtxt|Guicciardini|1995}}, footnote 47, p. 554.</ref>

<ref name=bowser>{{citation
 | last = Bowser | first = Edward Albert
 | contribution = The reciprocal or hyperbolic spiral
 | contribution-url = https://archive.org/details/anelementarytre09bowsgoog/page/n250
 | edition = 4th
 | page = 232
 | publisher = D. Van Nostrand
 | title = An Elementary Treatise on Analytic Geometry: Embracing Plane Geometry and an Introduction to Geometry of Three Dimensions
 | year = 1882}}</ref>

<ref name=cotes>{{citation|title=Harmonia Mensurarum, Sive Analysis & Synthesis per Rationum & Angulorum Mensuras|location=Cambridge|year=1722|first=Rogerum|last=Cotesium|author-link=Roger Cotes|editor-last=Smith|editor-first=Robertus|language=la}}. For the Cotes spirals, see pp. 30–35; the hyperbolic spiral is case 4, [https://books.google.com/books?id=J6BGAAAAcAAJ&pg=PA34 p. 34]. Hammer dates this material to 1714, but it was not published until after Cotes's death.</ref>

<ref name=curvature>{{citation
 | last = Rutter | first = J.W.
 | contribution = Theorem 7.11
 | contribution-url = https://books.google.com/books?id=yUlZDwAAQBAJ&pg=PA143
 | isbn = 9781482285673
 | page = 143
 | publisher = CRC Press
 | title = Geometry of Curves
 | year = 2018}}</ref>

<ref name=drabek>{{citation
 | last = Drábek | first = Karel
 | editor-last = Rektorys | editor-first = Karel
 | contribution = Plane curves and constructions
 | doi = 10.1007/978-94-015-8308-4_4
 | isbn = 9789401583084
 | pages = 112–166
 | publisher = Springer Netherlands
 | series = Mathematics and Its Applications
 | title = Survey of Applicable Mathematics
 | volume = 280–281
 | year = 1994}}; see p. 138</ref>

<ref name=dunham>{{citation
 | last = Dunham | first = Douglas
 | editor1-last = Barrallo | editor1-first = Javier
 | editor2-last = Friedman | editor2-first = Nathaniel
 | editor3-last = Maldonado | editor3-first = Juan Antonio
 | editor4-last = Martínez-Aroza | editor4-first = José
 | editor5-last = Sarhangi | editor5-first = Reza
 | editor6-last = Séquin | editor6-first = Carlo | editor6-link = Carlo Séquin
 | contribution = Hyperbolic spirals and spiral patterns
 | contribution-url = https://archive.bridgesmathart.org/2003/bridges2003-521.html
 | isbn = 84-930669-1-5
 | location = Granada, Spain
 | pages = 521–528
 | publisher = University of Granada
 | title = Meeting Alhambra, ISAMA-BRIDGES Conference Proceedings
 | year = 2003}}</ref>

<ref name=galaxy1>{{citation
 | last = Kennicutt | first = R. C. Jr.
 | bibcode = 1981AJ.....86.1847K
 | date = December 1981
 | doi = 10.1086/113064
 | journal = [[The Astronomical Journal]]
 | page = 1847
 | publisher = American Astronomical Society
 | title = The shapes of spiral arms along the Hubble sequence
 | volume = 86}}</ref>

<ref name=galaxy2>{{citation
 | last1 = Savchenko | first1 = S. S.
 | last2 = Reshetnikov | first2 = V. P.
 | date = September 2013
 | doi = 10.1093/mnras/stt1627 | doi-access = free
 | issue = 2
 | journal = [[Monthly Notices of the Royal Astronomical Society]]
 | pages = 1074–1083
 | title = Pitch angle variations in spiral galaxies
 | volume = 436| arxiv = 1309.4308
 }}</ref>

<ref name=ganguli>{{citation
 | last = Ganguli | first = Surendramohan
 | contribution = 289: The hyperbolic spiral
 | contribution-url = https://archive.org/details/theoryofplanecur033158mbp/page/n389
 | edition = 2nd
 | pages = 364–365
 | publisher = University of Calcutta
 | title = The Theory of Plane Curves
 | volume = II
 | year = 1926}}</ref>

<ref name=guiccardini>{{citation
 | last = Guicciardini | first = Niccolò
 | doi = 10.1080/00033799500200401
 | issue = 6
 | journal = Annals of Science
 | pages = 537–575
 | title = Johann Bernoulli, John Keill and the inverse problem of central forces
 | volume = 52
 | year = 1995}}</ref>

<ref name=haines>{{citation
 | last = Haines | first = C. R.
 | date = December 1977
 | doi = 10.2307/3617399
 | issue = 418
 | journal = [[The Mathematical Gazette]]
 | jstor = 3617399
 | pages = 262–266
 | title = Old curves in a new setting
 | volume = 61| s2cid = 189050097
 }}</ref>

<ref name=hammer>{{citation
 | last = Hammer | first = Øyvind
 | contribution = 15: The case of the staircase
 | doi = 10.1007/978-3-319-47373-4_15
 | pages = 65–68
 | publisher = Springer International Publishing
 | title = The Perfect Shape: Spiral Stories
 | year = 2016}}</ref>

<ref name=indra>{{citation
 | last1 = Mumford | first1 = David | author1-link = David Mumford
 | last2 = Series | first2 = Caroline | author2-link = Caroline Series
 | last3 = Wright | first3 = David
 | contribution = Inversions and the Riemann sphere
 | contribution-url = https://books.google.com/books?id=OzTzAgAAQBAJ&pg=PA54
 | isbn = 9781107717190
 | mr = 3558870
 | page = 54
 | publisher = Cambridge University Press
 | title = Indra's Pearls: The Vision of Felix Klein
 | title-link = Indra's Pearls (book)
 | year = 2002}}</ref>

<ref name=kepr>{{citation
 | last = Kepr | first = Bořivoj
 | editor-last = Rektorys | editor-first = Karel
 | contribution = Differential geometry
 | doi = 10.1007/978-94-015-8308-4_9
 | isbn = 9789401583084
 | pages = 260–335
 | publisher = Springer Netherlands
 | series = Mathematics and Its Applications
 | title = Survey of Applicable Mathematics
 | volume = 280–281
 | year = 1994}}. For an equivalent formula for the direction angle (the [[complementary angle]] to the pitch angle) see Section 9.9, Theorem 1, p. 300</ref>

<ref name=loria-roever>{{citation
 | last1 = Loria | first1 = Gino
 | last2 = Roever | first2 = W. H.
 | date = February 1919
 | doi = 10.1080/00029890.1919.11998485
 | issue = 2
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2973138
 | pages = 45–53
 | title = On certain constructions of descriptive geometry
 | volume = 26}}; for the central projection of a helix, see p. 51</ref>

<ref name=mactutor>{{citation|url=https://mathshistory.st-andrews.ac.uk/Curves/Hyperbolic/|work=MacTutor History of Mathematics Archive|title=
Curves: Hyperbolic Spiral|publisher=University of St Andrews}}</ref>

<ref name=maxwell>{{citation
 | last = Maxwell | first = James Clerk | author-link = James Clerk Maxwell
 | doi = 10.1017/s008045680002247x
 | issue = 5
 | journal = [[Transactions of the Royal Society of Edinburgh]]
 | pages = 519–540
 | title = XXXV.—On the theory of rolling curves
 | volume = 16
 | year = 1849| id = {{zenodo|2250749}} | url = https://archive.org/details/membershipdirect16asli/page/519/ }}</ref>

<ref name=morris>{{citation
 | editor-last = Morris | editor-first = Christopher G.
 | contribution = Hyperbolic spiral
 | contribution-url = https://books.google.com/books?id=nauWlPTBcjIC&pg=PA1068
 | page = 1068
 | publisher = Academic Press
 | title = Academic Press Dictionary of Science and Technology
 | year = 1992}}</ref>

<ref name=ngc4622>{{citation
 | last1 = Ringermacher | first1 = Harry I.
 | last2 = Mead | first2 = Lawrence R.
 | arxiv = 0908.0892
 | bibcode = 2009MNRAS.397..164R
 | date = July 2009
 | doi = 10.1111/j.1365-2966.2009.14950.x
 | issue = 1
 | journal = [[Monthly Notices of the Royal Astronomical Society]]
 | pages = 164–171
 | title = A new formula describing the scaffold structure of spiral galaxies
 | volume = 397| doi-access = free
 }}</ref>

<ref name=polezhaev>{{citation
 | last = Polezhaev | first = Andrey
 | editor1-last = Tsuji | editor1-first = Kinko
 | editor2-last = Müller | editor2-first = Stefan C.
 | contribution = Spirals, their types and peculiarities
 | doi = 10.1007/978-3-030-05798-5_4
 | isbn = 9783030057985
 | pages = 91–112
 | publisher = Springer International Publishing
 | series = The Frontiers Collection
 | title = Spirals and Vortices: In Culture, Nature, and Science
 | year = 2019| s2cid = 150149152
 }}; see especially Section 2.2, Hyperbolic spiral, p. 96</ref>

<ref name=scott-noland>{{citation
 | last1 = Scott | first1 = Thomas R.
 | last2 = Noland | first2 = J. H.
 | doi = 10.1037/h0022204
 | id = {{ProQuest|614277135}}
 | issue = 5
 | journal = [[Psychological Review]]
 | pages = 344–357
 | title = Some stimulus dimensions of rotating spirals
 | volume = 72
 | year = 1965| pmid = 5318086
 }}</ref>

<ref name=shikin>{{citation
 | last = Shikin | first = Eugene V.
 | contribution = Hyperbolic spiral (reciprocal spiral)
 | contribution-url = https://books.google.com/books?id=H05ZDwAAQBAJ&pg=PA222
 | isbn = 9781498710671
 | pages = 222–223
 | publisher = CRC Press
 | title = Handbook and Atlas of Curves
 | year = 2014}}</ref>

<ref name=varignon>{{citation
 | last = Varignon | first = Pierre | author-link = Pierre Varignon
 | journal = Mémoires de l'Académie des sciences de l'Institut de France
 | pages = 94–103
 | title = Nouvelle formation de Spirales – exemple II
 | url = https://books.google.com/books?id=o73OAAAAMAAJ&pg=RA1-PA94
 | year = 1704}}</ref>

<ref name=volute>{{citation
 | last = Nicholson | first = Peter
 | page = 436
 | publisher = G. B. Whittaker
 | title = A Popular Course of Pure and Mixed Mathematics for the Use of Schools and Students
 | url = https://books.google.com/books?id=Wtc2AAAAMAAJ&pg=PA436
 | year = 1825}}</ref>

<ref name=waud>{{citation
 | last = Waud | first = Samuel Wilkes
 | page = 194
 | publisher = Baldwin and Cradock
 | title = A Treatise on Algebraical Geometry
 | url = https://archive.org/details/treatiseonalgebr00wauduoft/page/194
 | year = 1835}}</ref>

}}

==External links==
* [http://jsxgraph.uni-bayreuth.de/wiki/index.php/Hyperbolic_spiral Online exploration using JSXGraph (JavaScript)]

{{Spirals}}

[[Category:Spirals]]

[[pt:Espiral logarítmica]]