Maximum Perimeter Property of the Incircle
Given point $P,\,$ points $A,\,$ $B,\,$ $C\,$ are at fixed distances $AP,\,$ $BP,\,$ and $CP\,$ from $P.\,$ Among all triangles $ABC,\,$ the one for which $P\,$ is the incenter, has the maximum perimeter.
The claim amounts to the assertion that, for the optimal $\Delta ABC,\,$ $P\,$ lies on the bisectors of all three angles of the triangle. The applet below illustrates the fact that no other triangle may possibly has the maximum perimeter.
In the applet, point $P\,$ always moves freely. Points $A,\,$ $B,\,$ $C\,$ move on circles centered at $P.\,$
When one of the points $A,\,$ $B,\,$ or $C\,$ is being dragged, the applet displays the circle to which the point is constrained. Assume $A\,$ is being dragged. In this case, $BC\,$ is constant so that the change in the magnitude of the perimeter $AB + BC + CA\,$ is reflected in the change of the sum $f(A) = AB + CA.\,$ This sum is constant on the ellipses with the foci at $B\,$ and $C.\,$ Let $A\,$ move on a circle $C(P),\,$ with center $P.\,$ Function $f(A)\,$ cannot have a (local) maximum wherever $C(P)\,$ intersects the ellipses, but only when it is tangent to one of them. In principle, there are two such ellipses. At the point of tangency with one of them $f(A)\,$ attains a global maximum.
At the points of tangency, $C(P)\,$ shares the tangent with the corresponding ellipse. But ellipse is known to possess the mirror property: the lines joining the foci to a point on the ellipse form equal angles with the tangent, meaning, in particular, that the perpendicular to the tangent at that point serves as the bisector of angle $BAC.\,$ But the perpendicular to a tangent on a point of a circle is a radius of the circle, so that, for such point $A\,$ where $C(P)\,$ is tangent to on of the ellipses, $AP\,$ is the bisector of angle $BAC.\,$ When this happens, the applet displays the ellipse and the common tangent.
The function $f(A, B, C) = AB + BC + CA\,$ is a continuous function of its arguments. The Cartesian product of three circles with radii $AP,\,$ $BP,\,$ $CP\,$ centered at $P\,$ is a compact set so that the function does attain its maximum. For the corresponding triangle $ABC,\,$ $AP,\,$ $BP,\,$ and $CP\,$ must be angle bisectors of angles $BAC,\,$ $ABC,\,$ $ACB,\,$ respectively, implying that $P\,$ is the incenter of that triangle.
- What Is Ellipse?
- Analog device simulation for drawing ellipses
- Angle Bisectors in Ellipse
- Angle Bisectors in Ellipse II
- Between Major and Minor Circles
- Brianchon in Ellipse
- Butterflies in Ellipse
- Concyclic Points of Two Ellipses with Orthogonal Axes
- Conic in Hexagon
- Conjugate Diameters in Ellipse
- Dynamic construction of ellipse and other curves
- Ellipse Between Two Circles
- Ellipse in Arbelos
- Ellipse Touching Sides of Triangle at Midpoints
- Euclidean Construction of Center of Ellipse
- Euclidean Construction of Tangent to Ellipse
- Focal Definition of Ellipse
- Focus and Directrix of Ellipse
- From Foci to a Tangent in Ellipse
- Gergonne in Ellipse
- Pascal in Ellipse
- La Hire's Theorem in Ellipse
- Maximum Perimeter Property of the Incircle
- Optical Property of Ellipse
- Parallel Chords in Ellipse
- Poncelet Porism in Ellipses
- Reflections in Ellipse
- Three Squares and Two Ellipses
- Three Tangents, Three Chords in Ellipse
- Van Schooten's Locus Problem
- Two Circles, Ellipse, and Parallel Lines
Conic Sections > Ellipse
Copyright © 1996-2018 Alexander Bogomolny