# Mollweidesche Formeln

Die mollweideschen Formeln, benannt nach dem deutschen Mathematiker und Astronomen Carl Brandan Mollweide, sind trigonometrische Formeln, die für beliebige Dreiecke gelten.

## Formeln

    $(b+c)\cdot \sin \left({\frac {\alpha }{2}}\right)=a\cdot \cos \left({\frac {\beta -\gamma }{2}}\right)$
    $(b-c)\cdot \cos \left({\frac {\alpha }{2}}\right)=a\cdot \sin \left({\frac {\beta -\gamma }{2}}\right)$
    $(c+a)\cdot \sin \left({\frac {\beta }{2}}\right)=b\cdot \cos \left({\frac {\gamma -\alpha }{2}}\right)$
    $(c-a)\cdot \cos \left({\frac {\beta }{2}}\right)=b\cdot \sin \left({\frac {\gamma -\alpha }{2}}\right)$
    $(a+b)\cdot \sin \left({\frac {\gamma }{2}}\right)=c\cdot \cos \left({\frac {\alpha -\beta }{2}}\right)$
    $(a-b)\cdot \cos \left({\frac {\gamma }{2}}\right)=c\cdot \sin \left({\frac {\alpha -\beta }{2}}\right)$

## Herleitungen
### Algebraisch anhand trigonometrischer Identitäten

Sinussatz:
    ${b \over a}={\sin(\beta ) \over \sin(\alpha )}$ (1)
    ${c \over a}={\sin(\gamma ) \over \sin(\alpha )}$ (2)
Sinusidentitäten:
    $\sin(\beta )+\sin(\gamma )=2\cdot \sin \left({\beta +\gamma \over 2}\right)\cdot \cos \left({\beta -\gamma \over 2}\right)$ (3)
    $\sin(\beta )-\sin(\gamma )=2\cdot \cos \left({\beta +\gamma \over 2}\right)\cdot \sin \left({\beta -\gamma \over 2}\right)$ (4)
Sinus-Additionstheorem für Doppelwinkel:
    $\sin(\alpha )=\sin \left(2\cdot {\alpha \over 2}\right)=2\cdot \sin \left({\alpha \over 2}\right)\cdot \cos \left({\alpha \over 2}\right)$ (5)
Winkelsumme im Dreieck und Übergang zum Komplementärwinkel:
    $\sin \left({\beta +\gamma \over 2}\right)=\sin \left({180^{\circ }-\alpha \over 2}\right)=\sin \left(90^{\circ }-{\alpha \over 2}\right)=\cos \left({\alpha \over 2}\right)$ (6)
    $\cos \left({\beta +\gamma \over 2}\right)=\cos \left({180^{\circ }-\alpha \over 2}\right)=\cos \left(90^{\circ }-{\alpha \over 2}\right)=\sin \left({\alpha \over 2}\right)$ (7)
Addition von (1) und (2), Anwendung von (3) und (5), Kürzen unter Verwendung von (6):
    ${b+c \over a}={\sin(\beta )+\sin(\gamma ) \over \sin(\alpha )}={\frac {2\cdot \sin \left({\beta +\gamma \over 2}\right)\cdot \cos \left({\beta -\gamma \over 2}\right)}{2\cdot \sin({\alpha \over 2})\cdot \cos({\alpha \over 2})}}={\frac {\cos \left({\beta -\gamma \over 2}\right)}{\sin({\alpha \over 2})}}$
Subtraktion von (1) - (2), Anwendung von (4) und (5), Kürzen unter Verwendung von (7):
    ${b-c \over a}={\sin(\beta )-\sin(\gamma ) \over \sin(\alpha )}={\frac {2\cdot \cos \left({\beta +\gamma \over 2}\right)\cdot \sin \left({\beta -\gamma \over 2}\right)}{2\cdot \sin({\alpha \over 2})\cdot \cos({\alpha \over 2})}}={\frac {\sin \left({\beta -\gamma \over 2}\right)}{\cos({\alpha \over 2})}}$
Multiplikation mit dem gemeinsamen Nenner ergibt die angegebenen Formeln. Die anderen beiden Formeln, die eine Summe bzw. eine Differenz zweier Seiten enthalten, entstehen durch zyklische Substitution der Seiten- und Winkelbezeichnungen.

### Geometrisch

