# Sehnenviereck

Ein Sehnenviereck ist ein Viereck, dessen Eckpunkte auf einem Kreis liegen, dem Umkreis des Vierecks. Folglich sind alle Seiten des Sehnenvierecks Sehnen des Umkreises. Üblicherweise meint man mit Sehnenviereck ein nicht-überschlagenes Sehnenviereck; es ist notwendigerweise konvex.
Das gleichschenklige Trapez, das Rechteck und das Quadrat sind besondere Sehnenvierecke.

## Sätze

Für jedes Sehnenviereck gilt der Sehnensatz:
* Die Produkte je zweier gegenüberliegender Diagonalenabschnitte sind gleich groß. Das heißt, wenn $P$ der Schnittpunkt der beiden Diagonalen ${\overline {AC}}$ und ${\overline {BD}}$ ist, so gilt ${\overline {AP}}\cdot {\overline {CP}}={\overline {BP}}\cdot {\overline {DP}}$.
Die folgenden Sätze gelten nur für nicht-überschlagene Sehnenvierecke ABCD:
* Gegenüberliegende Winkel ergänzen sich zu 180°, also $\alpha +\gamma =\beta +\delta =180^{\circ }$.
* Satz von Ptolemäus: Die Summe der Produkte gegenüberliegender Seiten des Sehnenvierecks ist gleich dem Produkt der Diagonalen: ${\overline {AB}}\cdot {\overline {CD}}+{\overline {BC}}\cdot {\overline {DA}}={\overline {AC}}\cdot {\overline {BD}}$.

## Eigenschaften
### Winkelsummen

Im Sehnenviereck beträgt die Winkelsumme der gegenüberliegenden Winkel 180° (Abbildung 1).
    $\alpha +\gamma =180^{\circ }$
    $\beta +\delta =180^{\circ }$
Der Beweis ergibt sich unmittelbar aus dem Kreiswinkelsatz, da zwei gegenüberliegende Winkel des Sehnenvierecks Umfangswinkel über zwei komplementären Kreisbögen sind, deren Mittelpunktswinkel sich zu 360° ergänzen. Da Umfangswinkel halb so groß sind wie Mittelpunktswinkel über dem gleichen Bogen, müssen sich die Umfangswinkel zu 360°/2 = 180° ergänzen.
Ein anderer Beweis findet sich im Beweisarchiv.
Die Umkehrung dieser Aussage stimmt auch, d. h. ist in einem Viereck die Summe gegenüberliegender Winkel 180°, dann ist es ein Sehnenviereck.

### Orthogonale Linien

Eine weitere Eigenschaft im Sehnenviereck beschreibt der nachfolgende Satz (Abbildung 2).
Ist $ABCD$ ein Sehnenviereck und sind $E$, $F$, $G$ und $H$ die Mittelpunkte der Kreisbögen über den Seiten des Sehnenvierecks, so sind die Verbindungslinien $EG$ und $FH$ orthogonal zueinander.
Der Beweis verwendet ebenfalls den Kreiswinkelsatz. Die Umkreisbögen $b_{1}$ zwischen $H$ und $E$ sowie $b_{2}$ zwischen $F$ und $G$ umfassen zusammen einen Winkel von 180°, weil sie jeweils die Hälfte der Bögen über den Vierecksseiten $AB$, $BC$, $CD$ und $CA$ enthalten.
Nach dem Kreiswinkelsatz sind die Umfangswinkel $\alpha$ und $\beta$ jeweils halb so groß wie die zugehörigen Mittelpunktswinkel der Kreisbögen $b_{1}$ und $b_{2}$.
Folglich gilt $\alpha +\beta =90^{\circ }$, also sind wegen der Innenwinkelsumme 180° im Dreieck $GHK$ auch die Strecken $EG$ und $FH$ orthogonal zueinander.

### Einbeschriebene Raute

