Okay, the math topic on my brain right this second is the question of whether or not it is reasonable to say a curve has multiple tangent lines at a point. I'll come right out and say I think not. It seems to me that for a point P on a curve C to have a tangent line with slope m, it must be the case that for all epsilon>0, there exists a delta>0 such that for any point Q on the curve C, if Q is within delta of P then the slope of the secant line through P and Q is within epsilon of m. This definition makes it possible to only have one tangent line.
Really, that has to be the accepted definition. But I have to go check.
In particular, the question comes up when you consider nice curves (polynomial curves, for instance) with self-crossings. I think it only reasonable to say the curve has no tangent line at the self-crossing (unless, of course, the crossings are all in the same "direction"). However, the calculus text I'm teaching out of appears to have no problem with saying the curve has multiple tangent lines at self-crossings. This latter conception leads, I think, to numerous problems, and will cause difficulties with the basic notion of differentiability. Or maybe I'm mixing up the two. Or maybe it's all just a matter of convention. I need to go check some reliable sources.
Comments
I think you can make sense
I think you can make sense of a self-crossing curve having multiple tangents if the curve can be parametrized. (I do this in Calc 2 with the Lissajous x=2cos(t), y=sint(2t), or some such variation.) But if you can't parametrize the curve, I don't see how you could make sense of those multiple crossings.
Hey, Don. Yeah, Stewart
Hey, Don. Yeah, Stewart implies this "multiple tangents at a point" thing in some examples involving parametrized curves. I think he is basically saying that if the curve is parametrized as (x(t),y(t)), then if there is a tangent line to any points on the sub-curve defined for any a <= t <= b, then that tangent line is a "tangent line to the curve". This definitely leads to problems with the concept of tangent line to the curve in its totality. I think there may be a tendency for some folks to get hung up on the parametric concept of the curve and forget that the curve is simply a set of points, not a set of points in some order.