Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Parabola

From Wikipedia, the free encyclopedia
Plane curve: conic section
For other uses, seeParabola (disambiguation).
Part of a parabola (blue), with various features (other colours). The complete parabola has no endpoints. In this orientation, it extends infinitely to the left, right, and upward.
The parabola is a member of the family ofconic sections.

Inmathematics, aparabola is aplane curve which ismirror-symmetrical and is approximately U-shaped. It fits several superficially differentmathematical descriptions, which can all be proved to define exactly the same curves.

One description of a parabola involves apoint (thefocus) and aline (thedirectrix). The focus does not lie on the directrix. The parabola is thelocus of points in that plane that areequidistant from the directrix and the focus. Another description of a parabola is as aconic section, created from the intersection of a right circularconical surface and aplaneparallel to another plane that istangential to the conical surface.[a]

Thegraph of aquadratic functiony=ax2+bx+c{\displaystyle y=ax^{2}+bx+c} (witha0{\displaystyle a\neq 0}) is a parabola with its axis of symmetry coincident with they-axis. Conversely, every such parabola is the graph of a quadratic function.

The line perpendicular to the directrix and passing through the focus (that is, the line that splits the parabola through the middle) is called the "axis of symmetry". The point where the parabola intersects its axis of symmetry is called the "vertex" and is the point where the parabola is most sharply curved. The distance between the vertex and the focus, measured along the axis of symmetry, is the "focal length". The "latus rectum" is thechord of the parabola that is parallel to the directrix and passes through the focus. Parabolas can open up, down, left, right, or in some other arbitrary direction. Any parabola can be repositioned and rescaled to fit exactly on any other parabola—that is, all parabolas are geometricallysimilar.

Parabolas have the property that, if they are made of material thatreflectslight, then light that travels parallel to the axis of symmetry of a parabola and strikes its concave side is reflected to its focus, regardless of where on the parabola the reflection occurs. Conversely, light that originates from a point source at the focus is reflected into a parallel ("collimated") beam, leaving the parabola parallel to the axis of symmetry. The same effects occur withsound and otherwaves. This reflective property is the basis of many practical uses of parabolas.

The parabola has many important applications, from aparabolic antenna orparabolic microphone to automobileheadlight reflectors and the design ofballistic missiles. It is frequently used inphysics,engineering, and many other areas.

History

[edit]
Parabolic compass designed byLeonardo da Vinci

The earliest known work on conic sections was byMenaechmus in the 4th century BC. He discovered a way to solve the problem ofdoubling the cube using parabolas. (The solution, however, does not meet the requirements ofcompass-and-straightedge construction.) The area enclosed by a parabola and a line segment, the so-called "parabola segment", was computed byArchimedes by themethod of exhaustion in the 3rd century BC, in hisThe Quadrature of the Parabola. The name "parabola" is due toApollonius, who discovered many properties of conic sections. It means "application", referring to "application of areas" concept, that has a connection with this curve, as Apollonius had proved.[1] The focus–directrix property of the parabola and other conic sections was mentioned in the works ofPappus.

Galileo showed that the path of a projectile follows a parabola, a consequence of uniform acceleration due to gravity.

The idea that aparabolic reflector could produce an image was already well known before the invention of thereflecting telescope.[2] Designs were proposed in the early to mid-17th century by manymathematicians, includingRené Descartes,Marin Mersenne,[3] andJames Gregory.[4] WhenIsaac Newton built thefirst reflecting telescope in 1668, he skipped using a parabolic mirror because of the difficulty of fabrication, opting for aspherical mirror. Parabolic mirrors are used in most modern reflecting telescopes and insatellite dishes andradar receivers.[5]

Definition as a locus of points

[edit]

A parabola can be defined geometrically as a set of points (locus) in the Euclidean plane, as follows.

A parabola is the set of the points whose distance to a fixed point, thefocus, equals the distance to a fixedline, thedirectrix. That is, ifF{\displaystyle F} is the focus andl{\displaystyle l} is the directrix, the parabola is the set of all pointsP{\displaystyle P} such thatd(P,F)=d(P,l),{\displaystyle d(P,F)=d(P,l),} whered{\displaystyle d} denotesEuclidean distance.

The point where this distance is minimal is the midpointV{\displaystyle V} of the perpendicular from the focusF{\displaystyle F} to the directrixl.{\displaystyle l.} It is called thevertex, and its distance to both the focus and the directrix is thefocal length of the parabola.

The lineFV{\displaystyle FV} is the uniqueaxis of symmetry of the parabola and called theaxis of the parabola.

In a Cartesian coordinate system

[edit]

Axis of symmetry parallel to they axis

[edit]
Parabola with axis parallel toy-axis;p is thesemi-latus rectum

InCartesian coordinates, if the vertexV{\displaystyle V} is the origin and the directrix has the equationy=f{\displaystyle y=-f}, then, by examining the casex=0{\displaystyle x=0}, the focusF{\displaystyle F} is on the positivey{\displaystyle y}-axis, withF=(0,f){\displaystyle F=(0,f)}, wheref{\displaystyle f} is the focal length.

The above geometric characterization implies that a pointP=(x,y){\displaystyle P=(x,y)} is on the parabola if and only ifx2+(yf)2=(y+f)2.{\displaystyle x^{2}+(y-f)^{2}=(y+f)^{2}.} Solving fory{\displaystyle y} yieldsy=14fx2.{\displaystyle y={\frac {1}{4f}}x^{2}.}

This parabola is U-shaped (opening to the top).

The horizontalchord through the focus is on the line of equationy=f{\displaystyle y=f} (see picture in opening section); it is called thelatus rectum; one half of it is thesemi-latus rectum. The latus rectum is parallel to the directrix. The semi-latus rectum is denoted byp{\displaystyle p}. From the equation satisfied by the endpoints of the latus rectum, one getsp=2f.{\displaystyle p=2f.}Thus, the semi-lactus rectum is the distance from the focus to the directrix. Using the parameterp{\displaystyle p}, the equation of the parabola can be rewritten asx2=2py.{\displaystyle x^{2}=2py.}

More generally, if the vertex isV=(v1,v2){\displaystyle V=(v_{1},v_{2})}, the focusF=(v1,v2+f){\displaystyle F=(v_{1},v_{2}+f)}, and the directrixy=v2f{\displaystyle y=v_{2}-f}, one obtains the equationy=14f(xv1)2+v2=14fx2v12fx+v124f+v2.{\displaystyle y={\frac {1}{4f}}(x-v_{1})^{2}+v_{2}={\frac {1}{4f}}x^{2}-{\frac {v_{1}}{2f}}x+{\frac {v_{1}^{2}}{4f}}+v_{2}.}

Remarks:

General position

[edit]
Parabola: general position

If the focus isF=(f1,f2){\displaystyle F=(f_{1},f_{2})}, and the directrixax+by+c=0{\displaystyle ax+by+c=0}, then one obtains the equation(ax+by+c)2a2+b2=(xf1)2+(yf2)2{\displaystyle {\frac {(ax+by+c)^{2}}{a^{2}+b^{2}}}=(x-f_{1})^{2}+(y-f_{2})^{2}}

(the left side of the equation uses theHesse normal form of a line to calculate the distance|Pl|{\displaystyle |Pl|}).

For aparametric equation of a parabola in general position see§ As the affine image of the unit parabola.

Theimplicit equation of a parabola is defined by anirreducible polynomial of degree two:ax2+bxy+cy2+dx+ey+f=0,{\displaystyle ax^{2}+bxy+cy^{2}+dx+ey+f=0,}such thatb24ac=0,{\displaystyle b^{2}-4ac=0,} or, equivalently, such thatax2+bxy+cy2{\displaystyle ax^{2}+bxy+cy^{2}} is the square of alinear polynomial.

As a graph of a function

[edit]
Parabolasy=ax2{\displaystyle y=ax^{2}}

The previous section shows that any parabola with the origin as vertex and they axis as axis of symmetry can be considered as the graph of a functionf(x)=ax2 with a0.{\displaystyle f(x)=ax^{2}{\text{ with }}a\neq 0.}

Fora>0{\displaystyle a>0} the parabolas are opening to the top, and fora<0{\displaystyle a<0} are opening to the bottom (see picture). From the section above one obtains:

Fora=1{\displaystyle a=1} the parabola is theunit parabola with equationy=x2{\displaystyle y=x^{2}}.Its focus is(0,14){\displaystyle \left(0,{\tfrac {1}{4}}\right)}, the semi-latus rectump=12{\displaystyle p={\tfrac {1}{2}}}, and the directrix has the equationy=14{\displaystyle y=-{\tfrac {1}{4}}}.

The general function of degree 2 isf(x)=ax2+bx+c   with   a,b,cR, a0.{\displaystyle f(x)=ax^{2}+bx+c~~{\text{ with }}~~a,b,c\in \mathbb {R} ,\ a\neq 0.}Completing the square yieldsf(x)=a(x+b2a)2+4acb24a,{\displaystyle f(x)=a\left(x+{\frac {b}{2a}}\right)^{2}+{\frac {4ac-b^{2}}{4a}},}which is the equation of a parabola with

Similarity to the unit parabola

[edit]
When the parabolay=2x2{\displaystyle \color {blue}{y=2x^{2}}} is uniformly scaled by factor 2, the result is the parabolay=x2{\displaystyle \color {red}{y=x^{2}}}

