Difference between revisions of "Kepler triangle"

(Sides and angles of doubled Kepler triangle)
(Sides and angles of doubled Kepler triangle)
Line 17: Line 17:
 
<cmath>AI = \phi \cdot \sqrt{\phi}, BI = \sqrt{2} AI, IK = IM = \phi^2 \cdot \sqrt{\phi}.</cmath>
 
<cmath>AI = \phi \cdot \sqrt{\phi}, BI = \sqrt{2} AI, IK = IM = \phi^2 \cdot \sqrt{\phi}.</cmath>
 
'''vladimir.shelomovskii@gmail.com, vvsss'''
 
'''vladimir.shelomovskii@gmail.com, vvsss'''
 +
==Construction of a Kepler triangle==
 +
[[File:Triangle construction.png|300px|right]]
 +
Let <math>M</math> be the midpoint of the base <math>BC, DM \perp BC, DM = BC.</math> Point <math>E \in BD, DE = BC.</math>
 +
 +
The point <math>F</math> is the intersection of a circle with diameter <math>BM</math> and a circle centered at point <math>B</math> and radius <math>BE</math>, which is located in the half-plane <math>BC</math> where there is no point <math>D</math>.
 +
 +
The bisector of the obtuse angle between lines <math>BF</math> and <math>BC</math> intersects bisector <math>BC</math> at the vertex <math>A</math> of the golden triangle.
 +
 +
The construction is based on the fact that <math>\cos 2 \angle ABC = 2 - \sqrt{5}.</math>

Revision as of 06:51, 5 August 2025

A Kepler triangle is a special right triangle with edge lengths in geometric progression. The progression can be written: $1:\sqrt {\varphi }:\varphi,$ or approximately $1:1.272:1.618.$ When an isosceles triangle is formed from two Kepler triangles, reflected across their long sides, it has the maximum possible inradius among all isosceles triangles having legs of a given size. Most of the properties described below were discovered by the famous Russian mathematician Lev Emelianov.

Sides and angles of doubled Kepler triangle

Triangle segments.png

Let’s define the doubled Kepler triangle as triangle which has the maximum possible inradius among all isosceles triangles having legs of a given size.

Let the incircle of an isosceles $\triangle ABC (AB = AC)$ touch the sides $AB$ and $BC$ at points $K$ and $M, KI = MI = r,$ \[\angle BAM = \alpha, \angle ABC = 2 \beta, \alpha + 2 \beta = 90^\circ.\] We need to find minimum of \[\frac {AB}{r} = \cot \alpha +\cot \beta.\] Let us differentiate this function with respect $\beta$ to taking into account that \[0<\alpha,2 \beta < 90^\circ, \frac {d \alpha}{d \beta} = -2: \frac {-2}{\sin^2 \alpha}+\frac {1}{\sin^2 \beta} = 0 \implies\] \[\sqrt{2} \sin \beta = \sin \alpha = \cos 2 \beta  = 1 - 2 \sin^2 \beta \implies \sin \alpha = 1 - \sin^2 \alpha.\] Therefore $\sin \alpha = \cos 2 \beta = \frac {\sqrt{5} - 1}{2} = \phi = \frac{1}{\varphi}.$

Let $AB = 1 \implies BM = BK = \phi, AM = \sqrt{\phi}, AK = \phi^2,$ \[AI = \phi \cdot \sqrt{\phi}, BI = \sqrt{2} AI, IK = IM = \phi^2 \cdot \sqrt{\phi}.\] vladimir.shelomovskii@gmail.com, vvsss

Construction of a Kepler triangle

Triangle construction.png

Let $M$ be the midpoint of the base $BC, DM \perp BC, DM = BC.$ Point $E \in BD, DE = BC.$

The point $F$ is the intersection of a circle with diameter $BM$ and a circle centered at point $B$ and radius $BE$, which is located in the half-plane $BC$ where there is no point $D$.

The bisector of the obtuse angle between lines $BF$ and $BC$ intersects bisector $BC$ at the vertex $A$ of the golden triangle.

The construction is based on the fact that $\cos 2 \angle ABC = 2 - \sqrt{5}.$