# Höhenschnittpunkt

Der Höhenschnittpunkt (auch: Orthozentrum) eines Dreiecks ist der Schnittpunkt seiner drei Höhen, d. h. der Lote zu den Dreiecksseiten durch die gegenüberliegenden Ecken. Der Höhenschnittpunkt ist einer der vier klassischen ausgezeichneten Punkte des Dreiecks.
In der Skizze sind die Höhen mit [AH$_a$], [BH$_b$] und [CH$_c$] bezeichnet. Ist das gegebene Dreieck ABC spitzwinklig, so befindet sich der Höhenschnittpunkt H innerhalb des Dreiecks. Hat das Dreieck dagegen einen stumpfen Winkel (also einen Winkel über 90°), so liegt H außerhalb. Im rechtwinkligen Fall schließlich stimmt H mit dem Scheitel des rechten Winkels überein.

## Beweis

Zum Beweis, dass sich alle drei Höhen des Dreiecks $ABC$ in einem Punkt schneiden, zeichnet man die Parallelen zu den Dreiecksseiten durch die gegenüberliegenden Ecken, sodass ein größeres Dreieck $A'B'C'$ entsteht. Je zwei der vier Teildreiecke des neuen Dreiecks bilden ein Parallelogramm. In einem Parallelogramm sind gegenüberliegende Seiten gleich lang. Daher sind die Seiten des neuen Dreiecks doppelt so lang wie die entsprechenden Seiten des ursprünglichen Dreiecks. Die Höhen des ursprünglichen Dreiecks stimmen daher mit den Mittelsenkrechten (Streckensymmetralen) des neuen Dreiecks überein. Da sich die Mittelsenkrechten eines Dreiecks in einem Punkt schneiden (→ siehe Umkreis), muss dies auch für die Höhen des Ausgangsdreiecks gelten.
Umgekehrt kann man dem Dreieck $A'B'C'$ das Dreieck $ABC$ als Dreieck seiner Mittelparallelen einbeschreiben. Damit fällt der Umkreismittelpunkt des ursprünglichen Dreiecks mit dem Höhenschnittpunkt des einbeschriebenen Dreiecks zusammen.

### Verallgemeinerung in der synthetischen Geometrie

Die im Beweis mitbewiesene Äquivalenz des Höhenschnittpunktsatzes zum Mittellotensatz, lässt sich in der synthetischen Geometrie auf affine Translationsebenen mit einer Orthogonalitätsrelation verallgemeinern, falls jede Strecke der Ebene eine Mitte hat, d. h. falls die Ebene das affine Fano-Axiom erfüllt. Dann kann aus der Existenz dieser Schnittpunkte für beliebige Dreiecke geschlossen werden, dass die Translationsebene eine pappussche Ebene ist. Insofern wird der Höhenschnittpunktsatz in der synthetischen affinen Geometrie als Axiom behandelt.

## Eigenschaften

* Das Dreieck aus den Fußpunkten H$_a$, H$_b$ und H$_c$ der Höhen bezeichnet man als das Höhenfußpunktdreieck des Dreiecks ABC. Ist das Dreieck ABC spitzwinklig, dann ist der Höhenschnittpunkt H des Dreiecks ABC der Inkreismittelpunkt des Höhenfußpunktdreiecks; ist das Dreieck ABC stumpfwinklig, dann ist der Höhenschnittpunkt H des Dreiecks ABC ein Ankreismittelpunkt des Höhenfußpunktdreiecks.
* Die Produkte der Höhenabschnitte sind gleich:
    ${\overline {AH}}\cdot {\overline {HH_{a}}}={\overline {BH}}\cdot {\overline {HH_{b}}}={\overline {CH}}\cdot {\overline {HH_{c}}}$.
* Der Höhenschnittpunkt liegt – wie der Schwerpunkt und der Umkreismittelpunkt – auf der eulerschen Geraden.
* Die Fußpunkte der Höhen und die Mittelpunkte der „oberen Höhenabschnitte“ (jeweils zwischen dem Höhenschnittpunkt und einer Ecke) liegen auf dem Feuerbach-Kreis.
* Spiegelt man den Höhenschnittpunkt an den drei Seiten des Dreiecks, so liegen die Bildpunkte auf dem Umkreis.

## Koordinaten

Die trilinearen Koordinaten des Höhenschnittpunkts ($X_{4}$) sind
    $\sec \alpha \,:\,\sec \beta \,:\,\sec \gamma$.
Die baryzentrischen Koordinaten sind (gleichwertig)
    ${\frac {1}{b^{2}+c^{2}-a^{2}}}:{\frac {1}{c^{2}+a^{2}-b^{2}}}:{\frac {1}{a^{2}+b^{2}-c^{2}}}$ oder
    $\tan \alpha \,:\,\tan \beta \,:\,\tan \gamma$.