Two objects in the Euclidean plane aresimilar if one can be transformed to the other by asimilarity, that is, an arbitrarycomposition of rigid motions (translations androtations) anduniform scalings.

A parabolaP{\displaystyle {\mathcal {P}}} with vertexV=(v1,v2){\displaystyle V=(v_{1},v_{2})} can be transformed by the translation(x,y)(xv1,yv2){\displaystyle (x,y)\to (x-v_{1},y-v_{2})} to one with the origin as vertex. A suitable rotation around the origin can then transform the parabola to one that has they axis as axis of symmetry. Hence the parabolaP{\displaystyle {\mathcal {P}}} can be transformed by a rigid motion to a parabola with an equationy=ax2, a0{\displaystyle y=ax^{2},\ a\neq 0}. Such a parabola can then be transformed by theuniform scaling(x,y)(ax,ay){\displaystyle (x,y)\to (ax,ay)} into the unit parabola with equationy=x2{\displaystyle y=x^{2}}. Thus, any parabola can be mapped to the unit parabola by a similarity.[6]

Asynthetic approach, using similar triangles, can also be used to establish this result.[7]

The general result is that two conic sections (necessarily of the same type) are similarif and only if they have the same eccentricity.[6] Therefore, only circles (all having eccentricity 0) share this property with parabolas (all having eccentricity 1), while general ellipses and hyperbolas do not.

There are other simple affine transformations that map the parabolay=ax2{\displaystyle y=ax^{2}} onto the unit parabola, such as(x,y)(x,ya){\displaystyle (x,y)\to \left(x,{\tfrac {y}{a}}\right)}. But this mapping is not a similarity, and only shows that all parabolas are affinely equivalent (see§ As the affine image of the unit parabola).

As a special conic section

[edit]
Pencil of conics with a common vertex

Thepencil ofconic sections with thex axis as axis of symmetry, one vertex at the origin (0, 0) and the same semi-latus rectump{\displaystyle p} can be represented by the equationy2=2px+(e21)x2,e0,{\displaystyle y^{2}=2px+(e^{2}-1)x^{2},\quad e\geq 0,}withe{\displaystyle e} theeccentricity.

In polar coordinates

[edit]
Pencil of conics with a common focus

Ifp > 0, the parabola with equationy2=2px{\displaystyle y^{2}=2px} (opening to the right) has thepolar representationr=2pcosφsin2φ,φ[π2,π2]{0}{\displaystyle r=2p{\frac {\cos \varphi }{\sin ^{2}\varphi }},\quad \varphi \in \left[-{\tfrac {\pi }{2}},{\tfrac {\pi }{2}}\right]\setminus \{0\}}wherer2=x2+y2, x=rcosφ{\displaystyle r^{2}=x^{2}+y^{2},\ x=r\cos \varphi }.

Its vertex isV=(0,0){\displaystyle V=(0,0)}, and its focus isF=(p2,0){\displaystyle F=\left({\tfrac {p}{2}},0\right)}.

If one shifts the origin into the focus, that is,F=(0,0){\displaystyle F=(0,0)}, one obtains the equationr=p1cosφ,φ2πk.{\displaystyle r={\frac {p}{1-\cos \varphi }},\quad \varphi \neq 2\pi k.}

Remark 1: Inverting this polar form shows that a parabola is theinverse of acardioid.

Remark 2: The second polar form is a special case of a pencil of conics with focusF=(0,0){\displaystyle F=(0,0)} (see picture):r=p1ecosφ{\displaystyle r={\frac {p}{1-e\cos \varphi }}} (e{\displaystyle e} is the eccentricity).

Conic section and quadratic form

[edit]

Diagram, description, and definitions

[edit]
Cone with cross-sections

The diagram represents acone with its axisAV. The point A is itsapex. An inclinedcross-section of the cone, shown in pink, is inclined from the axis by the same angleθ, as the side of the cone. According to the definition of a parabola as a conic section, the boundary of this pink cross-section EPD is a parabola.

A cross-section perpendicular to the axis of the cone passes through the vertex P of the parabola. This cross-section is circular, but appearselliptical when viewed obliquely, as is shown in the diagram. Its centre is V, andPK is a diameter. We will call its radius r.

Another perpendicular to the axis, circular cross-section of the cone is farther from the apex A than the one just described. It has achordDE, which joins the points where the parabolaintersects the circle. Another chordBC is theperpendicular bisector ofDE and is consequently a diameter of the circle. These two chords and the parabola's axis of symmetryPM all intersect at the point M.

All the labelled points, except D and E, arecoplanar. They are in the plane of symmetry of the whole figure. This includes the point F, which is not mentioned above. It is defined and discussed below, in§ Position of the focus.

Let us call the length ofDM and ofEMx, and the length ofPM y.

Derivation of quadratic equation

[edit]

The lengths ofBM andCM are:

Using theintersecting chords theorem on the chordsBC andDE, we getBM¯CM¯=DM¯EM¯.{\displaystyle {\overline {\mathrm {BM} }}\cdot {\overline {\mathrm {CM} }}={\overline {\mathrm {DM} }}\cdot {\overline {\mathrm {EM} }}.}

Substituting:4rycosθ=x2.{\displaystyle 4ry\cos \theta =x^{2}.}

Rearranging:y=x24rcosθ.{\displaystyle y={\frac {x^{2}}{4r\cos \theta }}.}

For any given cone and parabola,r andθ are constants, butx andy are variables that depend on the arbitrary height at which the horizontal cross-section BECD is made. This last equation shows the relationship between these variables. They can be interpreted asCartesian coordinates of the points D and E, in a system in the pink plane with P as its origin. Sincex is squared in the equation, the fact that D and E are on opposite sides of they axis is unimportant. If the horizontal cross-section moves up or down, toward or away from the apex of the cone, D and E move along the parabola, always maintaining the relationship betweenx andy shown in the equation. The parabolic curve is therefore thelocus of points where the equation is satisfied, which makes it aCartesian graph of the quadratic function in the equation.

Focal length

[edit]

It is proved in apreceding section that if a parabola has its vertex at the origin, and if it opens in the positivey direction, then its equation isy =x2/4f, wheref is its focal length.[b] Comparing this with the last equation above shows that the focal length of the parabola in the cone isr cosθ.

Position of the focus

[edit]

In the diagram above, the point V is thefoot of the perpendicular from the vertex of the parabola to the axis of the cone.The point F is the foot of the perpendicular from the point V to the plane of the parabola.[c] By symmetry, F is on the axis of symmetry of the parabola. Angle VPF iscomplementary toθ, and angle PVF is complementary to angle VPF, therefore angle PVF isθ. Since the length ofPV isr, the distance of F from the vertex of the parabola isr sinθ. It is shown above that this distance equals the focal length of the parabola, which is the distance from the vertex to the focus. The focus and the point F are therefore equally distant from the vertex, along the same line, which implies that they are the same point. Therefore,the point F, defined above, is the focus of the parabola.

This discussion started from the definition of a parabola as a conic section, but it has now led to a description as a graph of a quadratic function. This shows that these two descriptions are equivalent. They both define curves of exactly the same shape.

Alternative proof with Dandelin spheres

[edit]
Parabola (red): side projection view and top projection view of a cone with a Dandelin sphere

An alternative proof can be done usingDandelin spheres. It works without calculation and uses elementary geometric considerations only (see the derivation below).

The intersection of an upright cone by a planeπ{\displaystyle \pi }, whose inclination from vertical is the same as ageneratrix (a.k.a. generator line, a line containing the apex and a point on the cone surface)m0{\displaystyle m_{0}} of the cone, is a parabola (red curve in the diagram).

This generatrixm0{\displaystyle m_{0}} is the only generatrix of the cone that is parallel to planeπ{\displaystyle \pi }. Otherwise, if there are two generatrices parallel to the intersecting plane, the intersection curve will be ahyperbola (ordegenerate hyperbola, if the two generatrices are in the intersecting plane). If there is no generatrix parallel to the intersecting plane, the intersection curve will be anellipse or acircle (ora point).

Let planeσ{\displaystyle \sigma } be the plane that contains the vertical axis of the cone and linem0{\displaystyle m_{0}}. The inclination of planeπ{\displaystyle \pi } from vertical is the same as linem0{\displaystyle m_{0}} means that, viewing from the side (that is, the planeπ{\displaystyle \pi } is perpendicular to planeσ{\displaystyle \sigma }),m0π{\displaystyle m_{0}\parallel \pi }.

In order to prove the directrix property of a parabola (see§ Definition as a locus of points above), one uses aDandelin sphered{\displaystyle d}, which is a sphere that touches the cone along a circlec{\displaystyle c} and planeπ{\displaystyle \pi } at pointF{\displaystyle F}. The plane containing the circlec{\displaystyle c} intersects with planeπ{\displaystyle \pi } at linel{\displaystyle l}. There is amirror symmetry in the system consisting of planeπ{\displaystyle \pi }, Dandelin sphered{\displaystyle d} and the cone (theplane of symmetry isσ{\displaystyle \sigma }).

Since the plane containing the circlec{\displaystyle c} is perpendicular to planeσ{\displaystyle \sigma }, andπσ{\displaystyle \pi \perp \sigma }, their intersection linel{\displaystyle l} must also be perpendicular to planeσ{\displaystyle \sigma }. Since linem0{\displaystyle m_{0}} is in planeσ{\displaystyle \sigma },lm0{\displaystyle l\perp m_{0}}.

