Sunday, September 14, 2014

Conics

I did not realize this, but all the conics in a family can be wrapped up in one neat polar equation:

r(θ)=11+k·cos(θ)

Tip of the hat to Sam for this idea.


Sweet! You can see the shape go through hyperbola, parabola, ellipse, then circle.

The circle is easy. When k = 0, r is a constant 1.

The parabola is not too bad. It happens when k = 1. That means, in parametric form, that

x(θ)=cos(θ)1+cos(θ)y(θ)=sin(θ)1+cos(θ)

The trick turns out to be squaring the y parametric equation:

y2=sin2(θ)(1+cos(θ))2=1-cos2(θ)(1+cos(θ))2=1-cos(θ)1+cos(θ)

We already know this has to be some form of x, so it turns out to be

y2=1-2x=1+cos(θ)1+cos(θ)-2cos(θ)1+cos(θ)

So there we go.

But it turns out that those are the degenerate forms. The real work is trying to prove that the form given creates hyperbolas when k > 1 and ellipses when 0 < k < 1. Luckily, the same method works for both. Given that in both the hyperbola and ellipse case, the center of the conic is at some (h, 0), we are looking to simplify our polar form into: x-h2+ay2=c. For the hyperbola, a will be negative; for the ellipse, a will be positive. The algebra gets a bit tricky, but the idea is simple enough.

Substitute in for x and y:

cosθ1+kcosθ-h2+asinθ1+kcosθ2=c

Then show that, by picking the right values for a, c, and h, it is always possible to get the same ratios of cos2θ, cosine, and constant in the numerator as the denominator. In other words, one needs to pick the right values such that

cosθ-h-hkcosθ2+asin2θ=c1+kcosθ2

The trick is that one can combine sin2θ and cos2θ to get rid of the sin2θ term. Then one is left with the system of equations that:

cos2θ: h2k2-2hk-a+1=ck2cosθ: 2h2k-2h=2ckconstant: h2+a=c

Solving this by linear combination is not too daunting, actually. For a final answer, one ends up with:

a=-1k2-1, c=1k2-12, h=kk2-1.

Which is all rather cool. I later realized that k is about the slope at which one cuts a plane through a cone:



When k = 0, the plane is parallel to the cone's base. When k = 1, the plane is parallel to the side of the cone. When k is between 0 and 1, the plane is between parallel to the cone's base and parallel to cone's side. And when k is greater than 1, the plane is steeper than the cone's side. Thanks to Ian Rumsey for making the three-dimensional illustration; here is the GeoGebra file.

No comments:

Post a Comment