Morrie's law

Morrie's law is the trigonometric identity:

\cos(20^\circ) \cdot \cos(40^\circ) \cdot \cos(80^\circ)=\frac{1}{8}.

It is a special case of the more general identity

2^n \cdot \prod_{k=0}^{n-1} \cos(2^k \alpha)=\frac{\sin(2^n \alpha)}{\sin(\alpha)}

with n = 3 and α = 20° and the fact that

\frac{\sin(160^\circ)}{\sin(20^\circ)} = \frac{\sin(180^\circ-20^\circ)}{\sin(20^\circ)} = 1

since

\sin(180^\circ-x) = \sin(x).

The name is due to the physicist Richard Feynman, who used to refer to the identity under that name. Feynman picked that name because he learned it during his childhood from a boy with the name Morrie Jacobs and afterwards remembered it for all of his life.[1]

A similar identity for the sine function also holds:

\sin(20^\circ) \cdot \sin(40^\circ) \cdot \sin(80^\circ)=\frac{\sqrt 3\ }{8}.

Moreover, dividing the second identity by the first, the following identity is evident:

\tan(20^\circ) \cdot \tan(40^\circ) \cdot \tan(80^\circ)=\sqrt 3 = \tan(60^\circ). \,

Proof

Recall the double angle formula for the sine function

\sin(2 \alpha) = 2 \sin(\alpha) \cos(\alpha). \,

Solve for \cos(\alpha)

\cos(\alpha)=\frac{\sin(2 \alpha)}{2 \sin(\alpha)}.

It follows that:

\begin{align} \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{align}

Multiplying all of these expressions together yields:

\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)}.

The intermediate numerators and denominators cancel leaving only the first denominator, a power of 2 and the final numerator. Note that there are n terms in both sides of the expression. Thus,

\prod_{k=0}^{n-1} \cos(2^k \alpha)=\frac{\sin(2^n \alpha)}{2^n \sin(\alpha)},

which is equivalent to the generalization of Morrie's law.

References

  1. ↑ W.A. Beyer, J.D. Louck, and D. Zeilberger, A Generalization of a Curiosity that Feynman Remembered All His Life, Math. Mag. 69, 43–44, 1996.

External links

This article is issued from Wikipedia - version of the Sunday, January 03, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.