Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://en.wikipedia.org/wiki/Steiner_inellipse below:

Steiner inellipse - Wikipedia

From Wikipedia, the free encyclopedia

Unique ellipse tangent to all 3 midpoints of a given triangle's sides

In geometry, the Steiner inellipse,^[1] midpoint inellipse, or midpoint ellipse of a triangle is the unique ellipse inscribed in the triangle and tangent to the sides at their midpoints. It is an example of an inellipse. By comparison the inscribed circle and Mandart inellipse of a triangle are other inconics that are tangent to the sides, but not at the midpoints unless the triangle is equilateral. The Steiner inellipse is attributed by Dörrie^[2] to Jakob Steiner, and a proof of its uniqueness is given by Dan Kalman.^[3]

The Steiner inellipse contrasts with the Steiner circumellipse, also called simply the Steiner ellipse, which is the unique ellipse that passes through the vertices of a given triangle and whose center is the triangle's centroid.^[4]

Definition

An ellipse that is tangent to the sides of a triangle △ABC at its midpoints M 1 , M 2 , M 3 {\displaystyle M_{1},M_{2},M_{3}} is called the Steiner inellipse of △ABC.

  Arbitrary triangle △ABC

  Steiner inellipse

  Steiner ellipse

  Major and minor axes

  Steiner inellipse

  Steiner ellipse

Properties:
For an arbitrary triangle △ABC with midpoints M 1 , M 2 , M 3 {\displaystyle M_{1},M_{2},M_{3}} of its sides the following statements are true:
a) There exists exactly one Steiner inellipse.
b) The center of the Steiner inellipse is the centroid S of △ABC.
c1) The triangle △ M 1 M 2 M 3 {\displaystyle \triangle M_{1}M_{2}M_{3}} has the same centroid S and the Steiner inellipse of △ABC is the Steiner ellipse of the triangle △ M 1 M 2 M 3 . {\displaystyle \triangle M_{1}M_{2}M_{3}.}
c2) The Steiner inellipse of a triangle is the scaled Steiner Ellipse with scaling factor 1/2 and the centroid as center. Hence both ellipses have the same eccentricity, are similar.
d) The area of the Steiner inellipse is π 3 3 {\displaystyle {\tfrac {\pi }{3{\sqrt {3}}}}} -times the area of the triangle.
e) The Steiner inellipse has the greatest area of all inellipses of the triangle. ^{[5]: p.146 [6]: Corollary 4.2}

Proof

The proofs of properties a),b),c) are based on the following properties of an affine mapping: 1) any triangle can be considered as an affine image of an equilateral triangle. 2) Midpoints of sides are mapped onto midpoints and centroids on centroids. The center of an ellipse is mapped onto the center of its image.
Hence its suffice to prove properties a),b),c) for an equilateral triangle:
a) To any equilateral triangle there exists an incircle. It touches the sides at its midpoints. There is no other (non-degenerate) conic section with the same properties, because a conic section is determined by 5 points/tangents.
b) By a simple calculation.
c) The circumcircle is mapped by a scaling, with factor 1/2 and the centroid as center, onto the incircle. The eccentricity is an invariant.
d) The ratio of areas is invariant to affine transformations. So the ratio can be calculated for the equilateral triangle.
e) See Inellipse.

Parametric representation:

• Because a Steiner inellipse of a triangle △ABC is a scaled Steiner ellipse (factor 1/2, center is centroid) one gets a parametric representation derived from the trigonometric representation of the Steiner ellipse :

x → = p → ( t ) = O S → + 1 2 S C → cos ⁡ t + 1 2 3 A B → sin ⁡ t , 0 ≤ t < 2 π   . {\displaystyle {\vec {x}}={\vec {p}}(t)={\overrightarrow {OS}}\;+\;{\color {blue}{\frac {1}{2}}}{\overrightarrow {SC}}\;\cos t\;+\;{\frac {1}{{\color {blue}2}{\sqrt {3}}}}{\overrightarrow {AB}}\;\sin t\;,\quad 0\leq t<2\pi \ .}