It turns out thatF{\displaystyle F} is thefocus of the parabola, andl{\displaystyle l} is thedirectrix of the parabola.

  1. LetP{\displaystyle P} be an arbitrary point of the intersection curve.
  2. Thegeneratrix of the cone containingP{\displaystyle P} intersects circlec{\displaystyle c} at pointA{\displaystyle A}.
  3. The line segmentsPF¯{\displaystyle {\overline {PF}}} andPA¯{\displaystyle {\overline {PA}}} are tangential to the sphered{\displaystyle d}, and hence are of equal length.
  4. Generatrixm0{\displaystyle m_{0}} intersects the circlec{\displaystyle c} at pointD{\displaystyle D}. The line segmentsZD¯{\displaystyle {\overline {ZD}}} andZA¯{\displaystyle {\overline {ZA}}} are tangential to the sphered{\displaystyle d}, and hence are of equal length.
  5. Let lineq{\displaystyle q} be the line parallel tom0{\displaystyle m_{0}} and passing through pointP{\displaystyle P}. Sincem0π{\displaystyle m_{0}\parallel \pi }, and pointP{\displaystyle P} is in planeπ{\displaystyle \pi }, lineq{\displaystyle q} must be in planeπ{\displaystyle \pi }. Sincem0l{\displaystyle m_{0}\perp l}, we know thatql{\displaystyle q\perp l} as well.
  6. Let pointB{\displaystyle B} bethe foot of the perpendicular from pointP{\displaystyle P} to linel{\displaystyle l}, that is,PB¯{\displaystyle {\overline {PB}}} is a segment of lineq{\displaystyle q}, and hencePB¯ZD¯{\displaystyle {\overline {PB}}\parallel {\overline {ZD}}}.
  7. Fromintercept theorem andZD¯=ZA¯{\displaystyle {\overline {ZD}}={\overline {ZA}}} we know thatPA¯=PB¯{\displaystyle {\overline {PA}}={\overline {PB}}}. SincePA¯=PF¯{\displaystyle {\overline {PA}}={\overline {PF}}}, we know thatPF¯=PB¯{\displaystyle {\overline {PF}}={\overline {PB}}}, which means that the distance fromP{\displaystyle P} to the focusF{\displaystyle F} is equal to the distance fromP{\displaystyle P} to the directrixl{\displaystyle l}.

Proof of the reflective property

[edit]
Reflective property of a parabola

The reflective property states that if a parabola can reflect light, then light that enters it traveling parallel to the axis of symmetry is reflected toward the focus. This is derived fromgeometrical optics, based on the assumption that light travels in rays.

Consider the parabolay =x2. Since all parabolas are similar, this simple case represents all others.

Construction and definitions

[edit]

The point E is an arbitrary point on the parabola. The focus is F, the vertex is A (the origin), and the lineFA is the axis of symmetry. The lineEC is parallel to the axis of symmetry, intersects thex axis at D and intersects the directrix at C. The point B is the midpoint of the line segmentFC.

Deductions

[edit]

The vertex A is equidistant from the focus F and from the directrix. Since C is on the directrix, they coordinates of F and C are equal in absolute value and opposite in sign. B is the midpoint ofFC. Itsx coordinate is half that of D, that is,x/2. The slope of the lineBE is the quotient of the lengths ofED andBD, which isx2/x/2 = 2x. But2x is also the slope (first derivative) of the parabola at E. Therefore, the lineBE is the tangent to the parabola at E.

The distancesEF andEC are equal because E is on the parabola, F is the focus and C is on the directrix. Therefore, since B is the midpoint ofFC, triangles △FEB and △CEB are congruent (three sides), which implies that the angles markedα are congruent. (The angle above E is vertically opposite angle ∠BEC.) This means that a ray of light that enters the parabola and arrives at E travelling parallel to the axis of symmetry will be reflected by the lineBE so it travels along the lineEF, as shown in red in the diagram (assuming that the lines can somehow reflect light). SinceBE is the tangent to the parabola at E, the same reflection will be done by an infinitesimal arc of the parabola at E. Therefore, light that enters the parabola and arrives at E travelling parallel to the axis of symmetry of the parabola is reflected by the parabola toward its focus.

This conclusion about reflected light applies to all points on the parabola, as is shown on the left side of the diagram. This is the reflective property.

Other consequences

[edit]

There are other theorems that can be deduced simply from the above argument.

Tangent bisection property

[edit]

The above proof and the accompanying diagram show that the tangentBE bisects the angle ∠FEC. In other words, the tangent to the parabola at any point bisects the angle between the lines joining the point to the focus and perpendicularly to the directrix.

Intersection of a tangent and perpendicular from focus

[edit]
Perpendicular from focus to tangent

Since triangles △FBE and △CBE are congruent,FB is perpendicular to the tangentBE. Since B is on thex axis, which is the tangent to the parabola at its vertex, it follows that the point of intersection between any tangent to a parabola and the perpendicular from the focus to that tangent lies on the line that is tangential to the parabola at its vertex. See animated diagram[8] andpedal curve.

Reflection of light striking the convex side

[edit]

If light travels along the lineCE, it moves parallel to the axis of symmetry and strikes the convex side of the parabola at E. It is clear from the above diagram that this light will be reflected directly away from the focus, along an extension of the segmentFE.

Alternative proofs

[edit]
Parabola and tangent

The above proofs of the reflective and tangent bisection properties use a line of calculus. Here a geometric proof is presented.

In this diagram, F is the focus of the parabola, and T and U lie on its directrix. P is an arbitrary point on the parabola.PT is perpendicular to the directrix, and the lineMP bisects angle ∠FPT. Q is another point on the parabola, withQU perpendicular to the directrix. We know thatFP = PT andFQ = QU. Clearly,QT > QU, soQT > FQ. All points on the bisectorMP are equidistant from F and T, but Q is closer to F than to T. This means that Q is to the left ofMP, that is, on the same side of it as the focus. The same would be true if Q were located anywhere else on the parabola (except at the point P), so the entire parabola, except the point P, is on the focus side ofMP. Therefore,MP is the tangent to the parabola at P. Since it bisects the angle ∠FPT, this proves the tangent bisection property.

The logic of the last paragraph can be applied to modify the above proof of the reflective property. It effectively proves the lineBE to be the tangent to the parabola at E if the anglesα are equal. The reflective property follows as shown previously.

Pin and string construction

[edit]
Parabola: pin string construction

The definition of a parabola by its focus and directrix can be used for drawing it with help of pins and strings:[9]

  1. Choose thefocusF{\displaystyle F} and thedirectrixl{\displaystyle l} of the parabola.
  2. Take a triangle of aset square and prepare astring with length|AB|{\displaystyle |AB|} (see diagram).
  3. Pin one end of the string at pointA{\displaystyle A} of the triangle and the other one to the focusF{\displaystyle F}.
  4. Position the triangle such that the second edge of the right angle is free toslide along the directrix.
  5. Take apen and hold the string tight to the triangle.
  6. While moving the triangle along the directrix, the pendraws an arc of a parabola, because of|PF|=|PB|{\displaystyle |PF|=|PB|} (see definition of a parabola).

Properties related to Pascal's theorem

[edit]

A parabola can be considered as the affine part of a non-degenerated projective conic with a pointY{\displaystyle Y_{\infty }} on the line of infinityg{\displaystyle g_{\infty }}, which is the tangent atY{\displaystyle Y_{\infty }}. The 5-, 4- and 3- point degenerations ofPascal's theorem are properties of a conic dealing with at least one tangent. If one considers this tangent as theline at infinity and its point of contact as the point at infinity of they axis, one obtains three statements for a parabola.

The following properties of a parabola deal only with termsconnect,intersect,parallel, which are invariants ofsimilarities. So, it is sufficient to prove any property for theunit parabola with equationy=x2{\displaystyle y=x^{2}}.

4-points property

[edit]
4-points property of a parabola

Any parabola can be described in a suitable coordinate system by an equationy=ax2{\displaystyle y=ax^{2}}.

LetP1=(x1,y1), P2=(x2,y2), P3=(x3,y3), P4=(x4,y4){\displaystyle P_{1}=(x_{1},y_{1}),\ P_{2}=(x_{2},y_{2}),\ P_{3}=(x_{3},y_{3}),\ P_{4}=(x_{4},y_{4})} be four points of the parabolay=ax2{\displaystyle y=ax^{2}}, andQ2{\displaystyle Q_{2}} the intersection of the secant lineP1P4{\displaystyle P_{1}P_{4}} with the linex=x2,{\displaystyle x=x_{2},} and letQ1{\displaystyle Q_{1}} be the intersection of the secant lineP2P3{\displaystyle P_{2}P_{3}} with the linex=x1{\displaystyle x=x_{1}} (see picture). Then the secant lineP3P4{\displaystyle P_{3}P_{4}} is parallel to lineQ1Q2{\displaystyle Q_{1}Q_{2}}.(The linesx=x1{\displaystyle x=x_{1}} andx=x2{\displaystyle x=x_{2}} are parallel to the axis of the parabola.)

Proof: straightforward calculation for the unit parabolay=x2{\displaystyle y=x^{2}}.

