5

From a typical point P inside an ellipse, how many points Qi on the ellipse have PQi normal to the ellipse? Someone asked me at school many years ago but I don't think I worked it out.

Share a link to this question
|cite|improve this question|||||
16

For every ellipse E, there is a curve called ellipse evolute [1] associated with it. The ellipse evolute is the locus of centers of curvature [2] for E. It is also the envelope of the normal lines of E[2].

For a point P inside E, the number of points Q on E where PQ normal to E can be either 2,3 or 4. It depends on whether P is lying outside, on or inside the ellipse evolute.

The graph below illustrates what happens when P lies on the ellipse evolute (the black star shaped curve) and the three Q such that PQ normal to E.

Ellipse evolute and the three Qs

Following is a brief analysis of the problem. For an alternate and more complete treatment, take a look at the paper Apollonius' ellipse and evolute revisited by Frederick Hartmann and Robert Jantzen.

Let use choose a coordinate system such that E is given by the equation

x2a2+y2b2=1
where a>b>0 are the semi-major and semi-minor axis of E. Let c=a2b2, the two foci of E are located at (±c,0).

Let P=(p,q) be a point inside E and Q=(x,y) be a point on E. It is known that the normal of E at Q is along the direction (xa2,yb2). The condition for PQ normal to E is given by

xa2:yb2=xp:yqxa2(yq)yb2(xp)=0

This is the equation for a hyperbola H ( the orange hyperbola in above graph ) with P lying on it. Since P is inside E and the two arms of the branch of H holding P extends to infinity. Each of the arm will intersect E at least once. This means E and H intersected at least twice. Since five points determine a conic, the number of intersections between E and H is at most 4.

To determine the actual number of intersections, let us introduce a new coordinate system

(u,v)=(xa,yb)(x,y)=(au,bv)
In terms of (u,v), the ellipse becomes the unit circle u2+v2=1 and the hyperbola H becomes

uv+q~up~v=0 where {p~=apc2q~=bqc2
Consider the rational parametrization of the circle
t(1t21+t2,2t1+t2)
The condition that a point on the circle intersect H becomes

(1t21+t2)(2t1+t2)+q~(1t21+t2)p~(1t21+t2)=0q~t4+2(p~+1)t3+2(p~1)tq~=0
The last expression is a quartic equation which "usually" have either two or four real roots. When we changes the position of P, the number of roots jumps at those place where the discriminant of the quartic polynomial vanishes. By brute force computation, the discriminant of the quartic polynomial is given by

Δ(p~,q~)=256[(p~2+q~21)3+27p~2q~2]

We have 3 possible cases:

  1. When P is near O, Δ(p~,q~)>0. The quartic equation has either 4 or 0 real roots. Since we know H intersect E at least twice, there are four Q on E such that PQ is normal to E.
  2. When P is far away from O, Δ(p~,q~)<0. The quartic equation has only 2 real roots and hence there are only two Q that make PQ normal to E.
  3. On the special case Δ(p~,q~)=0, the quartic equation has 3 distinct real roots. One of them is a double root which corresponds to H is tangent to E at some points. There are three Q that make PQ normal to E.

As mentioned before, the picture above illustrates the 3rd case. The black star shaped curve is the ellipse evolute where Δ(apc2,bqc2)=0. When P is lying on it, one branch of the hyperbola H will be touching the ellipse E. If you move P inside the ellipse evolute, the bottom branch of H will move inwards too and H will start to intersect E at four places.

To obtain a simpler expression for the ellipse evolute, let r=|p~|23,s=|q~|23, we have

Δ(p~,q~)=0(r3+s31)3+27r3s3=0r3+s31+3rs=0(r+s1)(s2rs+s+r2+r+1)=0(r+s1)((s+r+2)2+3(sr)2)=0r+s=1|ap|23+|bq|23=c43
Reproducing the equation for ellipse evolute commonly appear in the literature.

Notes

[1] ellipse evolute is a special case of a kind of curve called astroid.

[2] The wiki page of evolute has the definition of center of curvature. It also has a nice animation showing the ellipse evolute as an envelop of the normals.

Share a link to this answer
|cite|improve this answer|||||
  • Thankyou for the explanation. I remember concave diamonds, but I don't think I got this far before. – Empy2 Dec 19 '13 at 14:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.