Similarity edit

Any semicubical parabola ${\displaystyle (t^{2},at^{3})}$  is similar to the semicubical unit parabola ${\displaystyle (u^{2},u^{3})}$ .

Proof: The similarity ${\displaystyle (x,y)\rightarrow (a^{2}x,a^{2}y)}$  (uniform scaling) maps the semicubical parabola ${\displaystyle (t^{2},at^{3})}$  onto the curve ${\displaystyle ((at)^{2},(at)^{3})=(u^{2},u^{3})}$  with ${\displaystyle u=at}$ .

Singularity edit

The parametric representation ${\displaystyle (t^{2},at^{3})}$  is regular except at point ${\displaystyle (0,0)}$ . At point ${\displaystyle (0,0)}$  the curve has a singularity (cusp). The proof follows from the tangent vector ${\displaystyle (2t,3t^{2})}$ . Only for ${\displaystyle t=0}$  this vector has zero length.

Tangents edit

Differentiating the semicubical unit parabola ${\displaystyle y=\pm x^{3/2}}$  one gets at point ${\displaystyle (x_{0},y_{0})}$  of the upper branch the equation of the tangent:

${\displaystyle y={\frac {\sqrt {x_{0}}}{2}}\left(3x-x_{0}\right).}$ 

This tangent intersects the lower branch at exactly one further point with coordinates ^[3]

${\displaystyle \left({\frac {x_{0}}{4}},-{\frac {y_{0}}{8}}\right).}$ 

(Proving this statement one should use the fact, that the tangent meets the curve at ${\displaystyle (x_{0},y_{0})}$  twice.)

Arclength edit

Determining the arclength of a curve ${\displaystyle (x(t),y(t))}$  one has to solve the integral ${\textstyle \int {\sqrt {x'(t)^{2}+y'(t)^{2}}}\;dt.}$  For the semicubical parabola ${\displaystyle (t^{2},at^{3}),\;0\leq t\leq b,}$  one gets

${\displaystyle \int _{0}^{b}{\sqrt {x'(t)^{2}+y'(t)^{2}}}\;dt=\int _{0}^{b}t{\sqrt {4+9a^{2}t^{2}}}\;dt=\cdots =\left[{\frac {1}{27a^{2}}}\left(4+9a^{2}t^{2}\right)^{\frac {3}{2}}\right]_{0}^{b}\;.}$ 

(The integral can be solved by the substitution ${\displaystyle u=4+9a^{2}t^{2}}$ .)

Example: For a = 1 (semicubical unit parabola) and b = 2, which means the length of the arc between the origin and point (4,8), one gets the arc length 9.073.

Evolute of the unit parabola edit

The evolute of the parabola ${\displaystyle (t^{2},t)}$  is a semicubical parabola shifted by 1/2 along the x-axis: ${\textstyle \left({\frac {1}{2}}+t^{2},{\frac {4}{{\sqrt {3}}^{3}}}t^{3}\right).}$ 

Polar coordinates edit

In order to get the representation of the semicubical parabola ${\displaystyle (t^{2},at^{3})}$  in polar coordinates, one determines the intersection point of the line ${\displaystyle y=mx}$  with the curve. For ${\displaystyle m\neq 0}$  there is one point different from the origin: ${\textstyle \left({\frac {m^{2}}{a^{2}}},{\frac {m^{3}}{a^{2}}}\right).}$  This point has distance ${\textstyle {\frac {m^{2}}{a^{2}}}{\sqrt {1+m^{2}}}}$  from the origin. With ${\displaystyle m=\tan \varphi }$  and ${\displaystyle \sec ^{2}\varphi =1+\tan ^{2}\varphi }$  ( see List of identities) one gets ^[4]

${\displaystyle r=\left({\frac {\tan \varphi }{a}}\right)^{2}\sec \varphi \;,\quad -{\frac {\pi }{2}}<\varphi <{\frac {\pi }{2}}.}$ 

Relation between a semicubical parabola and a cubic function edit

Mapping the semicubical parabola ${\displaystyle (t^{2},t^{3})}$  by the projective map ${\textstyle (x,y)\rightarrow \left({\frac {x}{y}},{\frac {1}{y}}\right)}$  (involutoric perspectivity with axis ${\displaystyle y=1}$  and center ${\displaystyle (0,-1)}$ ) yields ${\textstyle \left({\frac {1}{t}},{\frac {1}{t^{3}}}\right),}$  hence the cubic function ${\displaystyle y=x^{3}.}$  The cusp (origin) of the semicubical parabola is exchanged with the point at infinity of the y-axis.

This property can be derived, too, if one represents the semicubical parabola by homogeneous coordinates: In equation (A) the replacement ${\displaystyle x={\tfrac {x_{1}}{x_{3}}},\;y={\tfrac {x_{2}}{x_{3}}}}$  (the line at infinity has equation ${\displaystyle x_{3}=0}$ .) and the multiplication by ${\displaystyle x_{3}^{3}}$  is performed. One gets the equation of the curve

• in homogeneous coordinates: ${\displaystyle x_{3}x_{2}^{2}-x_{1}^{3}=0.}$ 

Choosing line ${\displaystyle x_{\color {red}2}=0}$  as line at infinity and introducing ${\displaystyle x={\tfrac {x_{1}}{x_{2}}},\;y={\tfrac {x_{3}}{x_{2}}}}$  yields the (affine) curve ${\displaystyle y=x^{3}.}$ 

Isochrone curve edit

An additional defining property of the semicubical parabola is that it is an isochrone curve, meaning that a particle following its path while being pulled down by gravity travels equal vertical intervals in equal time periods. In this way it is related to the tautochrone curve, for which particles at different starting points always take equal time to reach the bottom, and the brachistochrone curve, the curve that minimizes the time it takes for a falling particle to travel from its start to its end.

The semicubical parabola was discovered in 1657 by William Neile who computed its arc length. Although the lengths of some other non-algebraic curves including the logarithmic spiral and cycloid had already been computed (that is, those curves had been rectified), the semicubical parabola was the first algebraic curve (excluding the line and circle) to be rectified.^{[1][disputed (for: It appears that parabola and other conic sections have been rectified a long time before)  – discuss]}

• August Pein: Die semicubische oder Neil'sche Parabel, ihre Sekanten und Tangenten , 1875, Dissertation
• Clifford A. Pickover: The Length of Neile's Semicubical Parabola

• O'Connor, John J.; Robertson, Edmund F., "Neile's Semi-cubical Parabola", MacTutor History of Mathematics Archive, University of St Andrews