26
$\begingroup$

In many elementary (and not-so-elementary) Euclidean geometry texts, a (simple) polygon is said to be tangential  if it is convex and has an inscribed circle (i.e., a circle that intersects and is tangent to each side of the polygon). The assumption of convexity is not needed: I've come up with a rather laborious proof that every polygon with an inscribed circle is convex. But I'd like to find either a simple elementary proof or a reference to a proof in the literature. (By "elementary," I mean using only standard facts of axiomatic Euclidean geometry.)

Does anyone know of a reference for a proof of this fact (elementary or not)? Or can anyone think of a straightforward elementary proof? You can use any definition of "convex polygon" that you like, but the easiest one to work with is that for each edge, the vertices not on that edge lie on one side of the line through that edge.

(Interestingly, the corresponding fact for circumscribed circles--i.e., that every polygon with a circumscribed circle is convex--is quite easy to prove: If P has a circumscribed circle, any two nonadjacent sides of P are non-intersecting chords of the circle; it is easy to show that both endpoints of each chord lie on the same side of the line through the other, and from there it is an easy matter to prove that P is convex.)

  • 0
    Joseph: Yes, I'm only interested in simple polygons. I added that to the question.2010-09-17

5 Answers 5

9

Thanks to everyone who suggested approaches to this problem. In the end, none of the suggested approaches fit into the axiomatic framework that I was working in, so I had to write up my own rather laborious proof. It's a bit long to post here, but in order to close this question, I just want to post the reference and a quick summary of the approach.

You can find the complete proof in my textbook Axiomatic Geometry (Theorem 14.31). The basic idea is first to prove the following lemma:

Lemma. Let $\mathscr P$ be a polygon circumscribed about a circle $\mathscr C$. Suppose $A$ is any vertex of $\mathscr P$, and $E$ and $F$ are the points of tangency of the two edges containing $A$. Then there are no points of $\mathscr P$ in the interior of $\triangle AEF$.

To prove that a tangential polygon $\mathscr P$ must be convex, the basic idea is to show that if $\ell$ is any edge line of $\mathscr P$, then there can't be any vertices of $\mathscr P$ on the "wrong" side of $\ell$ (the side not containing the inscribed circle), because that would violate the lemma.

2

The definition of simple establishes that the polygon itself equals the intersection of the half-planes tangent to the circle at the points where the polygon's sides contact the circle. Any nonempty intersection of halfplanes is convex.

  • 0
    @Jack: We only need to show that any vertex of the polygon is contained within all the half planes. But consider a single vertex and the cone it makes over the circle: because the polygon in question is a simple polygon, all the points of tangency of all its edges must lie along the back arc of the circle (away from the point). It is clear that any half plane tangent along the back arc includes the original point. This argument generalizes to higher dimensions, even if we replace the circle by any convex hyperspheroid.2010-10-01
1

edit 2: Suppose that a simple polygon has an inscribed circle. Without loss of generality, pick a "first" edge and let the circle be on the "right" side of that edge. The angle that is on the same side as the circle--that is, to the right--between the first edge and the second edge must have measure less than 180°. Similarly, the angle between the second and third edges that is also on the right must also have measure less than 180°, and so on, so that all of the angles on the right side of the polygon's perimeter (whether it is the inside or the outside) must have measure less than 180° and all of the angles on the left side must have measure greater than 180°.

Since the sum of the interior angles of a simple polygon with n sides is 180°(n – 2), the average measure of an interior angle of a simple polygon with n sides is 180° – 360°/n, which is strictly less than 180°. So, since the angles on the left side of the perimeter all have measure greater than 180°, their average is greater than 180°, so the left cannot be the interior of the polygon and the right side must be the interior, so the inscribed circle must be in the interior of the polygon and the internal angles all have measure less than 180°.


original answer:

Assuming the polygon is non-self-intersecting, then two consecutive sides of the polygon correspond to two consecutive points on tangency on the circle, with the angle formed by the two sides subtending the minor arc between the points of tangency. The measure of the angle of the polygon is half the difference between the measure of the major and minor arcs between the points of tangency. The greatest possible difference would be the degenerate case where the minor arc has measure 0° and the major arc has measure 360°, giving the angle measure 180°; for non-degenerate cases, the difference in the arc measures must be less than 360°, so the angle measure must be less than 180°. This applies to every pair of consecutive sides, so every interior angle of the polygon has measure less than 180°, so the polygon is convex.


edit: Alternately, and blatantly assuming that the inscribed circle must be in the interior of the polygon, suppose that a polygon is not convex, so that there is a vertex at which the interior angle has measure greater than 180°. For a circle to be tangent to the two sides that meet at that vertex, the circle must be exterior to the polygon at that vertex (so as to be in the non-reflex side of that angle) and thus cannot be the inscribed circle.

  • 0
    [...] The new polygonal region is guaranteed to have at least 3 angles of measure less than 180°, at least one of which is an exterior angle of the polygon, so the polygon has at least one interior angle of measure greater than 180°. Thus, non-convex (by the points-segment definition) => at least one interior angle of measure greater than 180°; so its contrapositive is also true: all interior angles of measure less than 180° => convex (by the points-segment definition).2010-09-18
0

Below is a rather more complete version of the sketch in my previous answer. However, since I do not have access to your book, I don't know how it compares to yours in length.

