Ver el código de «Cicloide»

[[Archivo:Cycloid f.gif|mini|300px|Cicloide generada por una circunferencia rodando sobre una recta.]]

En matemática, particularmente en cálculo diferencial, se da el nombre de '''cicloide''' a la curva descrita por un punto de la circunferencia, cuando esta rueda sobre una recta sin resbalar.<ref>N. Piskunov Cálculo diferencial e integral tomo I</ref> 

== Historia ==
{{Caja de cita|alineación=derecha|ancho=450px|border=0px|colorfondo=#FFF9F2|{{Versalita|En la caldera izquierda del Pequod, con el jaboncillo dando vueltas diligentes a mi alrededor, fue cuando me sorprendió indirectamente el hecho notable de que en geometría todos los cuerpos que se deslizan a lo largo de la cicloide, como mi jaboncillo por ejemplo, descienden desde cualquier punto exactamente en el mismo lapso de tiempo.}}|[[Moby Dick]] by [[Herman Melville]], 1851}}

La cicloide ha sido llamada «La Helena de los geómetras» ya que causó frecuentes disputas entre matemáticos del {{siglo|XVII||s}}.<ref>{{cita libro | last1=Cajori | first1=Florian | author1-link=Florian Cajori | título=A History of Mathematics | editorial=Chelsea | ubicación=Nueva&nbsp;York | isbn=978-0-8218-2102-2 | año=1999 | página=177 }}</ref>

[[Archivo:La Loubère, Antoine – Veterum geometria promota in septem de cycloide libris, 1660 – BEIC 865250.jpg|miniatura|''Veterum geometria promota in septem de cycloide libris'' de 1660, obra en la que [[Antoine de Lalouvère]] propuso una solución errónea del problema de Pascal sobre la cicloide.]]

Los historiadores de las matemáticas han propuesto varios candidatos como descubridores de la cicloide. El historiador matemático [[Paul Tannery]] citó un trabajo del filósofo sirio [[Jámblico]] como evidencia de que la curva era probablemente conocida en la antigüedad.<ref name=Tannery>{{citation| last=Tannery| first=Paul| title=Pour l'histoire des lignes et surfaces courbes dans l'antiquité| journal=Bulletin des sciences mathèmatique| location=París| year=1883| page=284}} (citado en Whitman 1943). </ref> Por su parte, en 1679 el matemático inglés [[John Wallis]] atribuyó el descubrimiento a [[Nicolás de Cusa]],<ref name=Wallis>{{cita publicación | last1 = Wallis | first1 = D. | título = An Extract of a Letter from Dr. Wallis, of May 4. 1697, Concerning the Cycloeid Known to Cardinal Cusanus, about the Year 1450; and to Carolus Bovillus about the Year 1500 | doi = 10.1098/rstl.1695.0098 | publicación = Philosophical Transactions of the Royal Society of London | volumen = 19 | número = 215–235 | páginas = 561 | año = 1695 | pmid =  | pmc = }} (Citado en Günther, p. 5).</ref> pero los eruditos posteriores indicaron que o bien Wallis estaba equivocado o bien las pruebas utilizadas por Wallis habían desaparecido.<ref name=Whitman>{{citation| title=Some historical notes on the cycloid| journal=The American Mathematical Monthly| volume=50| number=5| date=May 1943| pages=309–315| url=http://www.jstor.org/stable/2302830| last=Whitman| first=E. A.| doi=10.2307/2302830| suscripción = sí }}.</ref> El nombre de [[Galileo Galilei]] fue presentado al final del {{siglo|XIX||s}}<ref name=Cajori>{{citation | last=Cajori| first=Florian| title=A History of Mathematics| url=https://books.google.com/books?id=mGJRjIC9fZgC | edition=5th| ISBN=0-8218-2102-4| page=162}} (Note:  The [https://books.google.com/books?id=kqQPAAAAYAAJ first (1893) edition] and its reprints state that Galileo invented the cycloid.  According to Phillips, this was corrected in the second (1919) edition and has remained through the most recent (fifth) edition).</ref> y al menos un autor da el crédito a [[Marin Mersenne]] (monje, antiguo amigo de [[Rene Descartes|Descartes]]).<ref name=Roidt>{{cite thesis | title=Cycloids and Paths | last=Roidt | first=Tom | year=2011 | type=MS | page=4 | url=http://www.web.pdx.edu/~caughman/Cycloids%20and%20Paths.pdf | publisher=Portland State University | fechaacceso=30 de marzo de 2016 | fechaarchivo=23 de noviembre de 2018 | urlarchivo=https://web.archive.org/web/20181123103430/http://web.pdx.edu/~caughman/Cycloids%20and%20Paths.pdf | deadurl=yes }}</ref> A partir de la obra de [[Moritz Cantor]]<ref name=Cantor>{{citation| title=Vorlesungen über Geschichte der Mathematik, Bd. 2| last=Cantor| first=Moritz| publisher=B. G. Teubner| location=Leipzig| year=1892| url=https://archive.org/details/vorlesungenuberg00cant| OCLC=25376971}}.</ref> y de Siegmund Günther,<ref name=Gunther>{{citation | title=Vermischte untersuchungen zur geschichte der mathematischen wissenschaften| last=Günther | first=Siegmund | year=1876 | location=Leipzig | publisher=Druck und Verlag Von B. G. Teubner| OCLC=2060559 | pages=352}}.</ref> los estudiosos dan ahora prioridad al matemático francés [[Charles de Bovelles]]<ref name=Phillips>{{citation| title=Brachistochrone, Tautochrone, Cycloid—Apple of Discord| last=Phillips| first=J. P.| journal=The Mathematics Teacher| volume=60| number=5|date=May 1967| pages=506–508| url=http://www.jstor.org/stable/27957609| suscripción = sí }}.</ref><ref name=Victor>{{citation| title=Charles de Bovelles, 1479-1553:  An Intellectual Biography| last=Victor| first=Joseph M.| url=https://books.google.com/books?hl=en&lr=&id=bw4lM9wF1lgC| page=42| year=1978| ISBN=978-2-600-03073-1}}.</ref>
<ref name=Martin>{{cita publicación | last1 = Martin | first1 = J. | doi = 10.4169/074683410X475083 | título = The Helen of Geometry | url = https://archive.org/details/sim_college-mathematics-journal_2010-01_41_1/page/17 | publicación = The College Mathematics Journal | volumen = 41 | páginas = 17–28 | año = 2010 | pmid =  | pmc = }}</ref> basándose en su descripción de la cicloide en su ''Introductio in geometriam'',  publicado en 1503.<ref name=Bovelles>{{citation| title=Introductio in geometriam ... Liber de quadratura circuli. Liber de cubicatione sphere. Perspectiva introductio.| last=de Bouelles| first=Charles| year=1503| OCLC=660960655}}.</ref> En esta obra, Bovelles identifica erróneamente el arco trazado por una rueda de rodadura como parte de un círculo mayor con un radio un 120&nbsp;% más grande que la rueda más pequeña.<ref name=Whitman/> 

Galileo acuñó el término ''cicloide'' y fue el primero en hacer un estudio riguroso de la curva.<ref name=Whitman /> Según su discípulo [[Evangelista Torricelli]],<ref name=Torricelli>{{citation | last=Torricelli | first=Evangelista | title=Opera geometrica | year=1644 | OCLC=55541940 }}.</ref> en 1599 Galileo intentó la [[cuadratura (matemática)|cuadratura]] de la cicloide (construcción de un cuadrado con un área igual al área bajo la cicloide) con un enfoque inusualmente empírico que involucraba el trazado tanto del círculo generador como de la cicloide resultante sobre una hoja de metal, para luego cortarlos y pesarlos. Descubrió que la relación era de aproximadamente 3:1, pero de forma incorrecta concluyó que la relación era una fracción irracional, lo que hacía imposible la cuadratura.<ref name=Roidt/> Alrededor de 1628, [[Gilles de Roberval|Gilles Persone de Roberval]] probablemente supo del problema de la cuadratura por Mersenne y lo resolvió en 1634 mediante el uso del [[principio de Cavalieri|teorema de Cavalieri]].<ref name=Whitman /> Sin embargo, este trabajo no fue publicado hasta 1693 (en su ''Traité des Indivisibles'').<ref name=Walker>{{citation| last=Walker| first=Evelyn| title=A Study of Roberval's Traité des Indivisibles| publisher=Columbia University| year=1932}} (cited in Whitman 1943).</ref>

La construcción de la tangente de la cicloide data de agosto de 1638, cuando Mersenne recibió los métodos propios de Roberval, [[Pierre de Fermat]]  y Descartes. Mersenne envió estos resultados a Galileo, quien a su vez se los dio a sus estudiantes Torricelli y Viviani, que fueron capaces de producir una cuadratura. Este resultado y otros fueron publicados por Torricelli en 1644,<ref name=Torricelli/> en la primera obra impresa sobre la cicloide. Esto llevó a Roberval a acusar a Torricelli de plagio, acabando la controversia por la muerte temprana de Torricelli en 1647.<ref name=Walker />

En 1658, [[Christopher Wren]] demostró que la longitud de la cicloide es igual a cuatro veces el [[diámetro]] de la circunferencia generatriz. 

En 1696 el matemático [[Johann Bernoulli]] anunció a la comunidad matemática la solución al [[Braquistócrona|problema de la braquistócrona]] (curva que sigue el descenso más rápido cuando existe [[gravedad]] y que es objeto de estudio en el [[cálculo de variaciones]]), mostrando que la solución era una cicloide. [[Gottfried Leibniz|Leibniz]], [[Isaac Newton|Newton]], [[Jakob Bernoulli]] y [[Guillaume de l'Hôpital]], encontraron la solución del problema enunciado por Bernoulli. La cicloide se emplea para resolver el problema de la [[tautócrona]] (descubierto por [[Christian Huygens]]), en el que si se desprecia el rozamiento y si se invirtiese una cicloide dejando caer un objeto por la misma, por ejemplo una bola, esta llegará a la parte más baja de la curva en un intervalo de tiempo que no depende del punto de partida. 

Entre los autores de demostraciones acerca de sus propiedades se encuentra el matemático [[René Descartes]] que obtuvo mediante razonamientos efectivos y elegantes la fórmula de la recta tangente en un punto cualquiera del arco de la cicloide, empleando técnicas que después desarrollaría como la ciencia de la [[geometría diferencial]].

Como ya se ha señalado, debido a las continuas disputas entre los matemáticos del {{siglo|XVII||s}} la cicloide ha sido denominada "La Helena de los Geómetras", aunque existen opiniones que mencionan que esta denominación poética podría hacer referencia a las bellas propiedades de esta curva, que atrajeron a los matemáticos de la época. En el año 1658 [[Blaise Pascal]] lanzó un desafío a los matemáticos proponiendo determinar la longitud de un arco de la cicloide así como su [[centro de gravedad]] y la superficie del volumen de revolución que engendra el área plana que barre el arco de cicloide al girar, ya sea en torno al eje de las [[abscisa]]s, o en torno al eje de las [[ordenadas]], o bien, en torno al eje de simetría del arco de cicloide. Fueron muchos los esfuerzos realizados en el {{Siglo|XVII||s}} para tratar de comprender esta curva y sus propiedades, tanto geométricas como físicas, que posteriormente han permitido desarrollar un gran número de aplicaciones industriales.

== Ecuaciones ==
[[Archivo:Cycloid04.png|miniaturadeimagen|Cicloide de radio 2]]

=== Ecuación paramétrica ===
Si la cicloide se genera mediante una circunferencia de radio ''r'' que se apoya sobre el eje de abscisas en el origen, su descripción en forma [[Ecuación paramétrica|paramétrica]] viene dada por:

:<math>\begin{cases} x = r \left(t - \sen{t}\right) \\ y = r \left(1 - \cos{t}\right) \end{cases}</math>

donde <math>t</math> es un parámetro real, correspondiente al ángulo girado por el círculo rodante. Para un <math>t</math> dado, el centro del círculo está en <math>x = rt</math>, <math>y = r</math>. Siendo la variable <math>y</math> función de la variable <math>x</math>, esta cicloide tiene un período de <math>2\pi r</math>, y una altura de <math>2r</math>.

=== Ecuación cartesiana ===
Si se despeja la variable <math>t</math> en la ecuación paramétrica, se obtendrá la forma cartesiana:

:<math>x= r \arccos{\left(1-\frac{y}{r}\right)}-\sqrt{2r y-y^2}</math>,

donde el único parámetro de forma es el radio <math>r</math> de la [[circunferencia]] generatriz. Esta fórmula es válida para la variable <math>y</math> en el intervalo [<math>0</math>, <math>2r</math>], y proporciona solo la mitad del primer bucle de la cicloide.

Si se desea emplear el ''n''-ésimo semi-bucle de la cicloide, se puede utilizar la siguiente ecuación:

:<math>x= r \pi \left[n + 1/2 \left[ \left(-1\right)^n -1 \right]\right] -(-1)^n\left[r\arccos{\left(1-\frac{y}{r}\right)}-\sqrt{2ry - y^2}\right]</math>

=== Ecuación intrínseca ===

La ecuación en forma intrínseca es:

:<math>\rho^2 + s^2= 16 r^2 \,</math>

donde <math>\rho</math> representa su [[radio de curvatura]] en cada punto, y <math>s</math> la correspondiente [[longitud de arco]] desde el origen.

== Proposiciones==
A continuación se enuncian cinco teoremas referidos a los elementos de la cicloide: 

===Del ángulo directriz-tangente===
El ángulo entre la tangente a la cicloide, en cualquier punto de ella, y la recta directriz es igual al ángulo complementario de la mitad del ángulo de giro del radio del círculo generador.

===Del ángulo directriz-normal===
El ángulo entre la normal a  la cicloide (en  cualquiera de sus puntos) y la recta directriz es igual a la mitad del «ángulo principal».

=== De la propiedad esencial de la cicloide===
La tangente a la cicloide pasa por el punto «superior» del círculo generador.

=== Del ángulo tangente-vertical===
El seno del ángulo formado por la tangente a la cicloide en el punto <math>H</math> y la vertical , es proporcional a la raíz cuadrada de la «altura» del punto <math>H</math>.

===De las condiciones de unicidad===
Sean la recta  <math>CD</math> y un punto <math>H</math>. La única curva que satisface las condiciones de la proposición ''ángulo tangente-vertical'', y pasa por el punto <math>H</math> es la cicloide.<ref>G.N. Berman ''La cicloide Historia de una curva asombrosa y de sus afines''  ISBN 978-5-396-00146-6</ref>

== Evoluta ==
[[Archivo:Evolute generation.png|miniatura|Generación de la evoluta de la cicloide desprendiendo un hilo tenso que rodea el arco de media cicloide (color rojo)]]
La [[evoluta]] de la cicloide tiene la propiedad de ser exactamente la misma cicloide de la que proviene. Esto es, el extremo de un hilo tenso que inicialmente descansa sobre medio arco de una cicloide, una vez desenvuelto describe un arco de cicloide igual al que estaba adosado.

===Demostración===
[[Archivo:Evolute demo.png|miniatura|Demostración de las propiedades de la evoluta de una cicloide]]
Hay varias formas de demostrar esta afirmación. La que se presenta aquí utiliza la definición física de cicloide y la propiedad cinemática de que la velocidad instantánea de un punto es tangente a su trayectoria. En referencia a la imagen de la derecha, <math>P_1</math> y <math>P_2</math> son dos puntos tangentes que pertenecen a dos círculos rodantes. Los dos círculos comienzan a rodar con la misma velocidad y en la misma dirección sin deslizar. <math>P_1</math> y <math>P_2</math> comienzan a dibujar dos arcos de cicloide como en la imagen. Considerando la línea que conecta <math>P_1</math> y <math>P_2</math> en un instante arbitrario (línea roja), es posible demostrar que "la línea es en cualquier momento tangente en <math>P_2</math> al arco inferior y ortogonal a la tangente en <math>P_1</math> del arco superior". Según esto:
* <math>P_1,Q,P_2</math> están alineados porque <math>\widehat{P_1O_1Q}=\widehat{P_2O_2Q}</math> (con igual velocidad de rotación) y por lo tanto <math>\widehat{O_1QP_1}=\widehat{O_2QP_2}</math>. Dado que <math>\widehat{O_1QP_2}+\widehat{O_2QP_2}=\pi</math> por construcción, se tiene que <math>\widehat{P_1QP_2}=\pi</math>.
* Si <math>A</math> es el punto de encuentro entre la perpendicular de <math>P_1</math> a la recta de <math>O_1O_2</math> y la tangente al círculo de <math>P2</math>, entonces el triángulo <math>P_1AP_2</math> es isósceles porque <math>\widehat{QP_2A}=\frac{1}{2}\widehat{P_2O_2Q}</math> y <math>\widehat{QP_1A}=\frac{1}{2}\widehat{QO_1R}=</math> (es fácil demostrar la construcción visualmente) <math>=\frac{1}{2}\widehat{QO_1P_1}</math>. Para la igualdad mencionada anteriormente entre <math>\widehat{P_1O_1Q}</math> y <math>\widehat{QO_2P_2}</math>, entonces <math>\widehat{QP_1A}=\widehat{QP_2A}</math> y <math>P_1AP_2</math> son isósceles.
* Trazando desde <math>P_2</math> la recta ortogonal a <math>O_1O_2</math>, desde <math>P_1</math> la tangente hasta el círculo superior y llamando  <math>B</math> al punto de unión, es fácil ver que <math>P_1AP_2B</math> es un [[rombo]], usando los teoremas concernientes a los ángulos entre líneas paralelas
* Ahora, considérese la velocidad <math>V_2</math> de <math>P_2</math>. Se puede ver como la suma de sus dos componentes, la velocidad de rodadura <math>V_a</math> y la velocidad de deriva <math>V_d</math>. Ambas velocidades son iguales en módulo porque los círculos ruedan sin deslizamiento. <math>V_d</math> es paralelo a <math>P_1A</math> y <math>V_a</math> es tangente al círculo inferior en <math>P_2</math>, y por lo tanto, es paralelo a <math>P_2A</math>. La velocidad total de <math>P_2,V_2</math> es paralela a <math>P_2P_1</math> porque ambas son las diagonales de dos rombos con lados paralelos y tiene en común con <math>P_1P_2</math> el punto de contacto <math>P_2</math>. Se deduce que el vector de velocidad <math>V_2</math> se encuentra en la prolongación de <math>P_1P_2</math>. Debido a que <math>V_2</math> es tangente al arco de cicloide en <math>P_2</math>, se deduce que también que <math>P_1P_2</math> es tangente.
* Análogamente, se puede demostrar fácilmente que <math>P_1P_2</math> es ortogonal a <math>V_1</math> (la otra diagonal del rombo).
* El extremo de un hilo inextensible inicialmente ceñido sobre el medio arco de cicloide inferior y limitado al círculo superior en <math>P_1</math>, seguirá al punto en su trayectoria ''sin cambiar su longitud'' porque la velocidad del extremo es en cada momento ortogonal al hilo (sin estiramiento ni compresión). El hilo será al mismo tiempo tangente en <math>P_2</math> al arco inferior, debido a la tensión y a las condiciones consideradas. Si no fuera tangente, habría una discontinuidad en <math>P_2</math> y, en consecuencia, aparecerían fuerzas de tensión desequilibradas.

==Fórmulas de longitud y área ==
Para una cicloide común, se tiene que:
* La longitud del arco OM es <math>L = 8r\, sen^2 \frac{1}{4t} </math>
* La longitud de una rama es  <math>L = 8r </math>
* El área de la región cerrada, delimitada por una rama y el eje Ox, es  <math>A = 3\pi r^2 </math> <ref>I. Bronshtein et al Manual de matemáticas para ingenieros y estudiantes Editorial Mir Moscú (1973)</ref>
Estas fórmulas se demuestran a continuación.

===Longitud del arco===
[[Archivo:Cycloid length.png|miniatura|La longitud de la cicloide como consecuencia de la propiedad de su evoluta]]
La longitud del arco ''S'' de una cicloide viene dada por
: <math>\begin{align}
  S &= \int_0^{2\pi} \sqrt{\left(\frac{\operatorname d\!x}{\operatorname d\!t}\right)^2 + \left(\frac{\operatorname d\!y}{\operatorname d\!t}\right)^2} \operatorname d\!t \\
    &= \int_0^{2\pi} r \sqrt{2 - 2\cos(t)}\, \operatorname d\!t \\
    &= 2\,r\int_0^{2\pi} \sen \frac{t}{2}\ \operatorname d\!t \\
    &= -4\,r\left[ \cos \frac{t}{2}\,\right]_{0}^{2 \pi}\\
    &= 8\,r.
\end{align}
</math>

Otra forma inmediata de calcular la longitud de la cicloide dadas las propiedades de su evoluta es considerar que cuando un cable que describe una evoluta ha sido completamente desenrollado, se extiende a lo largo de dos diámetros, una longitud de 4r. Debido a que el cable no cambia de longitud mientras se desprende, se deduce que la longitud de medio arco de cicloide es 4r y un arco completo es 8r.

===Área===
Un arco de una cicloide generado por un círculo de radio ''r'' puede ser parametrizado por
: <math>\begin{align}
  x &= r(t - \sen t) \\
  y &= r(1 - \cos t)
\end{align}</math>
con <math>\frac{dx}{dt} = r(1 - \cos t)</math>
: <math>0 \le t \le 2 \pi.</math>
Entonces
: <math>\frac{dx}{dt} = r(1 - \cos t)</math>

El área bajo el arco es
: <math>\begin{align}
  A &= \int_{x=0}^{x=2 \pi r} y \, dx = \int_{t=0}^{t=2 \pi} r^2(1 - \cos t)^2 dt \\
    &= \left. r^2 \left(\frac{3}{2}t - 2\sen t + \frac{1}{2} \cos t \sen t\right) \right|_{t=0}^{t=2\pi} \\
    &= 3 \pi r^2.
\end{align}</math>

Este resultado, y algunas generalizaciones, pueden obtenerse sin cálculos mediante el [[cálculo visual#Área de una cicloide|cálculo visual]] de Mamikon.

===Centro de gravedad===
El [[Centroide|baricentro]] de la figura encerrada entre el primer arco de una cicloide y el eje <math>x</math>, tiene una abscisa igual a <math>x_G = \pi r</math>.
La ordenada del centro de gravedad se puede calcular con la fórmula:

: <math>y_G = \frac{\int y dx dy}{\int dx dy}</math>

que puede reescribirse en la forma:

: <math>y_G = \frac{\frac{1}{2} \int y^2 dx} {\int y dx} = \frac{\frac{1}{2} \int_{0}^{2\pi} r^3 (1 - \cos t)^3 dt}{\int_{0}^{2\pi} r^2 (1 - \cos t)^2 dt}</math>

La integral del denominador devuelve el área definida en el punto anterior.
Al realizar los cálculos, se tiene que <math>y_G = \frac{5}{6} r </math>.

La figura subtendida por el primer arco de la cicloide tiene así su centro de gravedad en <math>(x_G;y_G) = \left(\pi r; \frac{5}{6} r\right)</math>.

== Curvatura ==
La [[curvatura]] de la cicloide es función de la [[cosecante]] de la mitad del ángulo girado <math>t/2</math>:

: <math>K(t)=-\frac{\left| \csc \left(\frac{t}{2}\right) \right|}{4r}</math>

== Tipos de cicloide ==
[[Archivo:Tipos de cicloide.svg|mini|400px|Tipos de cicloide]]
Dependiendo de donde se encuentra ''P'' respecto de la circunferencia generatriz, se denomina: 

* Cicloide común, si ''P'' pertenece a la circunferencia generatriz, (''a'' = ''b''), 
* Cicloide acortada, si ''P'' se encuentra dentro de la circunferencia generatriz, (''b'' < ''a''),
* Cicloide alargada, si ''P'' está fuera de la circunferencia generatriz, (''b'' > ''a'').

siendo ''a'' el radio de la circunferencia, y ''b'' la distancia desde el centro de la circunferencia al punto ''P''.

===Curvas relacionadas===
Varias curvas están relacionadas con la cicloide.
* '''[http://mathworld.wolfram.com/CurtateCycloid.html Cicloide acortada (''curtata'')]''': el punto que describe la curva está dentro del círculo, que rueda sobre una línea recta.
* '''[http://mathworld.wolfram.com/ProlateCycloid.html Cicloide alargada (''prolata'')]''': el punto que traza la curva está fuera del círculo, que rueda sobre una línea recta.
* '''[[Trocoide]]''': se refiere a cualquiera de las cicloides; curtatas y prolatas.
* '''[[Hipocicloide]]''': el punto está en el borde del círculo, que no rueda en una línea, sino en el interior de otro círculo.
* '''[[Epicicloide]]''': el punto está en el borde del círculo, que rueda no en una línea, sino en el exterior de otro círculo.
* '''[[Hipotrocoide]]''': como la hipocicloide, pero el punto no necesita estar en el borde del círculo.
* '''[[Epitrocoide]]''': como la epicicloide, pero el punto no necesita estar en el borde del círculo.

Todas estas curvas son [[Ruleta (curva)|''ruletas'']], con un círculo envolviendo una trayectoria de [[curvatura]] uniforme. Las cicloides, epicicloides e hipocicloides tienen la propiedad de que cada una es [[Semejanza (geometría)|semejante]] a su [[evoluta]]. Si ''q'' es el [[Productorio|producto]] de esa curvatura por el radio del círculo, con signo positivo para epi- y negativo para hipo-, entonces la curva evoluta [[Homotecia|homotética]] es 1&nbsp;+&nbsp;2''q''.

== Propiedades físicas ==
===Curva braquistócrona===
[[Archivo:Brachistochrone.gif|miniatura|Curva braquistócrona]]
La cicloide es una [[curva braquistócrona]] en el sentido de Roberval, es decir, que representa la curva en la que debe deslizarse sin fricción y sin velocidad inicial un punto material pesado, colocado en un campo gravitatorio uniforme, de manera que su tiempo de recorrido es el mínimo de entre todas las curvas que unen dos puntos fijos dados. En otras palabras, es la curva de descenso más rápida para conectar dos puntos dados.

===Curva tautócrona===
[[Archivo:Tautochrone curve.gif|miniatura|La cicloide es una curva tautócrona. Las flechas azules representan la aceleración. En el gráfico, ''t'' es el tiempo y ''s'' la [[longitud de arco]] a lo largo de la curva.]]
El semiarco de una cicloide es también una curva [[tautócrona]], es decir, una curva tal que cualquier punto material dejado caer sin velocidad inicial en la curva llega a un punto dado (el que tiene la menor altura de la cicloide) en un tiempo independiente del punto de partida.

===Curva isócrona===
[[Archivo:CyloidPendulum.png|derecha|miniatura|Esquema de un péndulo cicloidal]]
[[Archivo:Isochronous cycloidal pendula.gif|miniatura|Cinco oscilaciones isócronas de un péndulo cicloidal con diferentes amplitudes.]]
Finalmente, es una curva isócrona en el sentido de [[Christiaan Huygens|Huygens]], es decir, tal que un punto material que se mueve sin fricción tiene un movimiento periódico cuyo período es independiente de la posición inicial. Si se suspende un péndulo simple de la cúspide de una cicloide invertida, tal que la "cuerda" esté limitada entre los arcos adyacentes de la cicloide, y la longitud del péndulo es igual a la mitad de la longitud del arco de la cicloide, es decir, dos veces el diámetro del círculo generador, la oscilación del [[péndulo]] también traza una cicloide. Tal péndulo cicloidal es [[Tautócrona|isócrono]], independientemente de la amplitud de su movimiento. La ecuación del movimiento viene dada por:
: <math>\begin{align}
  x &= r[\theta(t) - \sen \theta (t)] \\
  y &= r[\cos \theta (t) - 1].
\end{align}</math>
El matemático neerlandés del {{Siglo|XVII||s}} [[Christiaan Huygens]] descubrió y probó estas propiedades de la cicloide mientras buscaba diseños de reloj de péndulo más precisos para su uso en navegación.<ref>C. Huygens, "The Pendulum Clock or Geometrical Demonstrations Concerning the Motion of Pendula (sic) as Applied to Clocks," Translated by R. J. Blackwell, Iowa State University Press (Ames, Iowa, USA, 1986).</ref>

Estas dos últimas propiedades explican su uso en el diseño de [[péndulo cicloidal|péndulos cicloidales]] en relojería.

===Otras propiedades notables===
La trayectoria de una partícula sin velocidad inicial sometida a un campo eléctrico y a un campo magnético ortogonal uniforme es una cicloide ortogonal al campo magnético.

Las propiedades especiales de la curva [[cáustica (óptica)|cáustica]] hacen que la cicloide también se use en óptica.

== Usos ==
[[Archivo:Kimbell Art Museum.jpg|miniatura|Arcos cicloidales en el [[Museo de Arte Kimbell]]]]
[[Archivo:Mini-Vendargues.jpg|miniatura|Algunas secciones abiertas de gran diámetro utilizadas en pistas de patinaje acrobático son prácticamente cicloides]]

===Arquitectura===
El arco de cicloide fue utilizado por el arquitecto [[Louis Isadore Kahn]] en su diseño para el [[Museo de Arte Kimbell]] en [[Fort Worth]]. También se usó en el diseño del [[Hopkins Center for the Arts|Hopkins Center]] en [[Hanover (Nuevo Hampshire)]].

=== Mecánica ===
En el diseño de los dientes de los [[engranaje]]s se han empleado tradicionalmente curvas cicloides (así lo propuso [[Gérard Desargues]] en el año 1630) hasta principios del {{siglo|XX||s}}. En la actualidad solo se utilizan en mecanismos de relojería, puesto que generalmente se prefiere la evolvente del círculo. En [[física]] se puede ver que un [[péndulo]] que tenga por límites una curva cicloide es [[isócrono]] y el centro de gravedad del péndulo describe a su vez una cicloide.{{Cita requerida}}

===Violines===
Algunas investigaciones realizadas indican que algunas curvas transversales de las planchas de las cajas de la edad de oro de la construcción de violines están modeladas siguiendo curvas coherentes a cicloides.<ref>{{cite journal|last=Playfair|first=Q|title=Curtate Cycloid Arching in Golden Age Cremonese Violin Family Instruments|journal=Catgut Acoustical Society Journal|volume=4|series=II|issue=7|pages=48–58}}</ref> Trabajos posteriores indican que las cicloides curtatas no sirven como modelos generales para estas curvas,<ref>{{cite journal|last=Mottola|first=RM|title=Comparison of Arching Profiles of Golden Age Cremonese Violins and Some Mathematically Generated Curves|journal=Savart Journal|year=2011|volume=1|issue=1|url=http://savartjournal.org/index.php/sj/article/view/12|fechaacceso=10 de diciembre de 2017|fechaarchivo=11 de diciembre de 2017|urlarchivo=https://web.archive.org/web/20171211053817/http://www.savartjournal.org/index.php/sj/article/view/12|deadurl=yes}}</ref> que varían considerablemente.

===Toboganes===
Un uso práctico es el diseño de ciertos toboganes. Los hechos con forma de cicloide se utilizaron en la industria aeronáutica, pues se requería una forma apropiada de salir deslizándose desde un avión en caso de emergencia.{{Cita requerida}}

===Espirógrafo===
Un juguete clásico, el [[espirógrafo]], permite trazar curvas hipotrocoides y [[epitrocoide]]s. Consiste en una serie de círculos dentados con una serie de orificios, que pueden hacerse rodar sobre el interior de unos círculos huecos (también dentados) practicados en una plantilla. Introduciendo la punta de un útil de dibujo por uno de estos orificios y haciendo rodar el círculo dentado, se obtienen distintos patrones festoneados de cicloide.

== Curvas cíclicas ==

[[Curva cíclica]]

:{| class="wikitable"
| colspan=5 align="center" | La directriz es una [[recta]]
|-  align="center"
| d = r
| d < r
| d > r
|-align="center"
| [[cicloide]]
| colspan=2 | [[trocoide]]
|-  align="center"
| cicloide normal
| cicloide acortada
| cicloide alargada
|}

:{| class="wikitable"
| colspan=5 align="center" | La directriz es una [[circunferencia]]
|-  align="center"
|
| d = r
| d < r
| d > r
|-align="center"
|rowspan="2" | La generatriz es exterior a al directriz
| [[epicicloide]]
| colspan=2 | [[epitrocoide]]
|-  align="center"
| epicicloide normal
| epicicloide acortada
| epicicloide alargada
|-  align="center"
|rowspan="2" | La generatriz es interior a al directriz
| [[hipocicloide]]
| colspan=2 | [[hipotrocoide]]
|-  align="center"
| hipocicloide normal
| hipocicloide acortada
| hipocicloide alargada
|-  align="center"
|rowspan="2" | La directriz es interior a al generatriz
| [[pericicloide]]
| colspan=2 | [[peritrocoide]]
|-  align="center"
| pericicloide normal
| pericicloide acortada
| pericicloide alargada
|}

== Véase también ==
{{lista de columnas|3|
* [[Epiciclo]]
* [[Ruleta (geometría)|Ruleta]]
* [[Trocoide]]
* [[Epicicloide]]
* [[Hipocicloide]]
* [[Curva braquistócrona]]
* [[Tautócrona]]
* [[La garra del león]]
* [[Scipión Llona]]
}}

==Referencias y notas ==
{{listaref}}

== Literatura de consulta ==
* ''Curvas en la Historia'', Volumen I, José Manuel Álvarez, Ed. Nivola ciencia abierta 12, 2006.
* ''A Catalog of Special Plane Curves'', J. Dennis Lawrence, with 98 Ilustrations, Dover Publications, New York. 1972. (Capítulo 7 ''Trascendental Curves'').

== Enlaces externos ==
* {{Mathworld|Cycloid|Cycloid}}
* [http://axxon.com.ar/rev/127/c-127Divulgacion.htm "La garra del león": pormenorizado relato de la resolución de la braquistócrona por Newton]
* [https://web.archive.org/web/20070704193427/http://temasmatematicos.uniandes.edu.co/Trocoides/paginas/introduccion.htm Cicloides y trocoides, en temasmatematicos]
* [https://web.archive.org/web/20120617100602/http://docentes.educacion.navarra.es/~msadaall/geogebra/trocoides.htm Cicloides y trocoides, en cfnavarra]

{{Control de autoridades}}
[[Categoría:Curvas trascendentes]]
[[Categoría:Ciencia y tecnología de Francia]]
[[Categoría:Ciencia de 1503]]