Application: The 4-points property of a parabola can be used for the construction of pointP4{\displaystyle P_{4}}, whileP1,P2,P3{\displaystyle P_{1},P_{2},P_{3}} andQ2{\displaystyle Q_{2}} are given.

Remark: the 4-points property of a parabola is an affine version of the 5-point degeneration of Pascal's theorem.

3-points–1-tangent property

[edit]
3-points–1-tangent property

LetP0=(x0,y0),P1=(x1,y1),P2=(x2,y2){\displaystyle P_{0}=(x_{0},y_{0}),P_{1}=(x_{1},y_{1}),P_{2}=(x_{2},y_{2})} be three points of the parabola with equationy=ax2{\displaystyle y=ax^{2}} andQ2{\displaystyle Q_{2}} the intersection of the secant lineP0P1{\displaystyle P_{0}P_{1}} with the linex=x2{\displaystyle x=x_{2}} andQ1{\displaystyle Q_{1}} the intersection of the secant lineP0P2{\displaystyle P_{0}P_{2}} with the linex=x1{\displaystyle x=x_{1}} (see picture). Then the tangent at pointP0{\displaystyle P_{0}} is parallel to the lineQ1Q2{\displaystyle Q_{1}Q_{2}}.(The linesx=x1{\displaystyle x=x_{1}} andx=x2{\displaystyle x=x_{2}} are parallel to the axis of the parabola.)

Proof: can be performed for the unit parabolay=x2{\displaystyle y=x^{2}}. A short calculation shows: lineQ1Q2{\displaystyle Q_{1}Q_{2}} has slope2x0{\displaystyle 2x_{0}} which is the slope of the tangent at pointP0{\displaystyle P_{0}}.

Application: The 3-points-1-tangent-property of a parabola can be used for the construction of the tangent at pointP0{\displaystyle P_{0}}, whileP1,P2,P0{\displaystyle P_{1},P_{2},P_{0}} are given.

Remark: The 3-points-1-tangent-property of a parabola is an affine version of the 4-point-degeneration of Pascal's theorem.

2-points–2-tangents property

[edit]
2-points–2-tangents property

LetP1=(x1,y1), P2=(x2,y2){\displaystyle P_{1}=(x_{1},y_{1}),\ P_{2}=(x_{2},y_{2})} be two points of the parabola with equationy=ax2{\displaystyle y=ax^{2}}, andQ2{\displaystyle Q_{2}} the intersection of the tangent at pointP1{\displaystyle P_{1}} with the linex=x2{\displaystyle x=x_{2}}, andQ1{\displaystyle Q_{1}} the intersection of the tangent at pointP2{\displaystyle P_{2}} with the linex=x1{\displaystyle x=x_{1}} (see picture). Then the secantP1P2{\displaystyle P_{1}P_{2}} is parallel to the lineQ1Q2{\displaystyle Q_{1}Q_{2}}.(The linesx=x1{\displaystyle x=x_{1}} andx=x2{\displaystyle x=x_{2}} are parallel to the axis of the parabola.)

Proof: straight forward calculation for the unit parabolay=x2{\displaystyle y=x^{2}}.

Application: The 2-points–2-tangents property can be used for the construction of the tangent of a parabola at pointP2{\displaystyle P_{2}}, ifP1,P2{\displaystyle P_{1},P_{2}} and the tangent atP1{\displaystyle P_{1}} are given.

Remark 1: The 2-points–2-tangents property of a parabola is an affine version of the 3-point degeneration of Pascal's theorem.

Remark 2: The 2-points–2-tangents property should not be confused with the following property of a parabola, which also deals with 2 points and 2 tangents, but isnot related to Pascal's theorem.

Axis direction

[edit]
Construction of the axis direction

The statements above presume the knowledge of the axis direction of the parabola, in order to construct the pointsQ1,Q2{\displaystyle Q_{1},Q_{2}}. The following property determines the pointsQ1,Q2{\displaystyle Q_{1},Q_{2}} by two given points and their tangents only, and the result is that the lineQ1Q2{\displaystyle Q_{1}Q_{2}} is parallel to the axis of the parabola.

Let

  1. P1=(x1,y1), P2=(x2,y2){\displaystyle P_{1}=(x_{1},y_{1}),\ P_{2}=(x_{2},y_{2})} be two points of the parabolay=ax2{\displaystyle y=ax^{2}}, andt1,t2{\displaystyle t_{1},t_{2}} be their tangents;
  2. Q1{\displaystyle Q_{1}} be the intersection of the tangentst1,t2{\displaystyle t_{1},t_{2}},
  3. Q2{\displaystyle Q_{2}} be the intersection of the parallel line tot1{\displaystyle t_{1}} throughP2{\displaystyle P_{2}} with the parallel line tot2{\displaystyle t_{2}} throughP1{\displaystyle P_{1}} (see picture).

Then the lineQ1Q2{\displaystyle Q_{1}Q_{2}} is parallel to the axis of the parabola and has the equationx=(x1+x2)/2.{\displaystyle x=(x_{1}+x_{2})/2.}

Proof: can be done (like the properties above) for the unit parabolay=x2{\displaystyle y=x^{2}}.

Application: This property can be used to determine the direction of the axis of a parabola, if two points and their tangents are given. An alternative way is to determine the midpoints of two parallel chords, seesection on parallel chords.

Remark: This property is an affine version of the theorem of twoperspective triangles of a non-degenerate conic.[10]

Related: ChordP1P2{\displaystyle P_{1}P_{2}} has two additional properties:

  1. Its slope is the harmonic average of the slopes of tangentst1{\displaystyle t_{1}} andt2{\displaystyle t_{2}}.
  2. It is parallel to the tangent at the intersection ofQ1Q2{\displaystyle Q_{1}Q_{2}} with the parabola.

Steiner generation

[edit]

Parabola

[edit]
Steiner generation of a parabola

Steiner established the following procedure for the construction of a non-degenerate conic (seeSteiner conic):

Given twopencilsB(U),B(V){\displaystyle B(U),B(V)} of lines at two pointsU,V{\displaystyle U,V} (all lines containingU{\displaystyle U} andV{\displaystyle V} respectively) and a projective but not perspective mappingπ{\displaystyle \pi } ofB(U){\displaystyle B(U)} ontoB(V){\displaystyle B(V)}, the intersection points of corresponding lines form a non-degenerate projective conic section.

This procedure can be used for a simple construction of points on the parabolay=ax2{\displaystyle y=ax^{2}}:

Proof: straightforward calculation.

Remark: Steiner's generation is also available forellipses andhyperbolas.

Dual parabola

[edit]
Dual parabola and Bézier curve of degree 2 (right: curve point and division pointsQ0,Q1{\displaystyle Q_{0},Q_{1}} for parametert=0.4{\displaystyle t=0.4})

Adual parabola consists of the set of tangents of an ordinary parabola.

The Steiner generation of a conic can be applied to the generation of a dual conic by changing the meanings of points and lines:

Let be given two point sets on two linesu,v{\displaystyle u,v}, and a projective but not perspective mappingπ{\displaystyle \pi } between these point sets, then the connecting lines of corresponding points form a non degenerate dual conic.

In order to generate elements of a dual parabola, one starts with

  1. three pointsP0,P1,P2{\displaystyle P_{0},P_{1},P_{2}} not on a line,
  2. divides the line sectionsP0P1¯{\displaystyle {\overline {P_{0}P_{1}}}} andP1P2¯{\displaystyle {\overline {P_{1}P_{2}}}} each inton{\displaystyle n} equally spaced line segments and adds numbers as shown in the picture.
  3. Then the linesP0P1,P1P2,(1,1),(2,2),{\displaystyle P_{0}P_{1},P_{1}P_{2},(1,1),(2,2),\dotsc } are tangents of a parabola, hence elements of a dual parabola.
  4. The parabola is aBézier curve of degree 2 with the control pointsP0,P1,P2{\displaystyle P_{0},P_{1},P_{2}}.

Theproof is a consequence of thede Casteljau algorithm for a Bézier curve of degree 2.

Inscribed angles and the 3-point form

[edit]
Inscribed angles of a parabola

A parabola with equationy=ax2+bx+c, a0{\displaystyle y=ax^{2}+bx+c,\ a\neq 0} is uniquely determined by three points(x1,y1),(x2,y2),(x3,y3){\displaystyle (x_{1},y_{1}),(x_{2},y_{2}),(x_{3},y_{3})} with differentx coordinates. The usual procedure to determine the coefficientsa,b,c{\displaystyle a,b,c} is to insert the point coordinates into the equation. The result is a linear system of three equations, which can be solved byGaussian elimination orCramer's rule, for example. An alternative way uses theinscribed angle theorem for parabolas.

In the following, the angle of two lines will be measured by the difference of the slopes of the line with respect to the directrix of the parabola. That is, for a parabola of equationy=ax2+bx+c,{\displaystyle y=ax^{2}+bx+c,} the angle between two lines of equationsy=m1x+d1, y=m2x+d2{\displaystyle y=m_{1}x+d_{1},\ y=m_{2}x+d_{2}} is measured bym1m2.{\displaystyle m_{1}-m_{2}.}

Analogous to theinscribed angle theorem for circles, one has theinscribed angle theorem for parabolas:[11][12]