Im rechtwinkligen Dreieck $\triangle AFB$ gilt $|FB|=c\cdot \sin \left({\frac {\alpha -\beta }{2}}\right)$ und im rechtwinkligen Dreieck $\triangle EFB$ zudem $|FB|=(a-b)\cdot \cos \left({\frac {\gamma }{2}}\right)$. Damit ergibt sich:
    $(a-b)\cdot \cos \left({\frac {\gamma }{2}}\right)=c\cdot \sin \left({\frac {\alpha -\beta }{2}}\right)$
Betracht man die Strecke $AF$, so gilt für deren Länge:
    ${\begin{aligned}|AF|&=|AD|+|DE|+|EF|\\&=b\cdot \sin \left({\frac {\gamma }{2}}\right)+b\cdot \sin \left({\frac {\gamma }{2}}\right)+(a-b)\cdot \sin \left({\frac {\gamma }{2}}\right)\\&=(a+b)\cdot \sin \left({\frac {\gamma }{2}}\right)\\\end{aligned}}$
Im rechtwinkligen Dreieck $\triangle AFB$ gilt aber auch $|AF|=c\cdot \cos \left({\frac {\alpha -\beta }{2}}\right)$, damit ergibt sich insgesamt:
    $(a+b)\cdot \sin \left({\frac {\gamma }{2}}\right)=c\cdot \cos \left({\frac {\alpha -\beta }{2}}\right)$

## Verallgemeinerung

Eine Verallgemeinerung der mollweideschen Formeln gilt für Sehnenvierecke. Sei $\square ABCD$ ein Sehnenviereck mit den Seitenlängen $|AB|=a$, $|BC|=b$, $|CD|=c$ und $|DA|=d$ und den Innenwinkeln $\angle {DAB}=\alpha$, $\angle {ABC}=\beta$, $\angle {BCD}=\gamma$ und $\angle {CDA}=\delta$. Außerdem sei $E$ der Schnittpunkt der Diagonalen und $\angle {CED}=\theta$ der anliegende Winkel im Dreieck $\triangle {CED}$. Dann gilt
    ${\begin{aligned}{\frac {a+c}{b+d}}&={\frac {\sin {\tfrac {\alpha +\beta }{2}}}{\cos {\tfrac {\gamma -\delta }{2}}}}\cdot \tan {\tfrac {\theta }{2}}\\{\frac {a-c}{b-d}}&={\frac {\cos {\tfrac {\alpha +\beta }{2}}}{\sin {\tfrac {\delta -\gamma }{2}}}}\cdot \cot {\tfrac {\theta }{2}}\\\end{aligned}}$
Daraus ergeben sich einige Varianten dieser Formeln:
    ${\begin{aligned}\sin {\tfrac {\alpha +\beta }{2}}={\phantom {-}}\cos {\tfrac {\beta -\gamma }{2}}={\phantom {-}}\sin {\tfrac {\gamma +\delta }{2}}=\cos {\tfrac {\delta -\alpha }{2}}\\\cos {\tfrac {\alpha +\beta }{2}}=-\sin {\tfrac {\beta -\gamma }{2}}=-\cos {\tfrac {\gamma +\delta }{2}}=\sin {\tfrac {\delta -\alpha }{2}}\\\end{aligned}}$
Daraus ergeben sich außerdem folgende Formeln mit Halbwinkeln des Tangens:
    ${\begin{aligned}{\frac {a+c}{b+d}}&={\frac {\tan {\tfrac {\alpha }{2}}+\tan {\tfrac {\beta }{2}}}{1+\tan {\tfrac {\alpha }{2}}\cdot \tan {\tfrac {\beta }{2}}}}\cdot \tan {\tfrac {\theta }{2}}\\{\frac {b-d}{a-c}}&={\frac {\tan {\tfrac {\alpha }{2}}-\tan {\tfrac {\beta }{2}}}{1-\tan {\tfrac {\alpha }{2}}\cdot \tan {\tfrac {\beta }{2}}}}\cdot \tan {\tfrac {\theta }{2}}\\\end{aligned}}$

## Geschichte

Die Formeln wurden in der heutigen Darstellung 1808 von Mollweide veröffentlicht und verbreiteten sich anschließend unter seinen Namen. Allerdings waren sie schon vorher anderen Mathematikern bekannt. Die Kosinusgleichungen finden sich bereits in Isaac Newtons Arithmetica Universalis (1707). Sowohl die Sinus- als auch die Kosinusvariante finden sich als geometrische Lehrsätze in Analysis triangulorum (1746) von F. W. de Oppel. Ebenfalls noch vor Mollweide finden sich die Formeln auch in Werken von Thomas Simpson (1748), Antoine-René Mauduit (1765) und Antonio Cagnoli (1786).