8
$\begingroup$

Two parabolas in a plane are given, such that they don't intersect. Is it true that there is a line in plane such that doesn't intersect any of them?

  • 0
    Do you mean parabolas as graphs of functions $y=f(x) = ax^2 + bx + c$? Or are we talking about general parabolas?2012-06-07
  • 0
    Several errors still remain at this time in the answer by Robert Mastragostino.2012-06-07
  • 0
    From a certain point of view, a parabola is an ellipse that has the line at infinity as one of its tangent lines. For the parabola $y=x^2$, if we pick a different line to serve as the line at infinity, namely $y=-1$, then the parabola becomes an ellipse. So if two parabolas don't intersect, the question is whether there is some line we could choose to regard as being at infinity, such that _both_ parabolas become ellipses. If two ellipses in the projective plane don't intersect, we can always find a line far far away from both of them.2012-06-07

3 Answers 3

12

Parabolas are convex, so they'll always be on the same side of their tangent lines. Find both tangent lines at the points of closest approach. These lines are parallel. Intuitively, if they were not then taking a 'small step' along the parabola in the right direction would bring you closer. (Slightly) more rigorously, if you know how to derive the method of lagrangian multipliers, this is a similar idea. so you can pick any line between these parallel lines to satisfy the problem.

If one is contained inside the other the above won't work, because even when a point of closest approach does exist, the parabolas will both be on the same side of the tangent line. It's a simple case though, just use the directrix of the larger parabola as your answer.

  • 2
    And the points of closest approach exist why?2012-06-07
  • 0
    Could you clarify a bit on why the parabolas are always outside of the cone? Also, the cone might not be cone, but instead just two parallel lines.2012-06-07
  • 0
    @Phira: It's a standard argument about why there is always two points achieving $d(F,G)$ when $F,G$ are closed subsets of $\mathbb{R}^n$ (use compactness).2012-06-07
  • 1
    @N.I: There need not exist such points if neither $F$ nor $G$ is compact. Consider the graphs of hyperbolas $xy = c$ for different values of $c$: $d(F,G) = 0$ but these sets have no points in common.2012-06-07
  • 0
    @NoahStein: You're right, my bad. At least one of them needs to be compact, which is not the case here.2012-06-07
  • 0
    Thanks ZevChonoles and @Phira, In my attempt at an intuitive argument I didn't realize how much I left out! I think I've covered it all now.2012-06-07
  • 0
    Parabolas are not convex, but every parabola is the boundary of its own convex hull. Some sets contain points in the interior of their own convex hull, and some fail to contain all points on the boundary of their own convex hull. But parabolas contain all such points and only such points.2012-06-07
  • 2
    This answer is wrong. Look at $y=x^2$ and $y=x^2+1$. They don't intersect; no point is on both curves. There is indeed a line that intersects neither of them; for example $y=-1$. If you pick any tangent line to $y=x^2+1$, it intersects $y=x^2$, and so does every line _between_ that tangent line and the tangent to the other parabola that is parallel to it.2012-06-07
  • 0
    "If one is contained inside the other the above won't work, because then there is no 'point of closest approach'." But in some cases there is a point of closest approach. For example, $y=x^2$ and $y=2(x-1)^2+5$.2012-06-07
9

To take a somewhat more high-brow approach: Consider the parabolas together with their interiors (in the obvious sense, e.g., the interior of $y=x^2$ is $y>x^2$). Now you have two closed, convex sets whose boundaries don't intersect. Either one is contained within the other, or the two sets are disjoint. The former case is trivial. In the latter case, use the Hahn–Banach separation theorem to find a line (really, a level set of a linear functional) separating the two.

Edit: Due to lack of compactness [see the comments], the above method might yield a common tangent line to the two parabolas. To give ourselves some wiggle room, we can use the following “compact slices” property of the convex hull $C$ of a parabola (easily proved in the standard configuration $y=x^2$): If $f(C)$ is bounded below where $f$ is a linear functional, then $C\cap f^{-1}((-\infty,m])$ is compact for any $m$.

