Mostra la font per a Cissoide de Diocles

[[Fitxer:Cissoide2.svg|miniatura|Construcció de la cissioide de Diocles]]

En [[geometria]], la '''cissoide de Diocles''' o simplement, la '''cissoide''', és una [[corba cúbica plana]] notable per la propietat que es pot fer servir per construir dues [[mitjana proporcional|mitjanes proporcionals]] a una [[raó aritmètica|proporció]] donada. En particular, es pot usar per [[Duplicació del cub|duplicar un cub]]. Es pot definir com la [[corba cissoïdal]] d'una circumferència i una tecta tangent a la circumferència respecte al punt de la circumferència oposat al punt de tangència. De fet, la família de cissoides pren el nom d'aquest exemple i alguns autors s'hi refereixen simplement com la cissoide. Té una [[cúspide (singularitat)|cúspide]] senzilla al pol, i és simètrica respecte al diàmetre de la circumferència que és la línia de tangència de la cúspide. És un membre de la família de les corbes [[concoide de De Sluze|concoides de De Sluze]] i pel que fa a la forma s'assembla a una [[tractriu]].

La paraula "cissoide" ve del [[Grec]] κισσοείδες ''kissoeides'' "forma d'[[heura]]" de κισσός; ''kissos'' "heura" i -οειδές; - ''oeides'' "tenint la semblança de". La corba s'anomena en honor a [[Diocles (geòmetra)|Diocles]] que la va estudiar al [[segle II aC]]. 

== Construcció i equacions ==

Sigui ''C'' una circumferència amb diàmetre ''OA'' i sigui ''L'' la recta tangent a la circumferència a ''A''. Es dibuixa un radi variable ''R'' per ''O'' que talla ''C'' a ''M''<sub>1</sub> i ''L'' a ''M''<sub>2</sub>. Sigui ''M'' el punt a R tal que ''OM'' = ''M''<sub>1</sub>''M''<sub>2</sub>. Llavors la cissoide es defineix com el lloc geomètric de punts ''M''.

Sigui ''a'' el radi de ''C''. Per translació i rotació, es pot fer que ''O'' l'origen i el centre del circumferència sigui (''a'',0), així ''A'' és (2''a'', 0). Llavors les equacions polars de ''L'' i ''C'' són:
:<math>r=2a\sec\theta</math>
:<math>r=2a\cos\theta</math>.