Dabei sind $a,b,c$ die Seitenlängen des Dreiecks und $\alpha ,\beta ,\gamma$ die Größen der Innenwinkel.

## Orthozentrische Quadrupel

Gegeben seien ein Dreieck $ABC$ und sein Höhenschnittpunkt $H$. Dann gelten die folgenden Aussagen:
* Der Höhenschnittpunkt des von drei der vier Punkte $A$, $B$, $C$ und $H$ gebildeten Dreiecks ist jeweils der vierte Punkt.
* Die von drei der vier Punkte $A$, $B$, $C$ und $H$ gebildeten Dreiecke haben kongruente Umkreise.
Die vier Punkte $A$, $B$, $C$ und $H$ werden auch als orthozentrisches Quadrupel bezeichnet.
* Figur 1
* Figur 2
* Figur 3
* Figur 4
Beweis:
    Die erste Aussage resultiert unmittelbar aus den Figuren 1 bis 4.
    Der Beweis der zweiten Aussage basiert auf Figur 5. Ohne Beschränkung der Allgemeinheit wird die Kongruenz der Umkreise für die beiden Dreiecke $ABC$ und $ABH$ gezeigt.
    Im Dreieck $ABE$ ergänzen sich der rot markierte Winkel $\angle HBF$ und der Winkel $\angle FAE$ zu 90°. Ebenso ergänzen sich im Dreieck $CAF$ der rot markierte Winkel $\angle ECH$ und der Winkel $\angle FAE$ zu 90°. Hieraus folgt, dass die beiden rot markierten Winkel gleich groß sind.
    Der Punkt $P$ ist der zweite Schnittpunkt des Umkreises des Dreiecks $ABC$ mit der verlängerten Dreieckshöhe durch $C$. Der rot markierte Winkel $\angle ECH$ und der grün markierte Winkel $\angle FBP$ sind als Umfangswinkel am Kreisbogen über $AP$ gleich groß. Damit sind auch der rot markierte Winkel $\angle HBF$ und der grün markierte Winkel $\angle FBP$ gleich groß. Folglich sind nach dem Kongruenzsatz WSW dann auch die rechtwinkligen Dreiecke $BHF$ und $PBF$ kongruent. Somit sind nach dem Kongruenzsatz SWS auch die Dreiecke $ABH$ und $BAP$ kongruent, also sind auch ihre Umkreise kongruent.
    Da demnach der Umkreis des Dreiecks $BAP$ auch der des Dreiecks $ABC$ ist und die Umkreise der Dreiecke $ABH$ und $BAP$ kongruent sind, haben auch die Dreiecke $ABC$ und $ABH$ kongruente Umkreise. Damit ist die zweite Aussage bewiesen.
Spezialfall der ersten Aussage:
* Sind drei der vier Punkte $A$, $B$, $C$ und $H$ Eckpunkte eines rechtwinkligen Dreiecks, so fällt der jeweils vierte Punkt mit einem der drei anderen zusammen.

## Geschichtliches

In den Elementen des Euklid wird der Höhenschnittpunkt nicht erwähnt. Er findet sich aber im Buch der Lemmata (Liber assumptorum), einer Sammlung geometrischer Sätze, die dem griechischen Mathematiker Archimedes zugeschrieben wird. Auch in den Collectiones (VII, 62) des Pappos wird der Höhenschnittpunkt als bekannt vorausgesetzt. Im 11. Jahrhundert wurde der Satz von Ali ibn Ahmad al-Nasawi in seinem Kommentar zum Buch der Lemmata formuliert und bewiesen. Al-Nasawi schrieb ihn Abu Sahl al-Quhi (10. Jahrhundert) zu.
Dieser Beweis in arabischer Sprache wurde im frühen 17. Jahrhundert für lateinische Ausgaben des Buchs der Lemmata übersetzt, erreichte aber in Europa keinen hohen Bekanntheitsgrad. Daher wurde der Satz vom 17. bis zum 19. Jahrhundert mehrere Male neu bewiesen. Samuel Marolois bewies ihn in seiner Geometrie (1619), auch Isaac Newton in seiner unvollendeten Schrift Geometry of Curved Lines. 1749 folgte ein Beweis von William Chapple.
Der oben dargestellte Beweis, der den Schnitt der Höhen auf den Schnitt der Mittelsenkrechten zurückführt, wurde 1804 von François-Joseph Servois und – unabhängig davon – 1810 von Carl Friedrich Gauß gefunden und 1873 neu herausgegeben.