So let $C_1$, $C_2$ be disjoint convex hulls of parabolas. From Hahn–Banach, we get a linear functional $f$ with $\sup f(C_1)\le m:=\inf f(C_2)$. Using the compactness of the slice $C_2\cap f^{-1}((-\infty,m+1])$, we can translate $C_2$ a small distance along its axis of symmetry to get $C_2'$ disjoint from $C_1$ and containing $C_1$ in its interior. Now apply Hahn–Banach once more to get a linear functional $g$ with $\sup g(C_1)\le\inf g(C_2')$. Since $\inf g(C_2')\lt\inf g(C_2)$, a level set of $g$ solves the problem.

  • 0
    If I recall correctly, there's something non-constructive in the proof of the Hahn-Banach theorem. But here you should be able to get by with a much weaker version that is fully constructive. You should be able to actually find the line.2012-06-07
  • 0
    @MichaelHardy: Yes, and yes. Left as an exercise for the reader. ☺2012-06-07
  • 0
    Doesn't Hahn-Banach require compactness?2012-06-07
  • 0
    @JimConant: There are many variants of Hahn–Banach separation. Not all require compactness. But without it, you may not get *strict* separation, and that is a problem for my proof. I have edited the answer to deal with this issue. Thanks for pointing it out.2012-06-08
  • 0
    @MichaelHardy: To expand a little on my first “yes” above, the non-constructiveness in the proof of Hahn–Banach only comes into play in infinite dimensional spaces. After all, one expands a linear functional by one dimension at the time, which only requires ordinary induction in the finite-dimensional case (and not even that in the two-dimensional case, of course).2012-06-08
  • 0
    One of the objections to swatting a fly with a pile-driver is that any qualms anyone has about the particular pile-driver may become doubts about the swatting of the particular fly, which could be perfectly legal when done by lesser means.2012-06-08
  • 0
    @MichaelHardy: Yeah, I sure am guilty. ☺ (But really, the finite-dimensional Hahn–Banach is amazingly useful and under-utilized.)2012-06-08
  • 0
    ....and one of the qualms might be something as simple as the fact that the proof of the theorem is onerous, thereby leaving a mistaken impression that the solution of the present problem is onerous. However, certainly the finite-dimensional version should have a simpler proof. And a constructive one.2012-06-08
  • 0
    @MichaelHardy: *In two dimensions*, Hahn–Banach separation has an easy proof. First, let $C$ be a convex set not containing the origin. Let $\Gamma=\{x/\lVert x\rVert\colon x\in C\}$. Note that if $z\in\Gamma$ then $-z\notin\Gamma$, and if $z,w\in\Gamma$ with $z+w\ne0$, then the shortest arc containing the two is contained in $\Gamma$. It follows that $\Gamma$ is an arc contained in $\{ (\cos\theta,\sin\theta)\colon \alpha\le\theta\le\beta \}$ where $0\le \beta-\alpha\le\pi$, and one can easily find a linear functional $f\ne0$ so that $f(x)\ge0$ for $x\in C$. …2012-06-08
  • 0
    … Next, if $C_1$ and $C_2$ are disjoint convex sets, apply the above to $C=C_1-C_2$.2012-06-08
-2

Here's a simple approach, which I hope will suit.

Here is a parabola, courtesy of WolframAlpha: parabola facing up


Here is another parabola. parabola facing down

Do the parabolas intersect? (No.) Is there a line, say y = -0.25, that won't intersect either parabola? (Yes, and there are others.)

  • 0
    This is not at all a complete answer to this question. -12012-06-07
  • 0
    Responding to an answer by saying it is incomplete without saying why is not helpful. The reason this answer is incomplete is because it doesn't show that for ANY two parabolas that do not intersect there exists a line that does not intersect either. Just that for the two parabolas you chose.2012-06-07
  • 0
    This works only when the parabolas are situated like the two in your example. In particular, their axes are parallel to each other.2012-06-08
  • 0
    Yes, I agree that I have provided a limited case. From the tags 'homework' and 'algebra-precalculus' I was guessing that the OP was seeking an example instead of a rigorous proof, and would appreciate visual insight over the Hahn-Banach theorem. This depends on whether the OP is in tenth grade precalculus or in a sophomore college calculus course. (I looked at the OP's profile, but his or her age was not revealed.)2012-06-08
  • 0
    Well, in that way you can prove that multiplication is the same as addition, thus: $2+2=2\cdot2$ and $1+2+3=1\cdot2\cdot3$.2012-06-08