Inellipse
In triangle geometry, an inellipse is an ellipse that touches the three sides of a triangle. The simplest example is the incircle. Further important inellipses are the Steiner inellipse, which touches the triangle at the midpoints of its sides, the Mandart inellipse and Brocard inellipse (see examples section). For any triangle there exist an infinite number of inellipses.
The Steiner inellipse plays a special role: Its area is the greatest of all inellipses.
Because a non-degenerate conic section is uniquely determined by five items out of the sets of vertices and tangents, in a triangle whose three sides are given as tangents one can specify only the points of contact on two sides. The third point of contact is then uniquely determined.
Parametric representations, center, conjugate diameters
The inellipse of the triangle with vertices
- [math]\displaystyle{ O=(0,0), \; A=(a_1,a_2), \; B=(b_1,b_2) }[/math]
and points of contact
- [math]\displaystyle{ U=(u_1,u_2) ,\; V=(v_1,v_2) }[/math]
on [math]\displaystyle{ OA }[/math] and [math]\displaystyle{ OB }[/math] respectively can by described by the rational parametric representation
- [math]\displaystyle{ \left ( \frac{4u_1\xi^2+v_1ab}{4\xi^2+4\xi+ab},\frac{4u_2\xi^2+v_2ab}{4\xi^2+4\xi+ab}\right )\ , \ -\infty\lt \xi\lt \infty \ , }[/math]
where [math]\displaystyle{ a,b }[/math] are uniquely determined by the choice of the points of contact:
- [math]\displaystyle{ a=\frac{1}{s-1}, \ u_i=s a_i,\quad b=\frac{1}{t-1}, \ v_i=t b_i \; ,\ 0\lt s,t\lt 1 \; . }[/math]
The third point of contact is
- [math]\displaystyle{ W= \left ( \frac{u_1a+v_1b}{a+b+2}\; ,\; \frac{u_2a+v_2b}{a+b+2}\right ) \; . }[/math]
The center of the inellipse is
- [math]\displaystyle{ M= \frac{ab}{ab-1}\left ( \frac{u_1+v_1}{2},\frac{u_2+v_2}{2}\right ) \; . }[/math]
The vectors
- [math]\displaystyle{ \vec f_1=\frac{1}{2}\frac{\sqrt{ab}}{ab-1}\;(u_1+v_1,u_2+v_2) }[/math]
- [math]\displaystyle{ \vec f_2=\frac{1}{2}\sqrt{\frac{ab}{ab-1}}\;(u_1-v_1,u_2-v_2)\; }[/math]
are two conjugate half diameters and the inellipse has the more common trigonometric parametric representation
- [math]\displaystyle{ \vec x = \vec{OM}+\vec f_1\cos \varphi + \vec f_2\sin \varphi \; . }[/math]
The Brianchon point of the inellipse (common point [math]\displaystyle{ K }[/math] of the lines [math]\displaystyle{ \overline{AV} , \overline{BU}, \overline{OW} }[/math]) is
- [math]\displaystyle{ K: \left ( \frac{u_1a+v_1b}{a+b+1}\; ,\; \frac{u_2a+v_2b}{a+b+1}\right) \ . }[/math]
Varying [math]\displaystyle{ s,t }[/math] is an easy option to prescribe the two points of contact [math]\displaystyle{ U,V }[/math]. The given bounds for [math]\displaystyle{ s,t }[/math] guarantee that the points of contact are located on the sides of the triangle. They provide for [math]\displaystyle{ a,b }[/math] the bounds [math]\displaystyle{ -\infty\lt a,b\lt -1 }[/math].
Remark: The parameters [math]\displaystyle{ a,b }[/math] are neither the semiaxes of the inellipse nor the lengths of two sides.
Examples
Steiner inellipse
For [math]\displaystyle{ s=t=\tfrac 1 2 }[/math] the points of contact [math]\displaystyle{ U,V,W }[/math] are the midpoints of the sides and the inellipse is the Steiner inellipse (its center is the triangle's centroid).
Incircle
For [math]\displaystyle{ s=\tfrac{|OA|+|OB|-|AB|}{2|OA|},\; t=\tfrac{|OA|+|OB|-|AB|}{2|OB|} }[/math] one gets the incircle of the triangle with center
- [math]\displaystyle{ \vec{OM}=\frac{|OB|\vec{OA}+|OA|\vec{OB}}{|OA|+|OB|+|AB|}\; . }[/math]
Mandart inellipse
For [math]\displaystyle{ s=\tfrac{|OA|-|OB|+|AB|}{2|OA|},\; t=\tfrac{-|OA|+|OB|+|AB|}{2|OB|} }[/math] the inellipse is the Mandart inellipse of the triangle. It touches the sides at the points of contact of the excircles (see diagram).
Brocard inellipse
For [math]\displaystyle{ \ s=\tfrac{|OB|^2}{|OB|^2+|AB|^2}\; , \quad t=\tfrac{|OA|^2}{|OA|^2+|AB|^2}\; }[/math] one gets the Brocard inellipse. It is uniquely determined by its Brianchon point given in trilinear coordinates [math]\displaystyle{ \ K: (|OB|:|OA|:|AB|)\ }[/math].
Derivations of the statements
- New coordinates
For the proof of the statements one considers the task projectively and introduces convenient new inhomogene [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-coordinates such that the wanted conic section appears as a hyperbola and the points [math]\displaystyle{ U,V }[/math] become the points at infinity of the new coordinate axes. The points [math]\displaystyle{ A=(a_1,a_2),\; B=(b_1,b_2) }[/math] will be described in the new coordinate system by [math]\displaystyle{ A=[a,0], B=[0,b] }[/math] and the corresponding line has the equation [math]\displaystyle{ \frac \xi a + \frac \eta b =1 }[/math]. (Below it will turn out, that [math]\displaystyle{ a,b }[/math] have indeed the same meaning introduced in the statement above.) Now a hyperbola with the coordinate axes as asymptotes is sought, which touches the line [math]\displaystyle{ \overline{AB} }[/math]. This is an easy task. By a simple calculation one gets the hyperbola with the equation [math]\displaystyle{ \eta=\frac{ab}{4\xi} }[/math]. It touches the line [math]\displaystyle{ \overline{AB} }[/math] at point [math]\displaystyle{ W=[\tfrac{a}{2},\tfrac{b}{2}] }[/math].
- Coordinate transformation
The transformation of the solution into the x-y-plane will be done using homogeneous coordinates and the matrix
- [math]\displaystyle{ \begin{bmatrix} u_1 & v_1 & 0 \\ u_2 & v_2 & 0 \\ 1 & 1 & 1 \end{bmatrix}\quad }[/math].
A point [math]\displaystyle{ [x_1,x_2,x_3] }[/math] is mapped onto
- [math]\displaystyle{ \begin{bmatrix} u_1 & v_1 & 0 \\ u_2 & v_2 & 0 \\ 1 & 1 & 1 \end{bmatrix}\begin{bmatrix}x_1\\ x_2\\ x_3 \end{bmatrix}= \begin{pmatrix}u_1x_1+v_1x_2\\ u_2x_1+v_2x_2\\ x_1+x_2+x_3 \end{pmatrix} \rightarrow \left( \frac{u_1x_1+v_1x_2}{ x_1+x_2+x_3}\; , \; \frac{u_2x_1+v_2x_2}{ x_1+x_2+x_3} \right ), \quad \text{if } x_1+x_2+x_3\ne0. }[/math]
A point [math]\displaystyle{ [\xi,\eta] }[/math] of the [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-plane is represented by the column vector [math]\displaystyle{ [\xi,\eta,1]^T }[/math] (see homogeneous coordinates). A point at infinity is represented by [math]\displaystyle{ [\cdots,\cdots,0]^T }[/math].
- Coordinate transformation of essential points
- [math]\displaystyle{ U:\ [1,0,0]^T \ \rightarrow \ (u_1,u_2)\ , \quad V:\ [0,1,0]^T \ \rightarrow \ (v_1,v_2)\ , }[/math]
- [math]\displaystyle{ O: \ [0,0] \ \rightarrow \ (0,0) \ ,\quad A: \ [a,0] \rightarrow \ (a_1,a_2)\ , \quad B: \ [0,b] \rightarrow \ (b_1,b_2)\ , }[/math]
- (One should consider: [math]\displaystyle{ \ a=\tfrac{1}{s-1}, \ u_i=s a_i,\quad b=\tfrac{1}{t-1}, \ v_i=t b_i \; }[/math]; see above.)
[math]\displaystyle{ g_\infty: \xi+\eta +1=0 \ }[/math] is the equation of the line at infinity of the x-y-plane; its point at infinity is [math]\displaystyle{ [1,-1,0]^T }[/math].
- [math]\displaystyle{ [1,-1,{\color{red}0}]^T \ \rightarrow \ (u_1-v_1,u_2-v_2,{\color{red}0})^T }[/math]
Hence the point at infinity of [math]\displaystyle{ g_\infty }[/math] (in [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-plane) is mapped onto a point at infinity of the x-y-plane. That means: The two tangents of the hyperbola, which are parallel to [math]\displaystyle{ g_\infty }[/math], are parallel in the x-y-plane, too. Their points of contact are
- [math]\displaystyle{ D_i: \left[\frac{\pm\sqrt{ab}}{2}, \frac{\pm\sqrt{ab}}{2}\right] \ \rightarrow \ \frac{1}{2}\frac{\pm\sqrt{ab}}{1\pm\sqrt{ab}}\;(u_1+v_1,u_2+v_2), \; }[/math]
Because the ellipse tangents at points [math]\displaystyle{ D_1,D_2 }[/math] are parallel, the chord [math]\displaystyle{ D_1D_2 }[/math] is a diameter and its midpoint the center [math]\displaystyle{ M }[/math] of the ellipse
- [math]\displaystyle{ M:\ \frac{1}{2}\frac{ab}{ab-1}\left (u_1+v_1,u_2+v_2\right ) \; . }[/math]
One easily checks, that [math]\displaystyle{ M }[/math] has the [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-coordinates
- [math]\displaystyle{ \ M: \; \left[\frac{-ab}{2},\frac{-ab}{2}\right]\; . }[/math]
In order to determine the diameter of the ellipse, which is conjugate to [math]\displaystyle{ D_1D_2 }[/math], in the [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-plane one has to determine the common points [math]\displaystyle{ E_1,E_2 }[/math] of the hyperbola with the line through [math]\displaystyle{ M }[/math] parallel to the tangents (its equation is [math]\displaystyle{ \xi+\eta +ab=0 }[/math]). One gets [math]\displaystyle{ E_i: \left[\tfrac{-ab\pm\sqrt{ab(ab-1)}}{2},\tfrac{-ab\mp\sqrt{ab(ab-1)}}{2}\right] }[/math]. And in x-y-coordinates:
- [math]\displaystyle{ \ E_i=\frac{1}{2}\frac{ab}{ab-1}\left ( u_1+v_1,u_2+v_2\right ) \pm\frac{1}{2}\frac{\sqrt{ab(ab-1)}}{ab-1}\left (u_1-v_1,u_2-v_2\right )\; , }[/math]
From the two conjugate diameters [math]\displaystyle{ D_1D_2,E_1E_2 }[/math] there can be retrieved the two vectorial conjugate half diameters
- [math]\displaystyle{ \begin{align} \vec f_1 & =\vec{MD_1}=\frac{1}{2}\frac{\sqrt{ab}}{ab-1}\;(u_1+v_1,u_2+v_2) \\[6pt] \vec f_2 & =\vec{ME_1}=\frac{1}{2}\sqrt{\frac{ab}{ab-1}}\;(u_1-v_1,u_2-v_2)\; \end{align} }[/math]
and at least the trigonometric parametric representation of the inellipse:
- [math]\displaystyle{ \vec x = \vec{OM}+\vec f_1\cos \varphi + \vec f_2\sin \varphi \; . }[/math]
Analogously to the case of a Steiner ellipse one can determine semiaxes, eccentricity, vertices, an equation in x-y-coordinates and the area of the inellipse.
The third touching point [math]\displaystyle{ W }[/math] on [math]\displaystyle{ AB }[/math] is:
- [math]\displaystyle{ W: \left[\frac{a}{2},\frac{b}{2} \right] \ \rightarrow \ \left( \frac{u_1a+v_1b}{a+b+2}\; ,\; \frac{u_2a+v_2b}{a+b+2}\right) \; . }[/math]
The Brianchon point of the inellipse is the common point [math]\displaystyle{ K }[/math] of the three lines [math]\displaystyle{ \overline{AV} , \overline{BU}, \overline{OW} }[/math]. In the [math]\displaystyle{ \xi }[/math]-[math]\displaystyle{ \eta }[/math]-plane these lines have the equations: [math]\displaystyle{ \xi=a\; ,\; \eta=b\; , \; a\eta-b\xi=0 }[/math]. Hence point [math]\displaystyle{ K }[/math] has the coordinates:
- [math]\displaystyle{ K: \ [a,b] \ \rightarrow \ \left ( \frac{u_1a+v_1b}{a+b+1}\; ,\; \frac{u_2a+v_2b}{a+b+1}\right) \ . }[/math]
Transforming the hyperbola [math]\displaystyle{ \ \eta=\frac{ab}{4\xi} }[/math] yields the rational parametric representation of the inellipse:
- [math]\displaystyle{ \left[ \xi, \frac{ab}{4\xi} \right] \ \rightarrow \ \left( \frac{4u_1\xi^2+v_1ab}{4\xi^2+4\xi+ab},\frac{4u_2\xi^2+v_2ab}{4\xi^2+4\xi+ab}\right)\ , \ -\infty\lt \xi\lt \infty \ . }[/math]
- Incircle
For the incircle there is [math]\displaystyle{ |OU|=|OV| }[/math], which is equivalent to
- (1)[math]\displaystyle{ \; s|OA|=t|OB|\; .\ }[/math] Additionally
- (2)[math]\displaystyle{ \; (1-s)|OA|+(1-t)|OB| = |AB| }[/math]. (see diagram)
Solving these two equations for [math]\displaystyle{ s,t }[/math] one gets
- (3)[math]\displaystyle{ \; s=\frac{|OA|+|OB|-|AB|}{2|OA|},\; t=\frac{|OA|+|OB|-|AB|}{2|OB|}\; . }[/math]
In order to get the coordinates of the center one firstly calculates using (1) und (3)
- [math]\displaystyle{ 1 - \frac 1 {ab} = 1-(s-1)(t-1)=-st+s+t=\cdots=\frac{s}{2(|OB|}(|OA|+|OB|+|AB|)\; . }[/math]
Hence
- [math]\displaystyle{ \vec{OM}=\frac{|OB|}{s(|OA|+|OB|+|AB|)}\;(s\vec{OA}+t\vec{OB})=\cdots=\frac{|OB|\vec{OA}+|OA|\vec{OB}}{|OA|+|OB|+|AB|}\; . }[/math]
- Mandart inellipse
The parameters [math]\displaystyle{ s,t }[/math] for the Mandart inellipse can be retrieved from the properties of the points of contact (see de: Ankreis).
- Brocard inellipse
The Brocard inellipse of a triangle is uniquely determined by its Brianchon point given in trilinear coordinates [math]\displaystyle{ \ K: (|OB|:|OA|:|AB|)\ }[/math].[1] Changing the trilinear coordinates into the more convenient representation [math]\displaystyle{ \ K: k_1\vec{OA}+k_2\vec{OB}\ }[/math] (see trilinear coordinates) yields [math]\displaystyle{ \ k_1=\tfrac{|OB|^2}{|OB|^2+|OA|^2+|AB|^2},\; k_2=\tfrac{|OA|^2}{|OB|^2+|OA|^2+|AB|^2}\ }[/math]. On the other hand, if the parameters [math]\displaystyle{ s,t }[/math] of an inellipse are given, one calculates from the formula above for [math]\displaystyle{ K }[/math]: [math]\displaystyle{ \ k_1=\tfrac{s(t-1)}{st-1},\; k_2=\tfrac{t(s-1)}{st-1}\ }[/math]. Equalizing both expressions for [math]\displaystyle{ k_1,k_2 }[/math] and solving for [math]\displaystyle{ s,t }[/math] yields
- [math]\displaystyle{ s=\frac{|OB|^2}{|OB|^2+|AB|^2}\; , \quad t=\frac{|OA|^2}{|OA|^2+|AB|^2}\; . }[/math]
Inellipse with the greatest area
- The Steiner inellipse has the greatest area of all inellipses of a triangle.
- Proof
From Apollonios theorem on properties of conjugate semi diameters [math]\displaystyle{ \vec f_1,\vec f_2 }[/math] of an ellipse one gets:
- [math]\displaystyle{ F=\pi\left|\det(\vec f_1,\vec f_2)\right|\quad }[/math] (see article on Steiner ellipse).
For the inellipse with parameters [math]\displaystyle{ s,t }[/math] one gets
- [math]\displaystyle{ \det(\vec f_1,\vec f_2)
=\frac{1}{4}\frac{ab}{(ab-1)^{3/2}}\det(s\vec a+t \vec b,s\vec a-t \vec b) }[/math]
- [math]\displaystyle{ =\frac{1}{2}\frac{s\sqrt{s-1}\;t\sqrt{t-1}}{(1-(s-1)(t-1))^{3/2}}\det(\vec b,\vec a)\; , }[/math]
where [math]\displaystyle{ \vec a=(a_1,a_2), \; \vec b=(b_1,b_2),\;\vec u=(u_1,u_2), \vec v=(v_1,v_2),\; \vec u=s\vec a,\; \vec v=t\vec b }[/math].
In order to omit the roots, it is enough to investigate the extrema of function [math]\displaystyle{ G(s,t)=\tfrac{s^2(s-1)\;t^2(t-1)}{(1-(s-1)(t-1))^3} }[/math]:
- [math]\displaystyle{ G_s=0 \ \rightarrow \ 3s-2+2(s-1)(t-1)=0\; . }[/math]
Because [math]\displaystyle{ G(s,t)=G(t,s) }[/math] one gets from the exchange of s and t:
- [math]\displaystyle{ G_t=0\ \rightarrow \ 3t-2+2(s-1)(t-1)=0\; . }[/math]
Solving both equations for s and t yields
- [math]\displaystyle{ s=t=\frac{1}{2}\; ,\quad }[/math] which are the parameters of the Steiner inellipse.
See also
References
- ↑ Imre Juhász: Control point based representation of inellipses of triangles, Annales Mathematicae et Informaticae 40 (2012) pp. 37–46, p.44
External links
- Darij Grinberg: Über einige Sätze und Aufgaben aus der Dreiecksgeometrie
- Circumconic at MathWorld
- Inconic at MathWorld
 |  |
