I had a thought about another way to approach that ellipse and circles problem and thought I’d try it on a generalization. Suppose the circle is of arbitrary radius and sitting at an arbitrary point? (You can turn it into a unit radius just by rescaling, but let’s put the radius in explicitly. If nothing else it helps check for errors via dimensional analysis.)

This time instead of working with *x* and *y* let’s use the parametric equations

And now let’s write down the distance *D* between a point on the ellipse and the center (*x _{c}, y_{c}*) of the circle:

The idea here is that if *D(t)* has a local extremum at *t*=*t _{t}* and if

*D(t*(the radius of the circle) then

_{t})=r*t*corresponds to a tangent point. So the plan is to solve

_{t }*dD/dt*=0 to get values of

*t*, and then solve

_{t}*D(t*to get the relation between

_{t})=r*a*and

*b*required for tangency.

Well, easier said than done. The requirement *dD/dt=*0 leads to

which I think can be solved in the sense that it can be converted to a cubic in cos *t*. Ah, no thanks.

So how about a milder generalization? Keep the arbitrary radius and the arbitrary *x _{c }*but require the circle to sit on the

*x*axis:

*y*=0. In that case

_{c}with solutions

(case [i]) or

(case [ii])

(If sin *t* ≠0 and *a*^{2}*=b ^{2}*, then the case [ii] formula doesn’t work. But if so, the ellipse is a circle, and

*dD/dt*≠0 unless

*x*= 0: both circles are concentric and every point on the “ellipse” is equidistant from the center of the other circle, and to make that distance be

_{c }*r*you have to make the two circles be identical, which isn’t really what I mean by a tangent ellipse. So I’ll only consider

*a*

^{2}

*≠b*.)

^{2}For case [i], plug sin *t*=0 and cos *t*=±1 into the formula for *D* and set it equal to *r*, and the legal (positive) values for *a* are |*x _{c}*+

*r|*and

*|*Obviously if

*x*–r|._{c}*a*has either of these values then the left or the right end of the ellipse will be tangent to the circle. To find out if it’s exterior or interior requires checking whether the extremum is a minimum or a maximum, for which you need the sign of the second derivative. I haven’t gone there yet. It looks messy.

Case [ii] starts messy and gets messier, until a whole lot of cancellation happens and you’re left with a simple answer. The equation to be solved is

which turns into

and when you solve for *a ^{2 }*using the quadratic formula, amazingly everything under the radical sign except

*b*

^{4}*cancels and the result is*

*x*_{c}^{4 }The minus sign just gives you *a ^{2}*

*=b*, which we saw above isn’t allowed for this case so we discard that, and the plus sign gives

^{2}which, if you set * x_{c}*=

*r*=1, reproduces the result I got previously. Note that this means if

*b*is negative then |

*–r*^{2}^{2 }*| must be less than |*

*x*_{c}*b*| to make

*–r*^{2}^{2}*a*positive. This just says the

^{2}^{ }*y*intercept of the circle, which is √(

*r*

^{2}*–*), must be greater than

*x*_{c}^{2}*b*for the ellipse to fit inside the circle. That is, if the ellipse is shorter (vertically) than the circle, then the circle must be close to centered on the origin in order to get two point tangency:

Here *r* is 5, *b* is 4, so |* x_{c}*| must be less than 3 (and it’s about 2.9). Of course in the limit as the ellipse becomes infinitesimally narrow,

*approaches 3 with the tangent point going to (0, 4*

*x*_{c}*)*and

*, the origin, and the tangent point approaching a right triangle.*

*x*_{c}Once again, for case [ii] generally, one has to test whether the extremum is a minimum or a maximum to determine if the tangent is interior or exterior. I wonder how horrible that is. I don’t want to find out right now.