Gegeben sei ein Sehnenviereck $ABCD$, bei dem sich die Verlängerungen von zwei gegenüberliegenden Seiten jeweils in $P$ bzw. $Q$ schneiden.
Dann ist das Viereck $EFGH$, dessen Eckpunkte die Schnittpunkte der Winkelhalbierenden durch $P$ und $Q$ mit den Seiten von $ABCD$ sind, stets eine Raute (Abbildung 3).
Beweis:
Aus den Eigenschaften des Sehnenvierecks folgt, dass die Winkel $\angle QBF$ und $\angle HDG$ gleich groß sind. Die Dreiecke $BQF$ und $HQD$ sind ähnlich zueinander, da sie in den obigen Winkeln und dem halben Winkel $\angle CQB$ übereinstimmen. Daraus folgt, dass die Winkel $\angle BFQ$ und $\angle FHD$ gleich groß sind. Da $\angle BFQ$ und $\angle CFH$ Scheitelwinkel sind, haben auch sie dieselbe Weite. Damit sind wegen der Ähnlichkeit von $BQF$ und $HQD$ die Winkel $\angle PFH$ und $\angle FHP$ ebenfalls gleich groß. Also ist $HFP$ ein gleichschenkliges Dreieck und somit die Winkelhalbierende $w_{1}$ zugleich die Mittelsenkrechte von $HF$. Da $E$ und $G$ auf dieser Mittelsenkrechten liegen, haben sie denselben Abstand von $F$ und $H$.
In analoger Vorgehensweise lässt sich schließen, dass $F$ und $H$ denselben Abstand von $E$ und $G$ haben.
Damit ist gezeigt, dass das Viereck $EFGH$ eine Raute ist.

### Entstehung aus Winkelhalbierenden

Die Halbierenden der Innenwinkel eines beliebigen Vierecks umschließen ein Sehnenviereck (Abbildung 4).
Beweis:
Aus den Eigenschaften der Winkelsumme und der Scheitelwinkel folgt
    $\epsilon =180^{\circ }-{\frac {\alpha }{2}}-{\frac {\delta }{2}}$
und
    $\zeta =180^{\circ }-{\frac {\beta }{2}}-{\frac {\gamma }{2}}$.
Aus der Summe
    $\epsilon +\zeta =360^{\circ }-{\frac {1}{2}}\left(\alpha +\beta +\gamma +\delta \right)=180^{\circ }$
folgt dann aufgrund der Eigenschaft gegenüberliegender Winkel im Sehnenviereck die Behauptung.
Hinweis: Mit analoger Beweisführung gilt die obige Aussage auch für die Außenwinkel.

### Satz von Thébault für Sehnenvierecke

Der Satz von Thébault gilt für beliebige Sehnenvierecke: Die Lote der Seitenmitten auf die Gegenseiten (grün in Abb. 5) schneiden sich in einem Punkt $E$. Dieser ist der Spiegelpunkt des Umkreismittelpunkts $U$ am Schwerpunkt $S$ der vier Ecken (rot.)
Wenn die Diagonalen zueinander orthogonal sind, ist nach dem Satz von Brahmagupta $E$ ihr Schnittpunkt. Daraus folgt, dass der Abstand des Mittelpunkts einer Seite zu $E$ die Hälfte der Länge der Gegenseite ist. Wenn $a,b,c,d$ die Seitenlängen sind, wobei $a$ die Gegenseite von $c$ und $b$ die von $d$ ist, und $r$ der Radius des Umkreises ist, dann gilt:
    $a^{2}+c^{2}=b^{2}+d^{2}=4r^{2}$.

## Formeln

Mathematische Formeln zum Sehnenviereck :
| Flächeninhalt | $F={\sqrt {(s-a)\cdot (s-b)\cdot (s-c)\cdot (s-d)}}$ mit $s={\frac {a+b+c+d}{2}}$ |
| Flächeninhalt | $F={\frac {e\cdot (a\cdot b+c\cdot d)}{4\cdot R}}={\frac {f\cdot (a\cdot d+b\cdot c)}{4\cdot R}}$ |
| Länge der Diagonalen | $f=|AC|={\sqrt {\frac {(a\cdot c+b\cdot d)\cdot (a\cdot d+b\cdot c)}{a\cdot b+c\cdot d}}}$ |
| Länge der Diagonalen | $e=|BD|={\sqrt {\frac {(a\cdot b+c\cdot d)\cdot (a\cdot c+b\cdot d)}{a\cdot d+b\cdot c}}}$ |
| Umkreisradius | $R={\frac {1}{4\cdot F}}\cdot {\sqrt {(a\cdot b+c\cdot d)\cdot (a\cdot c+b\cdot d)\cdot (a\cdot d+b\cdot c)}}$ |
| Innenwinkel | $\alpha +\gamma =\beta +\delta =180^{\circ }$ |
Die zuerst genannte Formel für den Flächeninhalt ist eine Verallgemeinerung des Satz des Heron für Dreiecke und wird auch als Satz von Brahmagupta oder Formel von Brahmagupta bezeichnet. Hierbei fasst man ein Dreieck als ein ausgeartetes Sehnenviereck auf, dessen vierte Seite die Länge 0 besitzt, d. h. zwei seiner Eckpunkte liegen aufeinander. Die Formel von Brahmagupta kann zur Formel von Bretschneider verallgemeinert werden, diese fügt Brahmaguptas Formel einen Korrekturterm, der im Falle eines Sehnenvierecks 0 ist, hinzu und gilt dann für beliebige Vierecke.
Ein Viereck mit festen, geordneten Seitenlängen hat genau dann den größtmöglichen Flächeninhalt, wenn es ein Sehnenviereck ist. Ebenso hat ein Vieleck genau dann den größten Flächeninhalt, wenn es ein Sehnenvieleck ist.