Four pointsPi=(xi,yi), i=1,,4,{\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,\ldots ,4,} with differentx coordinates (see picture) are on a parabola with equationy=ax2+bx+c{\displaystyle y=ax^{2}+bx+c} if and only if the angles atP3{\displaystyle P_{3}} andP4{\displaystyle P_{4}} have the same measure, as defined above. That is,y4y1x4x1y4y2x4x2=y3y1x3x1y3y2x3x2.{\displaystyle {\frac {y_{4}-y_{1}}{x_{4}-x_{1}}}-{\frac {y_{4}-y_{2}}{x_{4}-x_{2}}}={\frac {y_{3}-y_{1}}{x_{3}-x_{1}}}-{\frac {y_{3}-y_{2}}{x_{3}-x_{2}}}.}

(Proof: straightforward calculation: If the points are on a parabola, one may translate the coordinates for having the equationy=ax2{\displaystyle y=ax^{2}}, then one hasyiyjxixj=xi+xj{\displaystyle {\frac {y_{i}-y_{j}}{x_{i}-x_{j}}}=x_{i}+x_{j}} if the points are on the parabola.)

A consequence is that the equation (inx,y{\displaystyle {\color {green}x},{\color {red}y}}) of the parabola determined by 3 pointsPi=(xi,yi), i=1,2,3,{\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,} with differentx coordinates is (if twox coordinates are equal, there is no parabola with directrix parallel to thex axis, which passes through the points)yy1xx1yy2xx2=y3y1x3x1y3y2x3x2.{\displaystyle {\frac {{\color {red}y}-y_{1}}{{\color {green}x}-x_{1}}}-{\frac {{\color {red}y}-y_{2}}{{\color {green}x}-x_{2}}}={\frac {y_{3}-y_{1}}{x_{3}-x_{1}}}-{\frac {y_{3}-y_{2}}{x_{3}-x_{2}}}.}Multiplying by the denominators that depend onx,{\displaystyle {\color {green}x},} one obtains the more standard form(x1x2)y=(xx1)(xx2)(y3y1x3x1y3y2x3x2)+(y1y2)x+x1y2x2y1.{\displaystyle (x_{1}-x_{2}){\color {red}y}=({\color {green}x}-x_{1})({\color {green}x}-x_{2})\left({\frac {y_{3}-y_{1}}{x_{3}-x_{1}}}-{\frac {y_{3}-y_{2}}{x_{3}-x_{2}}}\right)+(y_{1}-y_{2}){\color {green}x}+x_{1}y_{2}-x_{2}y_{1}.}

Pole–polar relation

[edit]
Parabola: pole–polar relation

In a suitable coordinate system any parabola can be described by an equationy=ax2{\displaystyle y=ax^{2}}. The equation of the tangent at a pointP0=(x0,y0), y0=ax02{\displaystyle P_{0}=(x_{0},y_{0}),\ y_{0}=ax_{0}^{2}} isy=2ax0(xx0)+y0=2ax0xax02=2ax0xy0.{\displaystyle y=2ax_{0}(x-x_{0})+y_{0}=2ax_{0}x-ax_{0}^{2}=2ax_{0}x-y_{0}.}One obtains the function(x0,y0)y=2ax0xy0{\displaystyle (x_{0},y_{0})\to y=2ax_{0}x-y_{0}}on the set of points of the parabola onto the set of tangents.

Obviously, this function can be extended onto the set of all points ofR2{\displaystyle \mathbb {R} ^{2}} to abijection between the points ofR2{\displaystyle \mathbb {R} ^{2}} and the lines with equationsy=mx+d, m,dR{\displaystyle y=mx+d,\ m,d\in \mathbb {R} }. The inverse mapping isline y=mx+d    point (m2a,d).{\displaystyle {\text{line }}y=mx+d~~\rightarrow ~~{\text{point }}({\tfrac {m}{2a}},-d).}This relation is called thepole–polar relation of the parabola, where the point is thepole, and the corresponding line itspolar.

By calculation, one checks the following properties of the pole–polar relation of the parabola:

Remark: Pole–polar relations also exist for ellipses and hyperbolas.

Tangent properties

[edit]

Two tangent properties related to the latus rectum

[edit]

Let the line of symmetry intersect the parabola at point Q, and denote the focus as point F and its distance from point Q asf. Let the perpendicular to the line of symmetry, through the focus, intersect the parabola at a point T. Then (1) the distance from F to T is2f, and (2) a tangent to the parabola at point T intersects the line of symmetry at a 45° angle.[13]: 26 

Perpendicular tangents intersect on the directrix

Orthoptic property

[edit]
Main article:Orthoptic (geometry)

If two tangents to a parabola are perpendicular to each other, then they intersect on the directrix. Conversely, two tangents that intersect on the directrix are perpendicular. In other words, at any point on the directrix the whole parabola subtends a right angle.

Lambert's theorem

[edit]

Let three tangents to a parabola form a triangle. ThenLambert's theorem states that the focus of the parabola lies on thecircumcircle of the triangle.[14][8]: Corollary 20 

Tsukerman's converse to Lambert's theorem states that, given three lines that bound a triangle, if two of the lines are tangent to a parabola whose focus lies on the circumcircle of the triangle, then the third line is also tangent to the parabola.[15]

Facts related to chords and arcs

[edit]

Focal length calculated from parameters of a chord

[edit]

Suppose achord crosses a parabola perpendicular to its axis of symmetry. Let the length of the chord between the points where it intersects the parabola bec and the distance from the vertex of the parabola to the chord, measured along the axis of symmetry, bed. The focal length,f, of the parabola is given byf=c216d.{\displaystyle f={\frac {c^{2}}{16d}}.}

Proof

Suppose a system of Cartesian coordinates is used such that the vertex of the parabola is at the origin, and the axis of symmetry is they axis. The parabola opens upward. It is shown elsewhere in this article that the equation of the parabola is4fy =x2, wheref is the focal length. At the positivex end of the chord,x =c/2 andy =d. Since this point is on the parabola, these coordinates must satisfy the equation above. Therefore, by substitution,4fd=(c2)2{\displaystyle 4fd=\left({\tfrac {c}{2}}\right)^{2}}. From this,f=c216d{\displaystyle f={\tfrac {c^{2}}{16d}}}.

Area enclosed between a parabola and a chord

[edit]
Parabola (magenta) and line (lower light blue) including a chord (blue). The area enclosed between them is in pink. The chord itself ends at the points where the line intersects the parabola.

The area enclosed between a parabola and a chord (see diagram) is two-thirds of the area of a parallelogram that surrounds it. One side of the parallelogram is the chord, and the opposite side is a tangent to the parabola.[16][17] The slope of the other parallel sides is irrelevant to the area. Often, as here, they are drawn parallel with the parabola's axis of symmetry, but this is arbitrary.

A theorem equivalent to this one, but different in details, was derived byArchimedes in the 3rd century BCE. He used the areas of triangles, rather than that of the parallelogram.[d] SeeThe Quadrature of the Parabola.

If the chord has lengthb and is perpendicular to the parabola's axis of symmetry, and if the perpendicular distance from the parabola's vertex to the chord ish, the parallelogram is a rectangle, with sides ofb andh. The areaA of the parabolic segment enclosed by the parabola and the chord is thereforeA=23bh.{\displaystyle A={\frac {2}{3}}bh.}

This formula can be compared with the area of a triangle:1/2bh.

In general, the enclosed area can be calculated as follows. First, locate the point on the parabola where its slope equals that of the chord. This can be done with calculus, or by using a line that is parallel to the axis of symmetry of the parabola and passes through the midpoint of the chord. The required point is where this line intersects the parabola.[e] Then, using the formula given inDistance from a point to a line, calculate the perpendicular distance from this point to the chord. Multiply this by the length of the chord to get the area of the parallelogram, then by 2/3 to get the required enclosed area.

Corollary concerning midpoints and endpoints of chords

[edit]
Midpoints of parallel chords

A corollary of the above discussion is that if a parabola has several parallel chords, their midpoints all lie on a line parallel to the axis of symmetry. If tangents to the parabola are drawn through the endpoints of any of these chords, the two tangents intersect on this same line parallel to the axis of symmetry (seeAxis-direction of a parabola).[f]

Arc length

[edit]

If a point X is located on a parabola with focal lengthf, and ifp is theperpendicular distance from X to the axis of symmetry of the parabola, then the lengths ofarcs of the parabola that terminate at X can be calculated fromf andp as follows, assuming they are all expressed in the same units.[g]h=p2,q=f2+h2,s=hqf+flnh+qf.{\displaystyle {\begin{aligned}h&={\frac {p}{2}},\\q&={\sqrt {f^{2}+h^{2}}},\\s&={\frac {hq}{f}}+f\ln {\frac {h+q}{f}}.\end{aligned}}}

This quantitys is the length of the arc between X and the vertex of the parabola.

The length of the arc between X and the symmetrically opposite point on the other side of the parabola is2s.

The perpendicular distancep can be given a positive or negative sign to indicate on which side of the axis of symmetry X is situated. Reversing the sign ofp reverses the signs ofh ands without changing their absolute values. If these quantities are signed,the length of the arc betweenany two points on the parabola is always shown by the difference between their values ofs. The calculation can be simplified by using the properties of logarithms:s1s2=h1q1h2q2f+flnh1+q1h2+q2.{\displaystyle s_{1}-s_{2}={\frac {h_{1}q_{1}-h_{2}q_{2}}{f}}+f\ln {\frac {h_{1}+q_{1}}{h_{2}+q_{2}}}.}