Definition. Let $P_n$ denote a planar $n$-gon with $n\ge3$ an integer. Let its vertices be $V_m$, where $m$ is an integer satisfying $1\le m\le n$. We say that:

  1. $P_n$ is is cyclic provided all its vertices (and only its vertices) intersect a unique circle.

  2. $P_n$ is tangential iff each one of its sides intersects a unique circle with centre $C$ at the points $N_m$, so that $C\widehat N_mV_m=90°$.

Lemma.

  1. If two points $P$ and $Q$ are on a circle $\partial D$ centred at $C$, then the segment $PQ$ is in the region $\partial D\cup\operatorname{int}\partial D=D$, the closed disc bounded by the circle.

  2. If a segment $PQ$ intersects a circle with centre $C$ at a point $N$ such that $C\widehat NP$ is a right angle, then all points of $PQ\ne N$ lie outside $D$, namely the exterior of $\partial D$.

Proof.

  1. If $P,Q$ and $C$ are collinear, then $PQ$ is a diameter of $\partial D$, then $PQ\subset D$ since $|PC|=|CQ|$ is the radius of $\partial D$. Now suppose that the points $P,C,Q$ are non-collinear. Then we have that $\triangle PCQ$ is isosceles. Thus, the farthest distance from $C$ to $PQ$ is along $CP$ or $CQ$, radii of $\partial D$. Therefore for any point $X\in PQ$, we have $|CX|\le|CP|=|CQ|$, so that all such $X$ lie in $D$.

  2. Since $C\widehat NP=90°$, we have that $|CN|\le|CX|\,\,\forall \,\,X\in PQ$. Since $|CN|$ is the radius of $\partial D$, it follows that all points $X\ne N$ are in the exterior of $\partial D$.

Theorem. A polygon is convex whenever it is tangential.

Proof. All the sides of $P_n$ are in $\operatorname{ext}\partial D \cup \partial D$ (by the second lemma) and connected at the vertices $V_m$. These vertices are unique and contain only one internal angle of $P_n$ (since the tangent line through a point on a circle is unique, and two nonparallel lines intersect in at most one point). Now consider the simple cyclic $n$-gon $R_n$ whose vertices are $N_m$, which we call the cyclic dual of $P_n$ (that $R_n$ exists is clear; it is unique since it must have the points $N_m$ as vertices and no two nonconsecutive sides must intersect). Then each side $N_mN_{m+1}$ of $R_n$ is in $D$ (by the first lemma), so that $R_n\subset \operatorname{int}P_n\cup P_n$. Thus $P_n$ and $R_n$ intersect only at the points $N_m$. Now consider the vertex $V_m$ of $P_n$. Since $V_m$ is between $N_m$ and $N_{m+1}$, and $N_m,V_m$ and $N_{m+1}$ are non-collinear (one is outside $\partial D$ and the others on it), we have the $\triangle N_mV_mN_{m+1}$, so that $N_m\widehat V_mN_{m+1}<180°\forall m. \square $

If you agree with the definition given (and I don't see how not since any definition of tangency would have to specify that if a circle and a segment are tangent then the radius of the circle is perpendicular to the segment, no matter how disguised), then you must also agree that this proof is valid, unless of course it demonstrably is not.


Two notes on the OP:

  1. You observe that the assumption of convexity is not needed in the definition of tangential polygon; indeed, the assumption of simplicity is not needed too, for every tangential polygon must perforce be simple (I have no elementary proof of this, but a heuristic to see why this is the case is that tangency of a smooth connected curve by a polygonal path is a strong condition, whose essence is in approximating the curve as closely as possible; thus the polygon must have all the properties of the curve independent of its smoothness -- like convexity or simplicity, in this case).

  2. You remark that the corresponding theorem for cyclic polygons is simpler to prove, and give a suggestion as to how one might see this. While I agree with the observation, your attempt at a proof sketch is invalid, for one of the statements is false. Indeed, you say, 'If P has a circumscribed circle, any two nonadjacent sides of P are non-intersecting chords of the circle...' But this is false since cyclicity of P is not strong enough to guarantee simplicity, which you tacitly assume in that statement (there exists cyclic, non-simple polygons). The only thing that follows from cyclicity is convexity (and compactness), so that approximating a circle (or in general, any smooth, simple, convex, compact planar curve) from its interior is much more messy and not guaranteed to work than approximating from without.

  • 0
    @JackLee I have finally edited this answer. See above.2018-06-09
-1

Here is the sketch of a much shorter proof.

If a (simple) polygon is tangential, then it is convex (all its angles are each less than two right angles). Let the polygon be $n$-sided. Then draw radii from the centre of the circle to the $n$ points of tangency (by hypothesis). This splits the $n$-gon into $n$ quadrilaterals which are kites (that they are kites follows from the $RHS$ congruency test, after having connected each vertex of the $n$-gon to the centre of the circle). Each of these kites has a vertex of the $n$-gon as a vertex and (by a well-known result of Euclidean Geometry about tangent straight lines to circles and radii thereof) two right angles. The last angle of each kite is formed at the centre of the circle by two radii. Since the sum of angles in a quadrilateral is four right angles, it is clear that the two non-right angles in each quadrilateral must be supplementary, so that either one of them is always less than two right angles. The result follows.

  • 0
    Let us [continue this discussion in chat](https://chat.stackexchange.com/rooms/78277/discussion-between-jack-lee-and-allawonder).2018-05-31