• The 4 vertices of the Steiner inellipse are

p → ( t 0 ) , p → ( t 0 ± π 2 ) , p → ( t 0 + π ) , {\displaystyle {\vec {p}}(t_{0}),\;{\vec {p}}(t_{0}\pm {\frac {\pi }{2}}),\;{\vec {p}}(t_{0}+\pi ),}

where t₀ is the solution of

cot ⁡ ( 2 t 0 ) = f → 1 2 − f → 2 2 2 f → 1 ⋅ f → 2 {\displaystyle \cot(2t_{0})={\tfrac {{\vec {f}}_{1}^{\,2}-{\vec {f}}_{2}^{\,2}}{2{\vec {f}}_{1}\cdot {\vec {f}}_{2}}}\quad } with f → 1 = 1 2 S C → , f → 2 = 1 2 3 A B →   . {\displaystyle \quad {\vec {f}}_{1}={\frac {1}{2}}{\vec {SC}},\quad {\vec {f}}_{2}={\frac {1}{2{\sqrt {3}}}}{\vec {AB}}\ .}

Semi-axes:

• With the abbreviations

M := 1 4 ( S C → 2 + 1 3 A B → 2 ) N := 1 4 3 | det ( S C → , A B → ) | {\displaystyle {\begin{aligned}M&:={\color {blue}{\frac {1}{4}}}\left({\vec {SC}}^{2}+{\frac {1}{3}}{\vec {AB}}^{2}\right)\\N&:={\frac {1}{{\color {blue}4}{\sqrt {3}}}}\left|\det \left({\vec {SC}},{\vec {AB}}\right)\right|\end{aligned}}}

one gets for the semi-axes a, b (where a > b):

a = 1 2 ( M + 2 N + M − 2 N ) b = 1 2 ( M + 2 N − M − 2 N )   . {\displaystyle {\begin{aligned}a&={\frac {1}{2}}\left({\sqrt {M+2N}}+{\sqrt {M-2N}}\right)\\b&={\frac {1}{2}}\left({\sqrt {M+2N}}-{\sqrt {M-2N}}\right)\ .\end{aligned}}}

• The linear eccentricity c of the Steiner inellipse is

c = a 2 − b 2 = ⋯ = M 2 − 4 N 2   . {\displaystyle c={\sqrt {a^{2}-b^{2}}}=\dotsb ={\sqrt {\sqrt {M^{2}-4N^{2}}}}\ .}

The equation of the Steiner inellipse in trilinear coordinates for a triangle with side lengths a, b, c (with these parameters having a different meaning than previously) is^[1]

a 2 x 2 + b 2 y 2 + c 2 z 2 − 2 a b x y − 2 b c y z − 2 c a z x = 0 {\displaystyle a^{2}x^{2}+b^{2}y^{2}+c^{2}z^{2}-2abxy-2bcyz-2cazx=0}

where x is an arbitrary positive constant times the distance of a point from the side of length a, and similarly for b and c with the same multiplicative constant.

The lengths of the semi-major and semi-minor axes for a triangle with sides a, b, c are^[1]

1 6 a 2 + b 2 + c 2 ± 2 Z , {\displaystyle {\frac {1}{6}}{\sqrt {a^{2}+b^{2}+c^{2}\pm 2Z}},}

where

Z = a 4 + b 4 + c 4 − a 2 b 2 − b 2 c 2 − c 2 a 2 . {\displaystyle Z={\sqrt {a^{4}+b^{4}+c^{4}-a^{2}b^{2}-b^{2}c^{2}-c^{2}a^{2}}}.}

According to Marden's theorem,^[3] if the three vertices of the triangle are the complex zeros of a cubic polynomial, then the foci of the Steiner inellipse are the zeros of the derivative of the polynomial.