This can be useful, for example, in calculating the size of the material needed to make aparabolic reflector orparabolic trough.

This calculation can be used for a parabola in any orientation. It is not restricted to the situation where the axis of symmetry is parallel to they axis.

A geometrical construction to find a sector area

[edit]

Sector area proposition 30

S is the focus, and V is the principal vertex of the parabola VG. Draw VX perpendicular to SV.

Take any point B on VG and drop a perpendicular BQ from B to VX. Draw perpendicular ST intersecting BQ, extended if necessary, at T. At B draw the perpendicular BJ, intersecting VX at J.

For the parabola, the segment VBV, the area enclosed by the chord VB and the arc VB, is equal to ∆VBQ / 3, alsoBQ=VQ24SV{\displaystyle BQ={\frac {VQ^{2}}{4SV}}}.

The area of the parabolic sectorSVB=SVB+VBQ3=SVVQ2+VQBQ6{\displaystyle SVB=\triangle SVB+{\frac {\triangle VBQ}{3}}={\frac {SV\cdot VQ}{2}}+{\frac {VQ\cdot BQ}{6}}}.

Since triangles TSB and QBJ are similar,VJ=VQJQ=VQBQTBST=VQBQ(SVBQ)VQ=3VQ4+VQBQ4SV.{\displaystyle VJ=VQ-JQ=VQ-{\frac {BQ\cdot TB}{ST}}=VQ-{\frac {BQ\cdot (SV-BQ)}{VQ}}={\frac {3VQ}{4}}+{\frac {VQ\cdot BQ}{4SV}}.}

Therefore, the area of the parabolic sectorSVB=2SVVJ3{\displaystyle SVB={\frac {2SV\cdot VJ}{3}}} and can be found from the length of VJ, as found above.

A circle through S, V and B also passes through J.

Conversely, if a point, B on the parabola VG is to be found so that the area of the sector SVB is equal to a specified value, determine the point J on VX and construct a circle through S, V and J. Since SJ is the diameter, the center of the circle is at its midpoint, and it lies on the perpendicular bisector of SV, a distance of one half VJ from SV. The required point B is where this circle intersects the parabola.

If a body traces the path of the parabola due to an inverse square force directed towards S, the area SVB increases at a constant rate as point B moves forward. It follows that J moves at constant speed along VX as B moves along the parabola.

If the speed of the body at the vertex where it is moving perpendicularly to SV isv, then the speed of J is equal to3v/4.

The construction can be extended simply to include the case where neither radius coincides with the axis SV as follows. Let A be a fixed point on VG between V and B, and point H be the intersection on VX with the perpendicular to SA at A. From the above, the area of the parabolic sectorSAB=2SV(VJVH)3=2SVHJ3{\displaystyle SAB={\frac {2SV\cdot (VJ-VH)}{3}}={\frac {2SV\cdot HJ}{3}}}.

Conversely, if it is required to find the point B for a particular area SAB, find point J from HJ and point B as before. By Book 1, Proposition 16, Corollary 6 of Newton'sPrincipia, the speed of a body moving along a parabola with a force directed towards the focus is inversely proportional to the square root of the radius. If the speed at A isv, then at the vertex V it isSASVv{\displaystyle {\sqrt {\frac {SA}{SV}}}v}, and point J moves at a constant speed of3v4SASV{\displaystyle {\frac {3v}{4}}{\sqrt {\frac {SA}{SV}}}}.

The above construction was devised by Isaac Newton and can be found in Book 1 ofPhilosophiæ Naturalis Principia Mathematica as Proposition 30.

Focal length and radius of curvature at the vertex

[edit]

The focal length of a parabola is half of itsradius of curvature at its vertex.

Proof
  • Image is inverted. AB is x axis. C is origin. O is center. A is (x, y). OA = OC = R. PA = x. CP = y. OP = (R − y). Other points and lines are irrelevant for this purpose.
    Image is inverted. AB isx axis. C is origin. O is center. A is(x,y). OA = OC =R. PA =x. CP =y. OP =(Ry). Other points and lines are irrelevant for this purpose.
  • The radius of curvature at the vertex is twice the focal length. The measurements shown on the above diagram are in units of the latus rectum, which is four times the focal length.
    The radius of curvature at the vertex is twice the focal length. The measurements shown on the above diagram are in units of the latus rectum, which is four times the focal length.

Consider a point(x,y) on a circle of radiusR and with center at the point(0,R). The circle passes through the origin. If the point is near the origin, thePythagorean theorem shows thatx2+(Ry)2=R2,x2+R22Ry+y2=R2,x2+y2=2Ry.{\displaystyle {\begin{aligned}x^{2}+(R-y)^{2}&=R^{2},\\[1ex]x^{2}+R^{2}-2Ry+y^{2}&=R^{2},\\[1ex]x^{2}+y^{2}&=2Ry.\end{aligned}}}

But if(x,y) is extremely close to the origin, since thex axis is a tangent to the circle,y is very small compared withx, soy2 is negligible compared with the other terms. Therefore, extremely close to the origin

x2=2Ry.{\displaystyle x^{2}=2Ry.}1

Compare this with the parabola

x2=4fy,{\displaystyle x^{2}=4fy,}2

which has its vertex at the origin, opens upward, and has focal lengthf (see preceding sections of this article).

Equations(1) and(2) are equivalent ifR = 2f. Therefore, this is the condition for the circle and parabola to coincide at and extremely close to the origin. The radius of curvature at the origin, which is the vertex of the parabola, is twice the focal length.

Corollary

A concave mirror that is a small segment of a sphere behaves approximately like a parabolic mirror, focusing parallel light to a point midway between the centre and the surface of the sphere.

As the affine image of the unit parabola

[edit]
Parabola as an affine image of the unit parabola

Another definition of a parabola usesaffine transformations:

Anyparabola is the affine image of the unit parabola with equationy=x2{\displaystyle y=x^{2}}.

Parametric representation

[edit]

An affine transformation of the Euclidean plane has the formxf0+Ax{\displaystyle {\vec {x}}\to {\vec {f}}_{0}+A{\vec {x}}}, whereA{\displaystyle A} is a regular matrix (determinant is not 0), andf0{\displaystyle {\vec {f}}_{0}} is an arbitrary vector. Iff1,f2{\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are the column vectors of the matrixA{\displaystyle A}, the unit parabola(t,t2), tR{\displaystyle (t,t^{2}),\ t\in \mathbb {R} } is mapped onto the parabolax=p(t)=f0+f1t+f2t2,{\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}t^{2},}where

Vertex

[edit]

