# Morrie’s Law

Morrie's law (dt. Gesetz von Morrie) ist eine spezielle trigonometrische Identität. Ihr Name geht auf den Physiker Richard Feynman zurück, der sie so bezeichnete, weil er sie während seiner Kindheit von einem Jungen namens Morrie Jacobs gezeigt bekommen hatte.

## Identität und Verallgemeinerung

Morrie’s law lautet:
    $\cos(20^{\circ })\cdot \cos(40^{\circ })\cdot \cos(80^{\circ })={\frac {1}{8}}.$
Sie ist ein Spezialfall der folgenden allgemeineren trigonometrischen Identität:
    $2^{n}\cdot \prod _{k=0}^{n-1}\cos(2^{k}\alpha )={\frac {\sin(2^{n}\alpha )}{\sin(\alpha )}}.$
Für $n=3$ und $\alpha =20^{\circ }$ erhält man dann Morrie’s law, wenn man beachtet, dass
    ${\frac {\sin(160^{\circ })}{\sin(20^{\circ })}}={\frac {\sin(180^{\circ }-20^{\circ })}{\sin(20^{\circ })}}=1$
gilt, wegen
    $\sin(180^{\circ }-x)=\sin(x).$

## Weitere ähnliche Identitäten

Es existiert eine ähnliche Identität für die Sinusfunktion:
    $\sin(20^{\circ })\cdot \sin(40^{\circ })\cdot \sin(80^{\circ })={\frac {\sqrt {3}}{8}}.$
Eine entsprechende Identität für die Tangensfunktion erhält man, wenn man die beiden vorherigen Identitäten durcheinander teilt:
    $\tan(20^{\circ })\cdot \tan(40^{\circ })\cdot \tan(80^{\circ })={\sqrt {3}}=\tan(60^{\circ }).$

## Beweise
### Geometrischer Beweis

Man betrachtet ein reguläres Neuneck $ABCDEFGHI$ mit Seitenlänge $1$, weiterhin bezeichnet $M$ den Mittelpunkt von $AB$, $L$ den Mittelpunkt von $BF$ und $J$ den Mittelpunkt von $BD$. Die Innenwinkel des Neunecks betragen $140^{\circ }$, zudem gilt $\gamma =\angle FBM=80^{\circ }$, $\beta =\angle DBF=40^{\circ }$ and $\alpha =\angle CBD=20^{\circ }$ (siehe Zeichnung). Nun wendet man die Definition des Kosinus im rechtwinkligen Dreieck nacheinander auf die Dreiecke $\triangle BFM$, $\triangle BDL$ und $\triangle BCJ$ an und erhält so einen Beweis der Identität:
    ${\begin{aligned}1&=|AB|\\&=2\cdot |MB|\\&=2\cdot |BF|\cdot \cos(\gamma )\\&=2^{2}|BL|\cos(\gamma )\\&=2^{2}\cdot |BD|\cdot \cos(\gamma )\cdot \cos(\beta )\\&=2^{3}\cdot |BJ|\cdot \cos(\gamma )\cdot \cos(\beta )\\&=2^{3}\cdot |BC|\cdot \cos(\gamma )\cdot \cos(\beta )\cdot \cos(\alpha )\\&=2^{3}\cdot 1\cdot \cos(\gamma )\cdot \cos(\beta )\cdot \cos(\alpha )\\&=8\cdot \cos(80^{\circ })\cdot \cos(40^{\circ })\cdot \cos(20^{\circ })\end{aligned}}$

### Algebraischer Beweis der allgemeinen Identität

Es gilt die folgende Formel für Winkelverdoppelung der Sinusfunktion:
    $\sin(2\alpha )=2\sin(\alpha )\cos(\alpha ).$
Aufgelöst nach $\cos(\alpha )$ erhält man:
    $\cos(\alpha )={\frac {\sin(2\alpha )}{2\sin(\alpha )}}.$
Entsprechend folgt:
    ${\begin{aligned}\cos(2\alpha )&={\frac {\sin(4\alpha )}{2\sin(2\alpha )}}\\[6pt]\cos(4\alpha )&={\frac {\sin(8\alpha )}{2\sin(4\alpha )}}\\&\,\,\,\vdots \\\cos(2^{n-1}\alpha )&={\frac {\sin(2^{n}\alpha )}{2\sin(2^{n-1}\alpha )}}.\end{aligned}}$
Multipliziert man nun alle rechten und alle linken Seiten miteinander, so erhält man:
    $\cos(\alpha )\cos(2\alpha )\cos(4\alpha )\cdots \cos(2^{n-1}\alpha )={\frac {\sin(2\alpha )}{2\sin(\alpha )}}\cdot {\frac {\sin(4\alpha )}{2\sin(2\alpha )}}\cdot {\frac {\sin(8\alpha )}{2\sin(4\alpha )}}\cdots {\frac {\sin(2^{n}\alpha )}{2\sin(2^{n-1}\alpha )}}.$
Bei der rechten Seite handelt es sich um ein Teleskopprodukt, das heißt bis auf den letzten Sinusterm im Zähler und den ersten Sinusterm im Nenner kürzen sich alle Sinusterme weg und man erhält so die zu beweisende Gleichung
    $\prod _{k=0}^{n-1}\cos(2^{k}\alpha )={\frac {\sin(2^{n}\alpha )}{2^{n}\sin(\alpha )}}.$