Semicubical parabola explained

In mathematics, a cuspidal cubic or semicubical parabola is an algebraic plane curve that has an implicit equation of the form

y ^{2} - a ^{2} x ^{3} = 0 (with) in some Cartesian coordinate system.

Solving for leads to the explicit form

y = \pm a x ^{(3)/(2)} , which imply that every real point satisfies . The exponent explains the term semicubical parabola. (A parabola can be described by the equation .)

Solving the implicit equation for yields a second explicit form

x = \left( (y)/(a) \right) ^{(2)/(3)} .

The parametric equation

x = t ^{2,} y = a t ^{3} can also be deduced from the implicit equation by putting $t\; =\; \backslash frac.$ ^[1]

The semicubical parabolas have a cuspidal singularity; hence the name of cuspidal cubic.

The arc length of the curve was calculated by the English mathematician William Neile and published in 1657 (see section History).^[2]

Properties of semicubical parabolas

Similarity

Any semicubical parabola

(t ^{2,at} ^{3)} is similar to the semicubical unit parabola

Proof: The similarity

(x,y) → (a ^{2x,a} ^{2y)} (uniform scaling) maps the semicubical parabola (t ^{2,at} ^{3)} onto the curve ((at) ^{2,(at)} ^{3)} = (u ^{2,u} ^{3)} with

Singularity

The parametric representation

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

Tangents

Differentiating the semicubical unit parabola

y = \pm x ^{3/2} one gets at point (x _{0,y} _{0)} of the upper branch the equation of the tangent:y = (\sqrt{x _{0})/() }\left(3x-x_0\right) .This tangent intersects the lower branch at exactly one further point with coordinates ^[3] \left( (x _{0})/(4) , - (y _{0})/(8) \right) . (Proving this statement one should use the fact, that the tangent meets the curve at (x _{0,y} _{0)} twice.)

Arclength

Determining the arclength of a curve

(x(t),y(t)) one has to solve the integral $\backslash int\; \backslash sqrt\; \backslash ;dt\; .$ For the semicubical parabola (t ^{2,at} ^{3),} 0 \le t\le b , one gets

Example: For (semicubical unit parabola) and 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

(t ^{2,t)} is a semicubical parabola shifted by 1/2 along the x-axis: $\backslash left(\backslash frac+t^2,\backslash fract^3\backslash right).$

Polar coordinates

In order to get the representation of the semicubical parabola

(t ^{2,at} ^{3)} in polar coordinates, one determines the intersection point of the line y = mx with the curve. For m\ne 0 there is one point different from the origin: $\backslash left(\backslash frac,\; \backslash frac\backslash right).$ This point has distance $\backslash frac\backslash sqrt$ from the origin. With m = \tan \varphi and \sec ^{2} \varphi = 1 + \tan ^{2\varphi} (see List of identities) one gets ^[4] r = \left( (\tan\varphi)/(a) \right) ^{2} \sec \varphi , - (\pi)/(2) < \varphi < (\pi)/(2) .

Relation between a semicubical parabola and a cubic function

Mapping the semicubical parabola

(t ^{2,t} ^{3)} by the projective map $(x,y)\; \backslash rightarrow\; \backslash left(\backslash frac,\; \backslash frac\backslash right)$ (involutory perspectivity with axis y =1 and center yields $\backslash left(\backslash frac,\; \backslash frac\backslash right),$ hence the cubic function 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

x = \tfrac{x _{1}{x} _{3},} y = \tfrac{x _{2}{x} _{3}} (the line at infinity has equation and the multiplication by x ^{3} _{3} is performed. One gets the equation of the curve

• in homogeneous coordinates:

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

Isochrone curve

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.

History

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]

References

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

Notes and References

1. .
2. August Pein: Die semicubische oder Neil'sche Parabel, ihre Sekanten und Tangenten , p.2
3. August Pein: Die semicubische oder Neil'sche Parabel, ihre Sekanten und Tangenten , p.26
4. August Pein: Die semicubische oder Neil'sche Parabel, ihre Sekanten und Tangenten , p. 10