1

Consider the (non-regular) pentagon with consecutive vertices at (-1,-1), (-1,1), (0,2), (1,1), and (1,-1). a) Prove that there is no circle that is tangent to all 5 sides of the pentagon b) Is there an ellipse that is tangent to all five sides of the pentagon? If so, find its equation.

Here is what I have done so far: I have drawn out the pentagon. For part a) I am very bad at proving. For part b) I have some idea. I drew the ellipse and tried to match the ellipse inside of the pentagon and tried to see its tangency. My best idea is to take the derivative. I may be completely off from the true solution, I am not sure. Please click the solution button below and tell me the correct solution. This is a question that is not for homework, so if you posted the solution there would be no issue.

heropup
  • 135,869
  • If you would include the author, title, and page number of the book where you get each of your questions, it would be evidence that these are in fact recreational questions and not for homework. Such evidence could be much more convincing that just saying "this is not for homework." – David K Mar 09 '21 at 03:18

3 Answers3

2

Hint: consider ellipses with centre on the $y$ axis and axes parallel to the coordinate axes, tangent to the vertical and horizontal sides. If the major axis of the ellipse is too small, it will look like this:

enter image description here

If too large, like this:

enter image description here

You want it just right so it is tangent to the slanted sides.

enter image description here

Robert Israel
  • 448,999
  • Could you take a look at the other solutions and explain your answer if it is correct? –  Mar 06 '21 at 22:13
2

If a polygon is circumscribed to a circle, then the bisectors of its internal angles all meet at a same point. Hence, for part a) just show that this is not the case.

For b) it is a general theorem that there always exists a conic tangent to five given lines. In particular, if the lines form a convex pentagon then the conic is an ellipse.

There is a simple geometric construction for the ellipse inscribed in a given convex pentagon $ABCDE$. One can, first of all, find tangency points $PQRST$ (see figure below). Draw, for instance, diagonals $AC$ and $BD$, meeting at $F=(1/2,1/2)$. Line $EF$ meets then side $BC$ at tangency point $P=(1,1/3)$.

This construction depends on Brianchon's theorem:

The three opposite diagonals of every hexagon circumscribing a conic are concurrent.

In fact, if $P$ is the tangency point on $BC$, we can view $ABPCDE$ as a limiting case of a hexagon circumscribed to the ellipse. Hence diagonals $AC$, $BD$ and $EP$ must intersect at the same point $F$.

For a generic pentagon one would go on finding the other tangency points and remembering then that the line, passing through the intersection point of two tangents to an ellipse and through the midpoint of their tangency points, also passes through the center of the ellipse. Once the center is found one can construct a pair of conjugate diameters and finish then the construction by standard techniques.

In this particular case the construction is simpler, as by symmetry we know that major axis of the ellipse lies on $y$-axis and $PR$, parallel to $x$-axis, is minor axis. Hence semi-minor axis $PO$ has a length $b=1$ and semi-major axis $QO$ has a length $a=4/3$. Focal distance is then $c=\sqrt{a^2-b^2}=\sqrt7/3$ and from that we can find foci $L$ and $M$.

enter image description here

Intelligenti pauca
  • 50,470
  • 4
  • 42
  • 77
  • for A, shouldn't the center be at 0,0? And for b) Can you give an in-depth explanation for the answer? –  Mar 06 '21 at 21:54
  • @Identiconn Bisectors of angles $D$ and $C$ do meet at $(0,0)$, but bisectors of $B$ and $E$ don't. What is not clear for part b)? – Intelligenti pauca Mar 06 '21 at 22:03
  • another person who posted a solution said the center was 0,0 and gave a different explanation. Could you take a look at that? –  Mar 06 '21 at 22:12
  • @Identiconn That answer is fine, just a different approach. But you should read it more carefully. – Intelligenti pauca Mar 06 '21 at 22:26
1

For a), note that the diameter formed by the points of tangency of the vertical sides, must be horizontal, and therefore must be 2. In other words, the radius must be 1. This implies that the center of the circumference must have an X coordinate equal to 0. But then for it to be tangent to the horizontal side, it must have Y coordinate equal to 0. So the center is (0,0). Prove that that is impossible so that it is tangent to the crooked sides.

For b) use a general formula and try to clear the parameters, knowing that the foci must have an x ​​coordinate equal to 0.

  • Can you elaborate on this, I don't understand: "Prove that that is impossible so that it is tangent to the crooked sides."

    I am struggling to find what the "general formula" is. Can you elaborate on this as well?

    –  Mar 05 '21 at 02:50
  • The radius is 1 and the center is (0,0). Can the circumference touch the crooked sides? In b), what is the general formula of an ellipse? – Martín Vacas Vignolo Mar 05 '21 at 02:52
  • I understand a) now, but I don't understand b). Can you give an in-depth explanation? –  Mar 06 '21 at 21:52