Démonstration de deux formules de Steiner. (Q2582971)

Einem Dreieck \(ABC\) sei eine Ellipse einbeschrieben. Sind \(x'\), \(y'\), \(z'\) die Abstände ihres Mittelpunktes \(O\) von den Seiten des Dreiecks \(A'B'C'\) der Seitenmitten von \(ABC\), ist \(r\) der Umkreishalbmesser von \(ABC\) und \(E_i\) der Inhalt der Ellipse, so ist \(E_i^2 = 4\pi^2rx'y'z'\). Ist \(E_c\) der Inhalt der dem Dreieck \(ABC\) umbeschriebenen Ellipse mit demselben Mittelpunkt \(O\), und sind \(x\), \(y\), \(z\) die Abstände des Punktes \(O\) von den Seiten von \(ABC\), so ist \(E_c^2 = \pi^2r\dfrac{x^2y^2z^2}{x'y'z'}\). Sind \(T\) der Inhalt des Dreiecks \(ABC\), \(t\), \(t'\), \(t''\) die doppelten Inhalte der Dreiecke \(OBC\), \(OCA\), \(OAB\), so ist \[ E_i^2=\dfrac{\pi^2(T-t)(T-t')(T-t'')}{T} \quad \text{ und } \quad E_c^2=\dfrac{\pi^2t^2t^{\prime2}t^{\prime\prime2}}{4T(T-t)(T-t')(T-t'')}, \] und diese Formeln sind affininvariant. Es genügt daher, sie für den Inkreis und den Umkreis von \(ABC\) zu beweisen, was elementar ist. -- \textit{Jacob Steiner} gibt die beiden ursprünglichen Formeln ohne Beweis (Werke II (1882), 329).