### Weitere Formeln

Nach dem Satz des Pythagoras gilt für die Flächeninhalte der Dreiecke ABM, BCM, CDM und DAM
    $F(ABM)={\frac {1}{2}}\cdot a\cdot {\sqrt {R^{2}-\left({\frac {a}{2}}\right)^{2}}}={\frac {a}{4}}\cdot {\sqrt {4\cdot R^{2}-a^{2}}}$ und entsprechend
    $F(BCM)={\frac {b}{4}}\cdot {\sqrt {4\cdot R^{2}-b^{2}}}$
    $F(CDM)={\frac {c}{4}}\cdot {\sqrt {4\cdot R^{2}-c^{2}}}$
    $F(DAM)={\frac {d}{4}}\cdot {\sqrt {4\cdot R^{2}-d^{2}}}$
Der Flächeninhalt des Sehnenvierecks ABCD ist die Summe dieser 4 Flächeninhalte, also gilt
    ${\begin{aligned}F&=F(ABM)+F(BCM)+F(CDM)+F(DAM)\\&={\frac {a}{4}}\cdot {\sqrt {4\cdot R^{2}-a^{2}}}+{\frac {b}{4}}\cdot {\sqrt {4\cdot R^{2}-b^{2}}}+{\frac {c}{4}}\cdot {\sqrt {4\cdot R^{2}-c^{2}}}+{\frac {d}{4}}\cdot {\sqrt {4\cdot R^{2}-d^{2}}}\\&={\frac {1}{4}}\cdot \left(a\cdot {\sqrt {4\cdot R^{2}-a^{2}}}+b\cdot {\sqrt {4\cdot R^{2}-b^{2}}}+c\cdot {\sqrt {4\cdot R^{2}-c^{2}}}+d\cdot {\sqrt {4\cdot R^{2}-d^{2}}}\right)\end{aligned}}$
Bezeichnet man die Mittelpunktswinkel, die den Seiten $a$, $b$, $c$, $d$ gegenüber liegen, mit $\alpha _{m}$, $\beta _{m}$, $\gamma _{m}$, $\delta _{m}$, dann gilt nach der Definition von Sinus und Kosinus
    $\sin \left({\frac {\alpha _{m}}{2}}\right)={\frac {a}{2\cdot R}}$ und $\cos \left({\frac {\alpha _{m}}{2}}\right)={\frac {\sqrt {4\cdot R^{2}-a^{2}}}{2\cdot R}}$, also $\sin \left({\frac {\alpha _{m}}{2}}\right)\cdot \cos \left({\frac {\alpha _{m}}{2}}\right)={\frac {a}{2\cdot R}}\cdot {\frac {\sqrt {4\cdot R^{2}-a^{2}}}{2\cdot R}}={\frac {a\cdot {\sqrt {4\cdot R^{2}-a^{2}}}}{4\cdot R^{2}}}$. Aus der Formel für die Doppelwinkelfunktionen folgt
    $a\cdot {\sqrt {4\cdot R^{2}-a^{2}}}=4\cdot R^{2}\cdot \sin \left({\frac {\alpha _{m}}{2}}\right)\cdot \cos \left({\frac {\alpha _{m}}{2}}\right)=2\cdot R^{2}\cdot \sin(\alpha _{m})$ und entsprechend
    $b\cdot {\sqrt {4\cdot R^{2}-b^{2}}}=2\cdot R^{2}\cdot \sin(\beta _{m})$
    $c\cdot {\sqrt {4\cdot R^{2}-c^{2}}}=2\cdot R^{2}\cdot \sin(\gamma _{m})$
    $d\cdot {\sqrt {4\cdot R^{2}-d^{2}}}=2\cdot R^{2}\cdot \sin(\delta _{m})$
