Page:EB1911 - Volume 20.djvu/804

to four times the focal distance of the vertex. To construct the parabola when the focus and directrix are given, draw the axis CD and bisect CF at G, which gives the vertex. Any number of points on the parabola are obtained by taking any point E on the directrix, joining EG and EF and drawing FP so that the angles PFE and DFE are equal. Then EG produced meets FP in a point on the curve. By joining the points so obtained the parabola may be described. A mechanical construction, when the same conditions are given, consists in taking a rigid bar ABC bent at right angles at B (fig. 2),
Fig. 2. and fastening a string of length BC to C and F. Then if a pencil be placed along BC so as to keep the string taut, and the limb AB be slid along the directrix, the pencil will trace out the parabola.

Properties which may be readily deduced by euclidian methods from the definition include the following: the tangent at any point bisects the angle between the focal distance and the perpendicular on the directrix and is equally inclined to the focal distance and the axis; tangents at the extremities of a focal chord intersect at right angles on the directrix, and as a corollary we have that the locus of the intersection of tangents at right angles is the directrix; the circumcircle of a triangle circumscribing a parabola passes through the focus; the sub-tangent is equal to twice the abscissa of the point of contact; the subnormal is constant and equals the semilatus rectum; and the radius of curvature at a point P is 2 (FP)^3/2/a^1/2 where a is the semilatus rectum and FP the focal distance of P.

A fundamental property of the curve is that the line at infinity is a tangent (see Geometry, Projective), and it follows that the centre and the second real focus and directrix are at infinity. It also follows that a line half-way between a point and its polar and parallel to the latter touches the parabola, and therefore the lines joining the middle points of the sides of a self-conjugate triangle form a circumscribing triangle, and also that the nine-point circle of a self-conjugate triangle passes through the focus. The orthocentre of a triangle circumscribing a parabola is on the directrix; a deduction from this theorem is that the centre of the circumcircle of a self-conjugate triangle is on the directrix (“Steiner’s Theorem”).