In general, the two vectorsf1,f2{\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are not perpendicular, andf0{\displaystyle {\vec {f}}_{0}} isnot the vertex, unless the affine transformation is asimilarity.

The tangent vector at the pointp(t){\displaystyle {\vec {p}}(t)} isp(t)=f1+2tf2{\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}+2t{\vec {f}}_{2}}. At the vertex the tangent vector is orthogonal tof2{\displaystyle {\vec {f}}_{2}}. Hence the parametert0{\displaystyle t_{0}} of the vertex is the solution of the equationp(t)f2=f1f2+2tf22=0,{\displaystyle {\vec {p}}'(t)\cdot {\vec {f}}_{2}={\vec {f}}_{1}\cdot {\vec {f}}_{2}+2tf_{2}^{2}=0,}which ist0=f1f22f22,{\displaystyle t_{0}=-{\frac {{\vec {f}}_{1}\cdot {\vec {f}}_{2}}{2f_{2}^{2}}},}and thevertex isp(t0)=f0f1f22f22f1+(f1f2)24(f22)2f2.{\displaystyle {\vec {p}}(t_{0})={\vec {f}}_{0}-{\frac {{\vec {f}}_{1}\cdot {\vec {f}}_{2}}{2f_{2}^{2}}}{\vec {f}}_{1}+{\frac {({\vec {f}}_{1}\cdot {\vec {f}}_{2})^{2}}{4(f_{2}^{2})^{2}}}{\vec {f}}_{2}.}

Focal length and focus

[edit]

Thefocal length can be determined by a suitable parameter transformation (which does not change the geometric shape of the parabola). The focal length isf=f12f22(f1f2)24|f2|3.{\displaystyle f={\frac {f_{1}^{2}\,f_{2}^{2}-({\vec {f}}_{1}\cdot {\vec {f}}_{2})^{2}}{4|f_{2}|^{3}}}.}Hence thefocus of the parabola isF: f0f1f22f22f1+f12f224(f22)2f2.{\displaystyle F:\ {\vec {f}}_{0}-{\frac {{\vec {f}}_{1}\cdot {\vec {f}}_{2}}{2f_{2}^{2}}}{\vec {f}}_{1}+{\frac {f_{1}^{2}\,f_{2}^{2}}{4(f_{2}^{2})^{2}}}{\vec {f}}_{2}.}

Implicit representation

[edit]

Solving the parametric representation fort,t2{\displaystyle \;t,t^{2}\;} byCramer's rule and usingttt2=0{\displaystyle \;t\cdot t-t^{2}=0\;}, one gets the implicit representationdet(xf0,f2)2det(f1,xf0)det(f1,f2)=0.{\displaystyle \det({\vec {x}}\!-\!{\vec {f}}\!_{0},{\vec {f}}\!_{2})^{2}-\det({\vec {f}}\!_{1},{\vec {x}}\!-\!{\vec {f}}\!_{0})\det({\vec {f}}\!_{1},{\vec {f}}\!_{2})=0.}

Parabola in space

[edit]

The definition of a parabola in this section gives a parametric representation of an arbitrary parabola, even in space, if one allowsf0,f1,f2{\displaystyle {\vec {f}}\!_{0},{\vec {f}}\!_{1},{\vec {f}}\!_{2}} to be vectors in space.

As quadratic Bézier curve

[edit]
Quadratic Bézier curve and its control points

Aquadratic Bézier curve is a curvec(t){\displaystyle {\vec {c}}(t)} defined by three pointsP0:p0{\displaystyle P_{0}:{\vec {p}}_{0}},P1:p1{\displaystyle P_{1}:{\vec {p}}_{1}} andP2:p2{\displaystyle P_{2}:{\vec {p}}_{2}}, called itscontrol points:c(t)=i=02(2i)ti(1t)2ipi=(1t)2p0+2t(1t)p1+t2p2=(p02p1+p2)t2+(2p0+2p1)t+p0,t[0,1].{\displaystyle {\begin{aligned}{\vec {c}}(t)&=\sum _{i=0}^{2}{\binom {2}{i}}t^{i}(1-t)^{2-i}{\vec {p}}_{i}\\[1ex]&=(1-t)^{2}{\vec {p}}_{0}+2t(1-t){\vec {p}}_{1}+t^{2}{\vec {p}}_{2}\\[2ex]&=\left({\vec {p}}_{0}-2{\vec {p}}_{1}+{\vec {p}}_{2}\right)t^{2}+\left(-2{\vec {p}}_{0}+2{\vec {p}}_{1}\right)t+{\vec {p}}_{0},\quad t\in [0,1].\end{aligned}}}

This curve is an arc of a parabola (see§ As the affine image of the unit parabola).

Numerical integration

[edit]
Simpson's rule: the graph of a function is replaced by an arc of a parabola

In one method ofnumerical integration one replaces the graph of a function by arcs of parabolas and integrates the parabola arcs. A parabola is determined by three points. The formula for one arc isabf(x)dxba6(f(a)+4f(a+b2)+f(b)).{\displaystyle \int _{a}^{b}f(x)\,dx\approx {\frac {b-a}{6}}\cdot \left(f(a)+4f\left({\frac {a+b}{2}}\right)+f(b)\right).}

The method is calledSimpson's rule.

As plane section of quadric

[edit]

The followingquadrics contain parabolas as plane sections:

  • Elliptic cone
    Elliptic cone
  • Parabolic cylinder
    Parabolic cylinder
  • Elliptic paraboloid
    Elliptic paraboloid
  • Hyperbolic paraboloid
    Hyperbolic paraboloid
  • Hyperboloid of one sheet
    Hyperboloid of one sheet
  • Hyperboloid of two sheets
    Hyperboloid of two sheets

As trisectrix

[edit]
Angle trisection with a parabola

A parabola can be used as atrisectrix, that is it allows theexact trisection of an arbitrary angle with straightedge and compass. This is not in contradiction to the impossibility of an angle trisection withcompass-and-straightedge constructions alone, as the use of parabolas is not allowed in the classic rules for compass-and-straightedge constructions.

To trisectAOB{\displaystyle \angle AOB}, place its legOB{\displaystyle OB} on thex axis such that the vertexO{\displaystyle O} is in the coordinate system's origin. The coordinate system also contains the parabolay=2x2{\displaystyle y=2x^{2}}. Theunit circle with radius 1 around the origin intersects the angle's other legOA{\displaystyle OA}, and from this point of intersection draw the perpendicular onto they axis. The parallel toy axis through the midpoint of that perpendicular and the tangent on the unit circle in(0,1){\displaystyle (0,1)} intersect inC{\displaystyle C}. The circle aroundC{\displaystyle C} with radiusOC{\displaystyle OC} intersects the parabola atP1{\displaystyle P_{1}}. The perpendicular fromP1{\displaystyle P_{1}} onto thex axis intersects the unit circle atP2{\displaystyle P_{2}}, andP2OB{\displaystyle \angle P_{2}OB} is exactly one third ofAOB{\displaystyle \angle AOB}.

The correctness of this construction can be seen by showing that thex coordinate ofP1{\displaystyle P_{1}} iscos(α){\displaystyle \cos(\alpha )}. Solving the equation system given by the circle aroundC{\displaystyle C} and the parabola leads to the cubic equation4x33xcos(3α)=0{\displaystyle 4x^{3}-3x-\cos(3\alpha )=0}. Thetriple-angle formulacos(3α)=4cos(α)33cos(α){\displaystyle \cos(3\alpha )=4\cos(\alpha )^{3}-3\cos(\alpha )} then shows thatcos(α){\displaystyle \cos(\alpha )} is indeed a solution of that cubic equation.

This trisection goes back toRené Descartes, who described it in his bookLa Géométrie (1637).[18]

Generalizations

[edit]

If one replaces the real numbers by an arbitraryfield, many geometric properties of the parabolay=x2{\displaystyle y=x^{2}} are still valid:

  1. A line intersects in at most two points.
  2. At any point(x0,x02){\displaystyle (x_{0},x_{0}^{2})} the liney=2x0xx02{\displaystyle y=2x_{0}x-x_{0}^{2}} is the tangent.

Essentially new phenomena arise, if the field has characteristic 2 (that is,1+1=0{\displaystyle 1+1=0}): the tangents are all parallel.

Inalgebraic geometry, the parabola is generalized by therational normal curves, which have coordinates(x,x2,x3, ...,xn); the standard parabola is the casen = 2, and the casen = 3 is known as thetwisted cubic. A further generalization is given by theVeronese variety, when there is more than one input variable.

In the theory ofquadratic forms, the parabola is the graph of the quadratic formx2 (or other scalings), while theelliptic paraboloid is the graph of thepositive-definite quadratic formx2 +y2 (or scalings), and thehyperbolic paraboloid is the graph of theindefinite quadratic formx2y2. Generalizations to more variables yield further such objects.

The curvesy =xp for other values ofp are traditionally referred to as thehigher parabolas and were originally treated implicitly, in the formxp =kyq forp andq both positive integers, in which form they are seen to be algebraic curves. These correspond to the explicit formulay =xp/q for a positive fractional power ofx. Negative fractional powers correspond to the implicit equationxpyq =k and are traditionally referred to ashigher hyperbolas. Analytically,x can also be raised to an irrational power (for positive values ofx); the analytic properties are analogous to whenx is raised to rational powers, but the resulting curve is no longer algebraic and cannot be analyzed by algebraic geometry.

In the physical world

[edit]

In nature, approximations of parabolas and paraboloids are found in many diverse situations. The best-known instance of the parabola in the history ofphysics is thetrajectory of a particle or body in motion under the influence of a uniformgravitational field withoutair resistance (for instance, a ball flying through the air, neglecting airfriction).

Theparabolic trajectory of projectiles was discovered experimentally in the early 17th century byGalileo, who performed experiments with balls rolling on inclined planes. He also later proved thismathematically in his bookDialogue Concerning Two New Sciences.[19][h] For objects extended in space, such as a diver jumping from a diving board, the object itself follows a complex motion as it rotates, but thecenter of mass of the object nevertheless moves along a parabola. As in all cases in the physical world, the trajectory is always an approximation of a parabola. The presence of air resistance, for example, always distorts the shape, although at low speeds, the shape is a good approximation of a parabola. At higher speeds, such as in ballistics, the shape is highly distorted and does not resemble a parabola.

Anotherhypothetical situation in which parabolas might arise, according to the theories of physics described in the 17th and 18th centuries bySir Isaac Newton, is intwo-body orbits, for example, the path of a small planetoid or other object under the influence of the gravitation of theSun.Parabolic orbits do not occur in nature; simple orbits most commonly resemblehyperbolas orellipses. The parabolic orbit is thedegenerate intermediate case between those two types of ideal orbit. An object following a parabolic orbit would travel at the exactescape velocity of the object it orbits; objects inelliptical orhyperbolic orbits travel at less or greater than escape velocity, respectively. Long-periodcomets travel close to the Sun's escape velocity while they are moving through the inner Solar system, so their paths are nearly parabolic.

Approximations of parabolas are also found in the shape of the main cables on a simplesuspension bridge. The curve of the chains of a suspension bridge is always an intermediate curve between a parabola and acatenary, but in practice the curve is generally nearer to a parabola due to the weight of the load (i.e. the road) being much larger than the cables themselves, and in calculations the second-degree polynomial formula of a parabola is used.[20][21] Under the influence of a uniform load (such as a horizontal suspended deck), the otherwise catenary-shaped cable is deformed toward a parabola (seeCatenary § Suspension bridge curve). Unlike an inelastic chain, a freely hanging spring of zero unstressed length takes the shape of a parabola. Suspension-bridge cables are, ideally, purely in tension, without having to carry other forces, for example, bending. Similarly, the structures of parabolic arches are purely in compression.

Paraboloids arise in several physical situations as well. The best-known instance is theparabolic reflector, which is a mirror or similar reflective device that concentrates light or other forms ofelectromagnetic radiation to a commonfocal point, or conversely, collimates light from a point source at the focus into a parallel beam. The principle of the parabolic reflector may have been discovered in the 3rd century BC by the geometerArchimedes, who, according to a dubious legend,[22] constructed parabolic mirrors to defendSyracuse against theRoman fleet, by concentrating the sun's rays to set fire to the decks of the Roman ships. The principle was applied totelescopes in the 17th century. Today, paraboloid reflectors can be commonly observed throughout much of the world inmicrowave and satellite-dish receiving and transmitting antennas.

Inparabolic microphones, a parabolic reflector is used to focus sound onto a microphone, giving it highly directional performance.

Paraboloids are also observed in the surface of a liquid confined to a container and rotated around the central axis. In this case, thecentrifugal force causes the liquid to climb the walls of the container, forming a parabolic surface. This is the principle behind theliquid-mirror telescope.

Aircraft used to create aweightless state for purposes of experimentation, such asNASA's "Vomit Comet", follow a vertically parabolic trajectory for brief periods in order to trace the course of an object infree fall, which produces the same effect as zero gravity for most purposes.

Gallery

[edit]
  • A bouncing ball captured with a stroboscopic flash at 25 images per second. The ball becomes significantly non-spherical after each bounce, especially after the first. That, along with spin and air resistance, causes the curve swept out to deviate slightly from the expected perfect parabola.
    Abouncing ball captured with a stroboscopic flash at 25 images per second. The ball becomes significantly non-spherical after each bounce, especially after the first. That, along with spin andair resistance, causes the curve swept out to deviate slightly from the expected perfect parabola.
  • Parabolic trajectories of water in a fountain.
    Parabolic trajectories of water in a fountain.
  • The path (in red) of Comet Kohoutek as it passed through the inner Solar system, showing its nearly parabolic shape. The blue orbit is the Earth's.
    The path (in red) ofComet Kohoutek as it passed through the inner Solar system, showing its nearly parabolic shape. The blue orbit is the Earth's.
  • The supporting cables of suspension bridges follow a curve that is intermediate between a parabola and a catenary.
    The supporting cables ofsuspension bridges follow a curve that is intermediate between a parabola and acatenary.
  • The Rainbow Bridge across the Niagara River, connecting Canada (left) to the United States (right). The parabolic arch is in compression and carries the weight of the road.
    TheRainbow Bridge across theNiagara River, connectingCanada (left) to theUnited States (right). The parabolic arch is in compression and carries the weight of the road.
  • Parabolic arches used in architecture
    Parabolic arches used in architecture
  • Parabolic shape formed by a liquid surface under rotation. Two liquids of different densities completely fill a narrow space between two sheets of transparent plastic. The gap between the sheets is closed at the bottom, sides and top. The whole assembly is rotating around a vertical axis passing through the centre. (See Rotating furnace)
    Parabolic shape formed by a liquid surface under rotation. Two liquids of different densities completely fill a narrow space between two sheets of transparent plastic. The gap between the sheets is closed at the bottom, sides and top. The whole assembly is rotating around a vertical axis passing through the centre. (SeeRotating furnace)
  • Solar cooker with parabolic reflector
  • Parabolic antenna
  • Parabolic microphone with optically transparent plastic reflector used at an American college football game.
    Parabolic microphone with optically transparent plastic reflector used at an American college football game.
  • Array of parabolic troughs to collect solar energy
  • Edison's searchlight, mounted on a cart. The light had a parabolic reflector.
    Edison's searchlight, mounted on a cart. The light had a parabolic reflector.
  • Physicist Stephen Hawking in an aircraft flying a parabolic trajectory to simulate zero gravity
    PhysicistStephen Hawking in an aircraft flying a parabolic trajectory to simulate zero gravity

See also

[edit]

Footnotes

[edit]
  1. ^The tangential plane just touches the conical surface along a line, which passes through the apex of the cone.
  2. ^As stated above in the lead, the focal length of a parabola is the distance between its vertex and focus.
  3. ^The point V is the centre of the smaller circular cross-section of the cone. The point F is in the (pink) plane of the parabola, and the lineVF is perpendicular to the plane of the parabola.
  4. ^Archimedes proved that the area of the enclosed parabolic segment was 4/3 as large as that of a triangle that he inscribed within the enclosed segment. It can easily be shown that the parallelogram has twice the area of the triangle, so Archimedes' proof also proves the theorem with the parallelogram.
  5. ^This method can be easily proved correct by calculus. It was also known and used by Archimedes, although he lived nearly 2000 years before calculus was invented.
  6. ^A proof of this sentence can be inferred from the proof of theorthoptic property, above. It is shown there that the tangents to the parabolay =x2 at(p,p2) and(q,q2) intersect at a point whosex coordinate is the mean ofp andq. Thus if there is a chord between these two points, the intersection point of the tangents has the samex coordinate as the midpoint of the chord.
  7. ^In this calculation, thesquare rootq must be positive. The quantitylna is thenatural logarithm of a.
  8. ^However, this parabolic shape, as Newton recognized, is only an approximation of the actual elliptical shape of the trajectory and is obtained by assuming that the gravitational force is constant (not pointing toward the center of the Earth) in the area of interest. Often, this difference is negligible and leads to a simpler formula for tracking motion.

References

[edit]
  1. ^"Can You Really Derive Conic Formulae from a Cone? – Deriving the Symptom of the Parabola – Mathematical Association of America". Retrieved19 July 2025.
  2. ^Wilson, Ray N. (2004).Reflecting Telescope Optics: Basic design theory and its historical development (2 ed.). Springer. p. 3.ISBN 3-540-40106-7.Extract of page 3.
  3. ^Stargazer,p. 115.
  4. ^Stargazer,pp. 123, 132.
  5. ^Fitzpatrick, Richard (July 14, 2007)."Spherical Mirrors".Electromagnetism and Optics, lectures.University of Texas at Austin. Paraxial Optics. RetrievedOctober 5, 2011.
  6. ^abKumpel, P. G. (1975), "Do similar figures always have the same shape?",The Mathematics Teacher,68 (8):626–628,doi:10.5951/MT.68.8.0626,ISSN 0025-5769.
  7. ^Shriki, Atara; David, Hamatal (2011), "Similarity of Parabolas – A Geometrical Perspective",Learning and Teaching Mathematics,11:29–34.
  8. ^abTsukerman, Emmanuel (2013)."On Polygons Admitting a Simson Line as Discrete Analogs of Parabolas"(PDF).Forum Geometricorum.13:197–208. Archived fromthe original(PDF) on 2023-10-05. Retrieved2013-11-06.
  9. ^Frans van Schooten:Mathematische Oeffeningen, Leyden, 1659, p. 334.
  10. ^Planar Circle Geometries, an Introduction to Moebius-, Laguerre- and Minkowski-planes, p. 36.
  11. ^E. Hartmann,Lecture NotePlanar Circle Geometries, an Introduction to Möbius-, Laguerre- and Minkowski Planes, p. 72.
  12. ^W. Benz,Vorlesungen über Geomerie der Algebren,Springer (1973).
  13. ^Downs, J. W. (2003).Practical Conic Sections. Dover Publishing.[ISBN missing]
  14. ^Sondow, Jonathan (2013). "The parbelos, a parabolic analog of the arbelos".American Mathematical Monthly.120 (10):929–935.arXiv:1210.2279.doi:10.4169/amer.math.monthly.120.10.929.S2CID 33402874.
  15. ^Tsukerman, Emmanuel (2014). "Solution of Sondow's problem: a synthetic proof of the tangency property of the parbelos".American Mathematical Monthly.121 (5):438–443.arXiv:1210.5580.doi:10.4169/amer.math.monthly.121.05.438.S2CID 21141837.
  16. ^"Sovrn Container". Mathwarehouse.com. Retrieved2016-09-30.
  17. ^"Parabola". Mysite.du.edu. Retrieved2016-09-30.
  18. ^Yates, Robert C. (1941). "The Trisection Problem".National Mathematics Magazine.15 (4):191–202.doi:10.2307/3028133.JSTOR 3028133.
  19. ^Dialogue Concerning Two New Sciences (1638) (The Motion of Projectiles: Theorem 1).
  20. ^Troyano, Leonardo Fernández (2003).Bridge engineering: a global perspective. Thomas Telford. p. 536.ISBN 0-7277-3215-3.
  21. ^Drewry, Charles Stewart (1832).A memoir of suspension bridges. Oxford University. p. 159.
  22. ^Middleton, W. E. Knowles (December 1961). "Archimedes, Kircher, Buffon, and the Burning-Mirrors".Isis.52 (4). Published by: The University of Chicago Press on behalf of The History of Science Society:533–543.doi:10.1086/349498.JSTOR 228646.S2CID 145385010.

Further reading

[edit]
  • Lockwood, E. H. (1961).A Book of Curves. Cambridge University Press.

External links

[edit]
Look upparabola in Wiktionary, the free dictionary.
Wikimedia Commons has media related toParabolas.
Wikisource has the text of the1911Encyclopædia Britannica article "Parabola".
Authority control databases: NationalEdit this at Wikidata
Retrieved from "https://en.wikipedia.org/w/index.php?title=Parabola&oldid=1338313427"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2026 Movatter.jp