Per construcció, la distància des de l'origen fins a un punt sobre la cissoide és igual la diferència entre les distàncies de l'origen als punts corresponents en ''L'' i ''C''. En altres paraules, l'equació polar de la cissoide és
:<math>r=2a\sec\theta-2a\cos\theta=2a(\sec\theta-\cos\theta)</math>.
Aplicant algunes [[Llista d'identitats trigonomètriques|identitats trigonomètriques]], això és equivalent a
:<math>r=2a\sin^2\theta/\cos\theta=2a\sin\theta\tan\theta</math>.

Si <math>t=\tan\theta</math> en l'equació d'abans. Llavors
:<math>x = r\cos\theta = 2a\sin^2\theta = \frac{2a\tan^2\theta}{\sec^2\theta} = \frac{2at^2}{1+t^2}</math>
:<math>y = tx = \frac{2at^3}{1+t^2}</math>

són les equacions paramètriques per a la cissoide.

Convertint la forma polar a coordenades cartesianes dóna
:<math>(x^2+y^2)x=2ay^2</math>

=== Construcció per projecció doble ===
[[Fitxer:Cissoide mecanique.svg|miniatura|Mecanisme per generar la cissoide]]

Una altra construcció continua s'obté de la manera següent: Sia una línia ''L'' i un punt ''O'' que no pertany a ''L'', i sia ''K'' la línia que passa per ''O'' paral·lela a ''L''. Sia ''P'' un punt variable sobre ''L''. Sia ''Q'' la projecció de ''P'' sobre ''K'', en unes altres paraules ''Q'' és la intersecció de ''K'' amb la recta que passa per ''P'' perpendicular a ''K''. De manera similar sia ''R'' la projecció de ''Q'' a ''OP''. Llavors la cissoide és el lloc geomètric dels punts ''R''. 

Per veure això, sia ''O'' l'origen i ''L'' la recta ''x'' =''2a'' com més amunt. Sia ''P'' el punt (2''a'',&nbsp;2''at''), llavors ''Q'' és (0,&nbsp;2''at'') i l'equació de la recta ''OP'' és ''y'' =''tx''. La recta que passa per ''Q'' perpendicular a ''OP'' és
:<math>t(y-2at)+x=0</math>.

Per trobar el punt d'intersecció ''R'', es fa ''y'' =''tx'' en aquesta equació per aconseguir
:<math>t(tx-2a)+x=0,\ x(t^2+1)=2at^2,\ x=\frac{2at^2}{t^2+1}</math>
:<math>y=tx=\frac{2at^3}{t^2+1}</math>

que són les equacions paramètriques donades a dalt.

Aquesta construcció suggereix el mecanisme mostrat a la dreta per generar la corba.

=== La construcció de Newton ===
[[Fitxer:CissoidConstructionByNewton.svg|miniatura|La construcció de Newton]]

La construcció següent la va obtenir [[Isaac Newton]]. Sia ''J'' una recta i ''B'' un que no pertany a ''J''. Sia ''BST'' un angle recte que es mou de manera que ''ST'' és igual a la distància de ''B'' a ''J'' i ''T'' roman a ''J'', mentre l'altra cama ''BS'' llisca al llarg de ''B''. Llavors el punt mitjà ''P'' de ''ST'' descriu la corba.

Per veure-ho,<ref>Vegeu Basset per a la demostració, hi ha moltes altres fonts que donen la construcció. </ref> sia 2''a'' la distància entre ''B'' i ''J''. Per translació i rotació, s'agafa ''B'' = (−a, 0) i ''J'' la recta ''x'' =''a''. Sia ''P'' = (''x'', ''y'') i sia ψ l'angle entre ''SB'' i l'eix ''x''; aquest és igual a l'angle entre ''ST'' i ''J''. Per construcció ''PT'' = ''a'', per tant la distància de ''P'' a ''J'' és ''a'' sin ψ. En altres paraules ''a'' - ''x'' = ''a'' sin ψ. També ''SP'' = ''a'' és la coordenada ''y'' de (''x'', ''y'') si es gira un angle ψ, així
''a'' = (''x''+''a'') sin ψ + ''y'' cos ψ. Després de simplificar, això produeix les equacions paramètriques
:<math>x=a(1-\sin\psi),\,y=a\frac{(1-\sin\psi)^2}{\cos\psi}.</math>
Canviant paràmetres substituint ψ pel seu complementari s'obté
:<math>x=a(1-\cos\psi),\,y=a\frac{(1-\cos\psi)^2}{\sin\psi}</math>
o aplicant les fórmules de d'angle doble,
:<math>x=2a\sin^2{\psi \over 2},\,y=a\frac{4\sin^4{\psi \over 2}}{2\sin{\psi \over 2}\cos{\psi \over 2}} = 2a\frac{\sin^3{\psi \over 2}}{\cos{\psi \over 2}}.</math>
Però això és l'equació polar
:<math>r=2a\sin^2\theta/\cos\theta</math>
donada més amunt amb θ=Ψ/2.

Fixeu-vos que, com amb la construcció de projecció doble, això es pot adaptar per produir un dispositiu mecànic que genera la corba.

== Problema de Delian ==
El geòmetra grec Diocles va fer servir la cissoide per obtenir dues mitjanes proporcionals a una [[raó aritmètica]] donada. Això significa que donades les llargades ''a'' i ''b'', la corba es pot fer servir per trobar ''u'' i ''v'' de manera que
''u''/''a''=''v''/''u''=''b''/''v''. Com a cas especial, això es pot fer servir per resoldre el Problema de Delian: en quina magnitud s'ha d'allargar l'aresta d'un [[cub]] per [[duplicació del cub|doblar]] el seu [[volum]]? Específicament, si ''a'' és el costat d'un cub, i ''b'' =2''a'', llavors el volum d'un cub de costat ''u'' és
:<math>u^3=a^3(\tfrac{u}{a})^3=a^3(\tfrac{u}{a})(\tfrac{v}{u})(\tfrac{b}{v})=a^3(\tfrac{b}{a})=2a^3</math>
així ''u'' és el costat d'un cub amb doble volum del cub original. Fixeu-vos tanmateix que aquesta solució no cau dins de les regles de [[construcció amb regle i compàs]], ja que depèn de l'existència de la cissoide.

Siguin ''a'' i ''b'' donats. Es demana trobar ''u'' de manera que ''u''<sup>3</sup>=''a''<sup>2</sup>''b'', donant ''u'' i ''v'' =''u''<sup>2</sup>/''a'' com les mitjanes proporcionals. Sia la cissoide
:<math>(x^2+y^2)x=2ay^2</math>
construïda com s'ha explicat a dalt, amb ''O'' l'origen, ''A'' el punt (2''a'', 0), i ''J'' la recta ''x'' =''a'', donada també a dalt. Sia ''C'' el punt d'intersecció de ''J'' amb ''OA''. A partir de la llargada donada ''b'', es marca ''B'' en ''J'' de manera que ''CB'' =''b''. Es dibuixa ''BA'' i sia ''P'' = (''x'', '' y'') el punt on talla la cissoide. Es dibuixa ''OP'' i ess troba la intersecció amb ''J'' a ''U''. Llavors ''u'' =''CU'' és la llargada que se cercava.

Per veure-ho,<ref>La demostració és una versió lleugerament modificada de la que dóna Basset.</ref> es reescriu l'equació de la corba com
:<math>y^2=\frac{x^3}{2a-x}</math>
i sia ''N'' = (''x'', 0), així ''PN'' és la perpendicular a ''OA'' per ''P''.
A partir de l'equació de la corba,
:<math>PN^2=\frac{ON^3}{NA}.</math>
A partir d'aquí,
:<math>\frac{PN^3}{ON^3}=\frac{PN}{NA}.</math>
Per semblança de triangles ''PN''/''ON'' =''UA''/''OA'' i ''PM''/''MA'' =''BO''/''OA''. Per tant l'equació esdevé
:<math>\frac{UA^3}{OA^3}=\frac{BO}{OA},</math>
així
:<math>\frac{u^3}{a^3}=\frac{b}{a},\, u^3=a^2b</math>
com es demanava.

Diocles no va resoldre realment el problema de Delian. La raó és que la cissoide de Diocles no es pot construir perfectament, amb regle i compàs. Per construir la cissoide de Diocles, es pot construir un nombre finit dels seus punts individuals, llavors connectar-los tots per formar una corba. El problema és que no hi ha cap manera ben definida de connectar els punts. Si estan connectats per segments de recta, llavors la construcció serà ben definida, però no serà una cissoide de Diocles exacta, sinó només una aproximació. De la mateixa manera, si els punts estan connectats amb arcs circulars, la construcció serà ben definida, però incorrecta. O es podria simplement dibuixar una corba directament, provant a ull la forma de la corba, però el resultat només seria un tempteig imprecís.

Una vegada que s'han dibuixat el conjunt finit de punts sobre la cissoide, llavors la recta ''PC'' probablement no tocarà un d'aquests punts exactament, però passarà entre ells, intersecant la cissoide de Diocles en algun punt la localització exacta del qual no s'ha construït, sinó que només s'ha aproximat. Una alternativa és continuar afegint punts construïts a la cissoide que siguin més i més propers a la intersecció amb la recta ''PC'', però el nombre de passos pot molt ben ser infinit, i els grecs no acceptaven aproximacions com límits de passos infinits (així estaven molt confosos per les [[paradoxesde Zenó]]).

Un també es podria construir una cissoide de Diocles per mitjà d'una eina mecànica dissenyada de manera especial per aquest propòsit, però això viola la regla de només fer servir compàs i regla. Aquesta regla s'establia per raons de — lògica — axiomàtica — consistència. Permetre la construcció amb eines noves seria com afegir-hi nous [[axioma|axiomes]], però els axiomes se suposa que són simples i evidents, però aquestes eines no ho són. Així per les regles de la [[geometria]] clàssica, Diocles no va resoldre el problema de Delian, que de fet no pot ser resolt amb aquests mitjans.

D'altra banda, si s'accepta que les cissoides de Diocles [[existència|existeixin]], llavors ha d'existir com a mínim un exemple de tal cissoide. Llavors aquesta cissoide es podria traslladar, girar, i expandir o contreure en mida (sense canviar la seva forma [[proporcionalitat (matemàtiques)|proporcional)]] a voluntat per encabir-se a qualsevol posició. Llavors s'admetria immediatament que tal cissoide es pot fer servirr per resoldre correctament el problema de Delian.

== Ruleta ==
Aquesta corba és també una [[ruleta (corba)|ruleta]]. Agafant dues [[paràbola|paràboles]] congruents, es posen a tocar pels vèrtex, i fent-ne rodar una damunt de l'altre; el vèrtex de la paràbola que roda ressegueix la cissoide.

[[Fitxer:RouletteAnim2.gif|miniatura|La cissoide de Diocles com a ruleta. Un parell de paràboles enfrontades l'una amb l'altre simètricament: una damunt i l'altre davall. Llavors es fa rodar la primera paràbola sense lliscar damunt de l'inferior, i les seves successives posicions es mostren en l'animació. Llavors el camí resseguit pel vèrtex de la primera paràbola mentre roda és una ruleta mostrada en vermell, que resulta ser una cissoide de Diocles.'']]

Es defineixen un parell de paràboles les equacions de les quals són
:<math> y = x^2, \ </math>
:<math> y = -x^2. \ </math>

Aquestes paràboles s'enfronten l'una amb l'altra simètricament a banda i banda de l'eix ''x'', (són les que es mostren a la Figura 1). Llavors es tria un punt (''a'', ''a<sup>2</sup>'') de la primera paràbola. El [[pendent (matemàtiques)|pendent]] de la tangent a la primera paràbola en aquest punt és
:<math> {d (x^2) \over dx} = 2 x. \ </math>

La distància mesurada al llarg de la primera paràbola des de punt (0,0) al punt (''a'', ''a<sup>2</sup>'') és equivalent a la distància mesurada al llarg de la paràbola inferior des de punt (0,0) al punt (''a'', ''−a<sup>2</sup>''). Així, quan roda la primera paràbola, el seu punt que era originalment a (''a'', ''a<sup>2</sup>'') vindrà finalment a fer contacte tangencial amb el punt (''a'', ''−a<sup>2</sup>'') de la paràbola inferior. Això és vcert per a tots els valors de ''a''.

Quan els dos tals punts estan en contacte, les seves [[tangent|tangents]] coincideixen i tenen el mateix pendent, que és ''−2 a''. Sia ''θ'' l'angle que el pendent ''2 a'' forma amb l'eix ''x'', de manera que
:<math> \tan \theta = 2 a \qquad \qquad (1) </math>.

Llavors la primera paràbola ha de [[rotació (matemàtiques)|girar]] un angle de ''2 θ'' per tal que el seu punt originalment a (''a'', ''a<sup>2</sup>'') vagi a contactar amb la paràbola inferior al punt (''a'', ''−a<sup>2</sup>'').

Aquesta rotació es pot realitzar per mitjà de la matriu de rotació ''R(−2 θ)''.
:<math> R(- 2 \theta) = \begin{bmatrix} \cos 2 \theta & \sin 2 \theta \\
-\sin 2 \theta & \cos 2 \theta \end{bmatrix}. </math>
Sia el punt que pivota de la rotació el punt (''a'', ''a<sup>2</sup>''). Aquest vector que pivota s'ha de restar de tots els punts de la primera paràbola abans que tots aquests punts s'operin per la matriu de rotació. Llavors, després que la rotació es realitzi, aquest punt que pivota estarà a l'origen, i el pendent de la primera paràbola girada a l'origen serà ''−2 a'', que correspon al pendent del punt (''a'', ''−a<sup>2</sup>'') de la paràbola inferior. Aquests dos punts han d'estar en contacte, així la primera paràbola girada es desplaçarà per vector (''a'', ''−a<sup>2</sup>'') a la seva posició nova en contacte amb la paràbola inferior. Així la primera paràbola girada es descriurà per
:<math> \begin{bmatrix} \cos 2 \theta & \sin 2 \theta \\ -\sin 2 \theta & \cos 2 \theta \end{bmatrix} \begin{bmatrix} x - a \\ x^2 - a^2 \end{bmatrix} + \begin{bmatrix} a \\ -a^2 \end{bmatrix} </math>

on ''a'' es pot anomenar un "paràmetre rodador" i ''x'' és l'[[abscissa]] pregirada.

Aplicant les [[llista d'identitats trigonomètriques|identitats trigonometriques]]
:<math> \cos \, 2 \theta = 2 \cos^2 \theta - 1 \ </math>
:<math> \sin \, 2 \theta = 2 \sin \theta \cos \theta \ </math>
dóna un lloc geomètric de punts de la forma
:<math> \begin{bmatrix} 2 \cos^2 \theta - 1 & 2 \sin \theta \cos \theta \\ -2 \sin \theta \cos \theta & 2 \cos^2 \theta - 1 \end{bmatrix} \begin{bmatrix} x - a \\ x^2 - a^2 \end{bmatrix} + \begin{bmatrix} a \\ -a^2 \end{bmatrix}, </math>
que, a través de l'aplicació de l'equació (1), es converteix en
:<math> \begin{bmatrix} 2 \cos^2 (\tan^{-1} (2 a)) - 1 & 2 \sin (\tan^{-1} (2 a)) \cos(\tan^{-1} (2 a)) \\ -2 \sin (\tan^{-1} (2 a)) \cos (\tan^{-1} (2 a)) & 2 \cos^2 (\tan^{-1} (2 a)) - 1 \end{bmatrix} \begin{bmatrix} x - a \\ x^2 - a^2 \end{bmatrix} + \begin{bmatrix} a \\ -a^2 \end{bmatrix}. </math>

Llavors, aplicant les identitats
:<math> \cos \tan^{-1} x = {1 \over \sqrt{1 + x^2}} </math>
:<math> \sin \tan^{-1} x = {x \over \sqrt{1 + x^2}} </math>
produeix el conjunt de punts de la forma
:<math> \begin{bmatrix} {2 \over 1 + 4 a^2} - 1 & 2 \left( {2 a \over \sqrt{1 + 4 a^2}} \right) \left( {1 \over \sqrt{1 + 4 a^2}} \right) \\ - {4 a \over 1 + 4 a^2} & {2 \over 1 + 4 a^2} - 1 \end{bmatrix} \begin{bmatrix} x - a \\ x^2 - a^2 \end{bmatrix} + \begin{bmatrix} a \\ -a^2 \end{bmatrix} </math>
::<math> = \begin{bmatrix} {1 - 4 a^2 \over 1 + 4 a^2} & {4 a \over 1 + 4 a^2} \\ {-4 a \over 1 + 4 a^2} & {1 - 4 a^2 \over 1 + 4 a^2} \end{bmatrix} \begin{bmatrix} x - a \\ x^2 - a^2 \end{bmatrix} + \begin{bmatrix} a \\ -a^2 \end{bmatrix} </math>
::<math> = \begin{bmatrix} {(1 - 4 a^2) (x - a) + 4 a (x^2 - a^2) \over 1 + 4 a^2} + a \\ {-4 a (x - a) + (x^2 - a^2) (1 - 4 a^2) \over 1 + 4 a^2} - a^2 \end{bmatrix} </math>
::<math> = \begin{bmatrix} {4 a^3 + 4 a x^2 - 4 a^2 x + x \over 1 + 4 a^2} \\ {2 a^2 + x^2 - 4 a^2 x^2 - 4 a x \over 1 + 4 a^2} \end{bmatrix}. </math>

El [[vèrtex]] de la primera paràbola feta rodar s'especifica fent ''x = 0'', que ocasiona el conjunt de punts que depenen només del paràmetre rodador ''a'' i les coordenades del qual són
:<math> X(a) = {4 a^3 \over 1 + 4 a^2}, \qquad \qquad (2) </math>
:<math> Y(a) = {2 a^2 \over 1 + 4 a^2}. \qquad \qquad (3) </math>
Aquesta corba de punts (''X(a)'', ''Y(a)'') és la ruleta, i ara només queda demostrar que és una cissoide de Diocles. La ruleta és una cissoide l'equació de la qual és
:<math> X^2 = {Y^3 \over {1 \over 2} - Y} \qquad \qquad (4) </math>.
Per demostrar-ho, es fiquen els valors de ''X'' i ''Y'' donats per les equacions (2) i (3) a l'equació (4) i es veu si condueix a una tautologia:
:<math> \left[ {4 a^3 \over 1 + 4 a^2} \right]^2 = { \left[ {2 a^2 \over 1 + 4 a^2} \right]^3 \over {1 \over 2} - \left[ {2 a^2 \over 1 + 4 a^2} \right]} </math>

:<math> {16 a^6 \over (1 + 4 a^2)^2} = { \left[ {8 a^6 \over (1 + 4 a^2)^3} \right] \over {1 \over 2} - {2 a^2 \over 1 + 4 a^2}} </math>

:<math> {16 a^6 \over (1 + 4 a^2)^2} = { 8 a^6 / (1 + 4 a^2)^3 \over {1 + 4 a^2 \over 2 (1 + 4 a^2)} - {4 a^2 \over 2 (1 + 4 a^2)}} </math>

:<math> {16 a^6 \over (1 + 4 a^2)^2} = {8 a^6 / (1 + 4 a^2)^3 \over {1 \over 2 (1 + 4 a^2)} } = {16 a^6 \over (1 + 4 a^2)^2} </math>

que és cert per a tots els valors de ''a'', el paràmetre rodador.

== La cissoide de Diocles com a corba podària ==

'''Teorema:''' La corba [[podària]] d'una paràbola respecte al seu vèrtex és una cissoide de Diocles.

''Demostració:'' Qualsevol paràbola es pot girar i traslladar de manera que acabi sent descrita per l'equació
:<math> y = a x^2, \,</math>

el pendent de la qual en punt (''x'', ''y'') ve donat per la [[derivada]]
:<math> {dy \over dx} = 2 a x. </math>

Llavors el conjunt de punts que formen la recta tangent a la paràbola al punt (''b'', ''a b<sup>2</sup>'') és
:<math> L_1(b) = \{ (b, a b^2) + (u, 2 a b u) = (b + u, a b^2 + 2 a b u) : u \in \mathbb{R} \} </math>
i el conjunt de punts que formen la recta que és perpendicular a ''L<sub>1</sub>(b)'' i que passa a través de l'[[origen]] és
:<math> L_2(b) = \left\{ \left(v, -{v \over 2 a b} \right) : v \in \mathbb{R} \right\}. </math>
Observeu que el pendent de ''L<sub>2</sub>(b)'' és ''−1/(2ab)'' que és perpendicular al pendent de ''L<sub>1</sub>(b)'', ''2ab''.

La intersecció ''L<sub>1</sub>(b)'' ∩ ''L<sub>2</sub>(b)'' es pot trobar establint el següent sistema d'equacions
:<math> b + u = v, \ </math>
:<math> a b^2 + 2 a b u = - {v \over 2 a b}. </math>
Ara es resol per ''u'':
:<math> a b^2 + 2 a b u = - {b + u \over 2 a b} = -{1 \over 2 a} - {u \over 2 a b}, </math>
:<math> a b^2 + {1 \over 2 a} = - u \left( 2 a b + {1 \over 2 a b} \right), </math>
:<math> u = {- a b^2 - {1 \over 2 a} \over 2 a b + {1 \over 2 a b}} = {-2 a^2 b^2 - 1 \over 4 a^2 b + {1 \over b}} </math>
de manera que l'[[abscissa]] ''v'' és
:<math> v = b + u = {2 a^2 b^2 \over 4 a^2 b + {1 \over b}} </math>
i l'ordenada és
:<math> -{v \over 2 a b} = { - a b \over 4 a^2 b + {1 \over b}}. </math>
Així, el punt d'intersecció és
:<math> \left( {2 a^2 b^2 \over 4 a^2 b + {1 \over b}}, {- a b \over 4 a^2 b + {1 \over b}} \right) = \left( {2 a^2 b^3 \over 4 a^2 b^2 + 1}, {- a b^2 \over 4 a^2 b^2 + 1} \right) </math>
i aquest punt pertany a la corba podària de la paràbola.

Sia
:<math> X = {2 a^2 b^3 \over 4 a^2 b^2 + 1}, </math>
:<math> Y = {- a b^2 \over 4 a^2 b^2 + 1}. </math>

Llavors la qüestió és: hi ha una constant ''k'' que no depèn de ''b'' (sinó només d{{'}}''a'') tal que
:<math> X^2 = {Y^3 \over 2 k - Y} </math>?
Per esbrinar-ho, se substitueixen els valors per ''X'' i ''Y'' :
:<math> {4 a^4 b^6 \over (4 a^2 b^2 + 1)^2} = {- a^3 b^6 / (4 a^2 b^2 + 1)^3 \over 2 k + {a b^2 \over 4 a^2 b^2 + 1}}. </math>
Multiplicant numerador i denominador a la lleia per ''(4 a<sup>2</sup> b<sup>2</sup> + 1)<sup>3</sup>'',
:<math> {4 a^4 b^6 \over (4 a^2 b^2 + 1)^2} = {-a^3 b^6 \over 2 k (4 a^2 b^2 + 1)^3 + a b^2 (4 a^2 b^2 + 1)^2}. </math>
Multiplicant creuadament,
:<math> 8 k a^4 b^6 (4 a^2 b^2 + 1)^3 + 4 a^5 b^8 (4 a^2 b^2 + 1)^2 = - a^3 b^6 (4 a^2 b^2 + 1)^2. \ </math>
Dividint per ''(4 a<sup>2</sup> b<sup>2</sup> + 1)<sup>2</sup>'',
:<math> 8 k a^4 b^6 (4 a^2 b^2 + 1) + 4 a^5 b^8 = - a^3 b^6. \ </math>
Aplicant la [[propietat distributiva]],
:<math> 32 k a^6 b^8 + 8 k a^4 b^6 + 4 a^5 b^8 = - a^3 b^6. \ </math>
Dividint els dos costats per ''a<sup>3</sup> b<sup>6</sup>'',
:<math> 32 k a^3 b^2 + 8 k a + 4 a^2 b^2 = -1. \, </math>
Restant ''4 a<sup>2</sup> b<sup>2</sup>'' dels dos costats, llavors traient factor comú ''8 a k'' al costat esquerre 
:<math> 8 a k (1 + 4 a^2 b^2) = -(1 + 4 a^2 b^2). \, </math>
S'el·limina el factor comú als dos costats, i llavors es resol per ''k''
:<math> k = - {1 \over 8 a}. </math>
''k'' no depèn de ''b'', així, per a una paràbola donada (amb el valor fix de ''a''), ''k'' és una constant, i la corba podària és una cissoide de Diocles.

== Corba inversa ==
La cissoide de Diocles també es pot definir com la [[corba inversa]] d'una paràbola amb el centre d'inversió en el vèrtex. Per veure això, considereu la paràbola ''x'' =''y''<sup>2</sup>. En coordenades polars és
:<math>r=\frac{\cos\theta}{\sin^2\theta}</math>,
i la corba inversa té per equació
:<math>r=\frac{\sin^2\theta}{\cos\theta} = \sin\theta \tan\theta</math>
que és un cas especial de l'equació que defineix la cissoide de Diocles en coordenades polars.

== Referències ==
{{Commonscat}}

{{Referències}}
* {{ref-llibre|autor = J. Dennis Lawrence |títol = A catalog of special plane curves |editorial = Dover Publications |any = 1972 |isbn = 0-486-60288-5 |pàgines = 95,98–100 }}
* {{MathWorld|title=Cissoid of Diocles|urlname=CissoidofDiocles}}
* [http://xahlee.org/SpecialPlaneCurves_dir/CissoidOfDiocles_dir/cissoidOfDiocles.html "Cissoid of Diocles" a Visual Dictionary Of Special Plane Curves]
* [http://www-history.mcs.st-andrews.ac.uk/history/Curves/Cissoid.html "Cissoid of Diocles" a MacTutor's Famous Curves Index]
* [http://www.2dcurves.com/cubic/cubicc.html "Cissoid" a 2dcurves.com]
* [http://www.mathcurve.com/courbes2d/cissoiddroite/cissoiddroite.shtml "Cissoïde de Dioclès ou Cissoïde Droite" a Encyclopédie des Formes Mathématiques Remarquables] {{fr}}
* [http://books.google.cat/books?id=yUxtAAAAMAAJ&pg=PA85 "The Cissoid" ''An elementary treatise on cubic and quartic curves'' Alfred Barnard Basset (1901) Cambridge pàg. 85ff]

[[Categoria:Corbes]]