2.5: Conic Sections
- Page ID
- 6796
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)We have so far defined an ellipse, a parabola and a hyperbola without any reference to a cone. Many readers will know that a plane section of a cone is either an ellipse, a parabola or a hyperbola, depending on whether the angle that the plane makes with the base of the cone is less than, equal to or greater than the angle that the generator of the cone makes with its base. However, given the definitions of the ellipse, parabola and hyperbola that we have given, proof is required that they are in fact conic sections. It might also be mentioned at this point that a plane section of a circular cylinder is also an ellipse. Also, of course, if the plane is parallel with the base of the cone, or perpendicular to the axis of the cylinder, the ellipse reduces to a circle.
\(\text{FIGURE II.36}\)
A simple and remarkable proof can be given in the classical Euclidean "Given. Required. Construction. Proof. Q.E.D." style.
Given: A cone and a plane such that the angle that the plane makes with the base of the cone is less than the angle that the generator of the cone makes with its base, and the plane cuts the cone in a closed curve \(\text{K}\). Figure \(\text{II.36}\).
Required: To prove that \(\text{K}\) is an ellipse.
Construction: Construct a sphere above the plane, which touches the cone internally in the circle \(\text{C}_1\) and the plane at the point \(\text{F}_1\). Construct also a sphere below the plane, which touches the cone internally in the circle \(\text{C}_2\) and the plane at the point \(\text{F}_2\).
Join a point \(\text{P}\) on the curve \(\text{K}\) to \(\text{F}_1\) and to \(\text{F}_2\).
Draw the generator that passes through the point \(\text{P}\) and which intersects \(\text{C}_1\) at \(\text{Q}_1\) and \(\text{C}_2\) at \(\text{Q}_2\).
Proof: \(\text{PF}_1 = \text{PQ}_1\) (Tangents to a sphere from an external point.)
\(\text{PF}_2 = \text{PQ}_2\) (Tangents to a sphere from an external point.)
\(\therefore \text{PF}_1 + \text{PF}_2 = \text{PQ}_1 + \text{PQ}_2 = \text{Q}_1 \text{Q}_2\)
and \(\text{Q}_1\text{Q}_2\) is independent of the position of \(\text{P}\), since it is the distance between the circles \(\text{C}_1\) and \(\text{C}_2\) measured along a generator.
\[\therefore \ \text{K is an ellipse and } \text{F}_1 \text{ and } \text{F}_2 \text{ are its foci}. \tag{Q.E.D.}\]
A similar argument will show that a plane section of a cylinder is also an ellipse.
The reader can also devise drawings that will show that a plane section of a cone parallel to a generator is a parabola, and that a plane steeper than a generator cuts the cone in a hyperbola. The drawings are easiest to do with paper, pencil, compass and ruler, and will require some ingenuity. While I have seen the above proof for an ellipse in several books, I have not seen the corresponding proofs for a parabola and a hyperbola, but they can indeed be done, and the reader should find it an interesting challenge. If the reader can use a computer to make the drawings and can do better than my poor effort with figure \(\text{II.36}\), s/he is pretty good with a computer, which is a sign of a misspent youth.