A conic section is the curve that follows the intersection of a cone (or double cone) and a plane. Objects whose orbits are well explained by Newtons law of gravitation (i.e. everything for which GR isn’t needed) follow conic sections. Which type of conic section they follow depends on their orbital parameters.
Here we visualize the intersection of a cone and a plane and briefly run through some the math of how it works.
A plane is defined as the set of all points that satisfy,
Where , , , and are constants (e.g. WolframAlpha). The plane above is defined by,
A cone with the vertex at the origin and with an opening surrounding the axis is defined by,
Where is the opening angle (e.g. WolframAlpha). If we then rotate the cone through some angle around the axis (which is toward us in the diagram above), we can apply the following rotation matrix,
and therefore,
(e.g. WolframAlpha).
We can solve for the intersection of these surfaces by substituting into the definition of the cone,
which gives us a function of and . The intersection is the set of points that satisfy this equation. Unfortunately this solution is a bit messy, but it can be written1
(1)
where
(2)
This solution results in three different shapes depending on the choices of and .
The most general form of an ellipse is,
(3)
as long as the coefficients satisfy,2
The intersection is of the correct form (we can rewrite (1) as ), and so we just need to check the second condition. (as we have no term), and (the coefficient of ), and so the inequality becomes,
What does this tell us? Well, for small opening angles, is large and so the inequality is almost always satisfied. When is it not? When , specifically when .3
When the cone is opening up along the plane we do not form an ellipse. How close to the plane this happens depends on the opening angle.
What happens in the region where the ellipse is invalid? It becomes a hyperbola, the most general form of which is the same as an ellipse,
But has the opposite requirement,
Following the same argument as before the intersection is a hyperbola when, .
So we have an ellipse when , and a hyperbola when the sum of the angles is . What happens at the crossover point when one arm of the cone is parallel to the plane at ? In that case, . Substituting this into (2) we get,
Which gives us a parabola after we substitute into (1) and solve for .
Most of the algebra from here was first done using Maple. I don’t know my trig identities nearly well enough to do it by hand. Once I have the solution, I’ve tried to back out enough steps so that it makes sense.↩︎
This comes from the fact that the general ellipse (3) can be written as where is the matrix of the quadratic form. The determinant of this matrix, (which usually appears in the scaled form ), is the discriminant and determines the properties of the solutions, namely an ellipse if it is and a hyperbola if it is . One way to think about why this works is that in , if or are large, solutions with large or are impossible. The squared terms will grow quicker than the cross term. The resulting shape is therefore closed (ellipse). However, if the squared coefficients are small and the cross coefficient is large, solutions with with large and (where one is large negative, the other large positive) are possible and the shape is not closed (hyperbola). You can play with this on Desmos and I’m sure you can find a more elegant explanation somewhere.↩︎
The conic section is also a parabola when and . The arguments for the other 3 cases are identical to the one shown.↩︎