In the article Geometry, Analytical, it is shown that the general equation of the second degree represents a parabola when the highest terms form a perfect square. This is the analytical expression of the projective property that the line at infinity is a tangent. The simplest equation to the parabola is that which is referred to itsAnalytic Geometry. axis and the tangent at the vertex as the axes of co-ordinates, when it assumes the form $y^{2}=4ax$ where 2a＝semilatus rectum; this may be deduced directly from the definition. An equation of similar form is obtained when the axes of co-ordinates are any diameter and the tangent at the vertex. The equations to the tangent and normal at the point $x'y'$ are $yy'=2a\left(x+x'\right)$ and $2a\left(y-y'\right)+y'\left(x-x'\right)=0$, and may be obtained by general methods (see Geometry, Analytical, and Infinitesimal Calculus). More convenient forms in terms of a single parameter are deduced by substituting $x'=am^{2}$, $y'=2am$ (for on eliminating m between these relations the equation to the parabola is obtained). The tangent then becomes $my=x+am^{2}$ and the normal $y=mx+2am-am^{3}$. The envelope of this last equation is $27ay^{2}=4\left(x-2a\right)^{3}$, which shows that the evolute of a parabola is a semi-cubical parabola (see below Higher Orders). The cartesian equation to a parabola which touches the coordinate axes is ${\sqrt {ax}}+{\sqrt {by}}=1$, and the polar equation when the focus is the pole and the axis the initial line is $r\cos ^{2}\theta /2=a$.

The equation to a parabola in triangular co-ordinates is generally derived by expressing the condition that the line at infinity is a tangent in the equation to the general conic. For example, in trilinear co-ordinates, the equation to the general conic circumscribing the triangle of reference is $l\beta \gamma +m\gamma \alpha +n\alpha \beta =0$; for this to be a parabola the line $a\alpha +b\beta +c\gamma =0$ must be a tangent. Expressing this condition we obtain ${\sqrt {la}}\pm {\sqrt {mb}}\pm {\sqrt {nc}}=0$ as the relation which must hold between the co-efficients of the above equation and the sides of the triangle of reference for the equation to represent a parabola. Similarly, the conditions for the inscribed conic ${\sqrt {l\alpha }}+{\sqrt {m\beta }}+{\sqrt {n\gamma }}=0$ to be a parabola is $lbc+mca+nab=0$, and the conic for which the triangle of reference is self-conjugate $l\alpha ^{2}+m\beta ^{2}+n\gamma ^{2}=c$ is $a^{2}mn+b^{2}nl+c^{2}lm=0$. The various forms in areal co-ordinates may be derived from the above by substituting $\lambda a$ for l, $\mu b$ for m and $\nu c$ for n, or directly by expressing the condition for tangency of the line $x+y+z=0$ to the conic expressed in areal co-ordinates. In tangential (p, q, r) co-ordinates the inscribed and circumscribed conics take the forms $\lambda qr+\mu rp+\nu pq=0$ and ${\sqrt {\lambda p}}+{\sqrt {\mu q}}+{\sqrt {\nu r}}=0$; these are parabolas when $\lambda +\mu +\nu =0$ and ${\sqrt {\lambda }}\pm {\sqrt {\mu }}\pm {\sqrt {\nu }}=0$ respectively.

The length of a parabolic arc can be obtained by the methods of the infinitesimal calculus; the curve is directly quadrable, the area of any portion between two ordinates being two thirds of the circumscribing parallelogram. The pedal equation with the focus as origin is $p^{2}=ar$; the first positive pedal for the vertex is the cissoid (q.v.) and for the focus the directrix. (See Infinitesimal Calculus.)

References.—Geometrical constructions of the parabola are to be found in T. H. Eagles’ Plane Curves (1885). See the bibliography to the articles Conic Sections; Geometry, Analytical; and Geometry, Projective.

In the geometry of plane curves, the term parabola is often used to denote the curves given by the general equation $a^{m}x^{n}=y^{m+n}$, thus $ax=y^{2}$ is the quadratic or Apollonian parabola; $a^{2}x=y^{3}$ is the cubic parabola, $a^{3}x=y^{4}$ is the biquadratic parabola; semi parabolas have the general equation $ax^{n-1}=y^{n}$, thus $a^{2}=y^{3}$ is the semicubicalHigher Orders. parabola and $ax^{3}=y^{4}$ the semibiquadratic parabola. These curves were investigated by René Descartes, Sir Isaac Newton, Colin Maclaurin and others. Here we shall treat only the more important forms.

The cartesian parabola is a cubic curve which is also known as the trident of Newton on account of its three-pronged form. Its equation is $xy=ax^{3}+bx^{2}+cx+d$, and it consists of two legs asymptotic to the axis of y and two parabolic legs (fig. 3). The simplest form is $axy=x^{3}-a^{3}$, in this case the serpentine position shown in the figure degenerates into a point of inflexion. Descartes used the curve to solve sextic equations by determining its intersections with a circle; mechanical constructions were given by Descartes (Geometry, lib. 3) and Maclaurin (Organica geometrica).

The cubic parabola (fig. 4) is a cubic curve having the equation $y=ax^{3}+bx^{2}+cx+d$. It consists of two parabolic branches tending in opposite directions. John Wallis utilized the intersections of this curve with a right line to solve cubic equations, and Edmund Halley solved sextic equations with the aid of a circle.

Diverging parabolas are cubic curves given by the equation $y^{2}=ax^{3}+bx^{2}+cx+d$. Newton discussed the five forms which arise from the relations of the roots of the cubic equation.

Fig. 3.		Fig. 4.		Fig. 5.

When all the roots are real and unequal the curve consists of a closed oval and a parabolic branch (fig. 5). As the two lesser roots are made more and more equal the oval shrinks in size and ultimately becomes a real conjugate point, and the curve, the equation of which is $y^{2}=\left(x-a\right)^{2}\left(x-b\right)$ (in which a > b) consists of this point and a bell-like branch resembling the right-hand member of fig. 5. If two roots are imaginary the equation is $y^{2}=\left(x^{2}+a^{2}\right)\left(x-b\right)$ and the curve resembles the parabolic branch, as in the preceding case. This is sometimes termed the campaniform (or bell-shaped) parabola. If the two greater roots are equal the equation is $y^{2}=\left(x-a\right)\left(x-b\right)^{2}$ (in which a < b) and the curve assumes the form shown in fig. 6, and is known as the nodated parabola. Finally, if all the roots are equal, the equation becomes $y^{2}=\left(x-a\right)^{3}$ this curve is the cuspidal or semi-cubical parabola (fig. 7). This curve, which is sometimes termed the Neilian parabola after William Neil (1637–1670), is the evolute of the ordinary parabola, and is especially interesting as being the first