Einsetzen in die Formel für den Flächeninhalt ergibt
    ${\begin{aligned}F&={\frac {1}{4}}\cdot \left(2\cdot R^{2}\cdot \sin(\alpha _{m})+2\cdot R^{2}\cdot \sin(\beta _{m})+2\cdot R^{2}\cdot \sin(\gamma _{m})+2\cdot R^{2}\cdot \sin(\delta _{m})\right)\\&={\frac {R^{2}}{2}}\cdot \left(\sin(\alpha _{m})+\sin(\beta _{m})+\sin(\gamma _{m})+\sin(\delta _{m})\right)\end{aligned}}$

## Gleichungen

Für die Innenwinkel eines Sehnenvierecks gelten folgende Gleichungen:
    $\sin(\alpha )={\frac {2\cdot {\sqrt {(s-a)\cdot (s-b)\cdot (s-c)\cdot (s-d)}}}{a\cdot d+b\cdot c}}$
    $\cos(\alpha )={\frac {a^{2}+d^{2}-b^{2}-c^{2}}{2\cdot (a\cdot d+b\cdot c)}}$
    $\tan \left({\frac {\alpha }{2}}\right)={\sqrt {\frac {(s-a)\cdot (s-d)}{(s-b)\cdot (s-c)}}}$
Für den Schnittwinkel der Diagonalen gilt:
    $\tan \left({\frac {\theta }{2}}\right)={\sqrt {\frac {(s-b)\cdot (s-d)}{(s-a)\cdot (s-c)}}}$
Für den Schnittwinkel der Seiten a und c gilt:
    $\cos \left({\frac {\varphi }{2}}\right)={\sqrt {\frac {(s-b)\cdot (s-d)\cdot (b+d)^{2}}{(a\cdot b+c\cdot d)\cdot (a\cdot d+b\cdot c)}}}$

## Sehnentangentenviereck
### Spezielle Eigenschaften

Ist ein Sehnenviereck auch zugleich ein Tangentenviereck, so wird es Sehnentangentenviereck genannt. Es besitzt sowohl einen Inkreis als auch einen Umkreis. Da die Konstruktion eines Sehnentangentenvierecks aufwändiger ist als die eines reinen Sehnen-, bzw. Tangentenvierecks, liefert der nachfolgende Satz ein Kriterium, welches die Konstruktion erleichtert:
Ein Tangentenviereck ist genau dann ein Sehnentangentenviereck, wenn die Verbindungsstrecken gegenüberliegender Berührpunkte des Inkreises senkrecht aufeinander stehen.
Beweis:
Zu zeigen ist, dass das Tangentenviereck $ABCD$ genau dann zugleich ein Sehnenviereck ist, wenn $\phi =90^{\circ }$ gilt.
Anders ausgedrückt ist somit zu zeigen:
    $\beta +\delta =180^{\circ }\Leftrightarrow \phi =90^{\circ }$
Da die beiden Dreiecke $EGM_{1}$ und $FHM_{1}$ gleichschenklig sind, haben die Winkel $\angle M_{1}GE$ und $\angle GEM_{1}$ jeweils die Weite $\alpha$ und die Winkel $\angle HFM_{1}$ und $\angle M_{1}HF$ jeweils die Weite $\gamma$.
Das Viereck $SECF$ hat die Innenwinkelsumme
    $(90^{\circ }-\alpha )+\beta +(90^{\circ }+\gamma )+\phi =360^{\circ }\Leftrightarrow \beta =\alpha -\gamma -\phi +180^{\circ }$.
Das Viereck $AHSG$ hat die Innenwinkelsumme
    $\delta +(90^{\circ }-\gamma )+\phi +(90^{\circ }+\alpha )=360^{\circ }\Leftrightarrow \delta =\gamma -\phi -\alpha +180^{\circ }$.
Nach Addition dieser beiden Gleichungen erhält man:
    $\beta +\delta =360^{\circ }-2\phi$
Also ist $\beta +\delta =180^{\circ }$ genau dann, wenn $\phi =90^{\circ }$, was zu zeigen war.

### Vereinfachte Flächeninhaltsberechnung

Aus der Flächeninhaltsformel $F={\sqrt {(s-a)\cdot (s-b)\cdot (s-c)\cdot (s-d)}}$ für Sehnenvierecke und der Halbumfangsformel $s=a+c=b+d$ für Tangentenvierecke nach dem Satz von Pitot folgt speziell für Sehnentangentenvierecke die vereinfachte Flächeninhaltsformel
    $F={\sqrt {a\cdot b\cdot c\cdot d}}$.