The major axis of the Steiner inellipse is the line of best orthogonal fit for the vertices.^{[6]: Corollary 2.4}

Denote the centroid and the first and second Fermat points of a triangle as ⁠ G , F + , F − {\displaystyle G,F_{+},F_{-}} ⁠ respectively. The major axis of the triangle's Steiner inellipse is the inner bisector of ⁠ ∠ F + G F − . {\displaystyle \angle F_{+}GF_{-}.} ⁠ The lengths of the axes are | G F − | ± | G F + | ; {\displaystyle |GF_{-}|\pm |GF_{+}|\!;} that is, the sum and difference of the distances of the Fermat points from the centroid.^{[7]: Thm. 1}

The axes of the Steiner inellipse of a triangle are tangent to its Kiepert parabola, the unique parabola that is tangent to the sides of the triangle and has the Euler line as its directrix.^{[7]: Thm. 3}

The foci of the Steiner inellipse of a triangle are the intersections of the inellipse's major axis and the circle with center on the minor axis and going through the Fermat points.^{[7]: Thm. 6}

As with any ellipse inscribed in a triangle △ABC, letting the foci be P and Q we have^[8]

P A ¯ ⋅ Q A ¯ C A ¯ ⋅ A B ¯ + P B ¯ ⋅ Q B ¯ A B ¯ ⋅ B C ¯ + P C ¯ ⋅ Q C ¯ B C ¯ ⋅ C A ¯ = 1. {\displaystyle {\frac {{\overline {PA}}\cdot {\overline {QA}}}{{\overline {CA}}\cdot {\overline {AB}}}}+{\frac {{\overline {PB}}\cdot {\overline {QB}}}{{\overline {AB}}\cdot {\overline {BC}}}}+{\frac {{\overline {PC}}\cdot {\overline {QC}}}{{\overline {BC}}\cdot {\overline {CA}}}}=1.}

The Steiner inellipse of a triangle can be generalized to n-gons: some n-gons have an interior ellipse that is tangent to each side at the side's midpoint. Marden's theorem still applies: the foci of the Steiner inellipse are zeroes of the derivative of the polynomial whose zeroes are the vertices of the n-gon.^[9]

1. ^ ^{a b c} Weisstein, Eric W., "Steiner Inellipse", MathWorld
2. ^ Dörrie, Heinrich (1965), "Steiner's ellipse problem", 100 Great Problems of Elementary Mathematics, translated by Antin, David, Dover, p. 378–381, ISBN 978-0-486-61348-2
3. ^ ^{a b} Kalman, Dan (2008), "An elementary proof of Marden's theorem" (PDF), American Mathematical Monthly, 115 (4): 330–338, doi:10.1080/00029890.2008.11920532, JSTOR 27642475, MR 2398412, archived from the original (PDF) on 2012-08-26.
4. ^ Weisstein, Eric W., "Steiner Circumellipse", MathWorld
5. ^ Chakerian, G. D. (1979), "A distorted view of geometry", in Honsberger, Ross (ed.), Mathematical plums, The Dolciani Mathematical Expositions, vol. 4, Washington, D.C.: Mathematical Association of America, pp. 135–136, 145–146.
6. ^ ^{a b} Minda, D.; Phelps, S. (2008), "Triangles, ellipses, and cubic polynomials" (PDF), American Mathematical Monthly, 115 (8): 679–689, doi:10.1080/00029890.2008.11920581, MR 2456092.
7. ^ ^{a b c} Scimemi, Benedetto, "Simple Relations Regarding the Steiner Inellipse of a Triangle", Forum Geometricorum 10, 2010: 55–77.
8. ^ Allaire, Patricia R.; Zhou, Junmin; and Yao, Haishen, "Proving a nineteenth century ellipse identity", Mathematical Gazette 96, March 2012, 161-165.
9. ^ Parish, James L., "On the derivative of a vertex polynomial", Forum Geometricorum 6, 2006, pp. 285–288: Proposition 5.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4