5
$\begingroup$

$$\cos A \cdot \cos 2A \cdot \cos 2^{2}A \cdot \cos 2^{3}A ... \cos 2^{n-1}A = \frac { \sin 2^n A}{ 2^n \sin A } $$

I am very much inquisitive to see how this trigonometrical identity can be proved.

PS:I am not much of interested about an inductive proof.

  • 0
    Are you sure you have the right identity? It's not true for n=2.2010-10-31
  • 0
    I do apologize for my mistake,I hope it is correct now.2010-10-31
  • 3
    I don't know how you will prove an $\mathbb N$ indexed family of identities without induction..2010-10-31
  • 1
    Perhaps one could use complex analysis, using Picard's theorem or something like that. But I can't seem to get the argument right. So you can easily check that the ratio of the left-hand side and the right-hand side is an entire function with no zeros. But that is as far as I can get...2010-10-31
  • 1
    This is [Morrie's law](http://en.wikipedia.org/wiki/Morrie's_law).2012-03-10
  • 0
    @Steven Taschuk: Thanks for the update but looking at the wike page, I think Morrie's law is the special case of this identity.2012-03-11
  • 0
    @Foool Then this is the generalized Morrie's law, if you insist. But I don't know why you would insist, since here the special case contains all the ideas of the general case, so no purpose is served by baking the distinction between them into our terminology.2012-03-11

2 Answers 2

16

The proof is just repeated application of the double-angle formula for the sine function. For example, the case $n=3$: $$\sin 8A = 2 \sin 4A \cos 4A = 2 (2 \sin 2A \cos 2A) \cos 4A = 2 (2 (2 \sin A \cos A) \cos 2A) \cos 4A.$$

  • 4
    I upvoted this; personally I'm still puzzled with the OP's aversion to induction.2010-10-31
  • 1
    It's not aversion,but I believe that I can prove it by induction myself, here I am more interested to see something tricky ! Now why I am asking for something tricky since I have noticed that once I see something like that it becomes easier for me to remember the identity, I hope my point is clear. :)2010-10-31
  • 9
    ...but Hans's solution is exactly what you'd be using for an inductive proof (note the word *repeated* in his answer).2010-10-31
3

You can prove it by induction since

$\sin t = 2 \cos \dfrac{t}{2}\sin \dfrac{t}{2}$

$\sin t = 2^2 \cos \dfrac{t}{2}\cos \dfrac{t}{4}\sin \dfrac{t}{4}$

$\sin t = {2^3}\cos \dfrac{t}{2}\cos \dfrac{t}{4}\cos \dfrac{t}{8}\sin \dfrac{t}{8}$

So we conjecture:

$$\sin t = 2^n\sin\dfrac{t}{2^n} \prod_{k=1}^{n} \cos\dfrac{t}{2^k} $$

It is true for $n=1$

$$\sin t = 2^1\sin\dfrac{t}{2^1} \prod_{k=1}^{1} \cos\dfrac{t}{2^1} = 2 \cos \dfrac{t}{2}\sin \dfrac{t}{2} $$

But then for $n+1$ we get

$$\sin t = 2^{n+1}\sin\dfrac{t}{2^{n+1}} \prod_{k=1}^{n+1} \cos\dfrac{t}{2^{k}} $$

$$\sin t = {2^n}2\sin \frac{t}{{{2^{n + 1}}}}\cos \frac{t}{{{2^{n + 1}}}}\prod\limits_{k = 1}^n {\cos } \frac{t}{{{2^k}}}$$

$$\sin t = {2^n}\sin \frac{t}{{{2^n}}}\prod\limits_{k = 1}^n {\cos } \frac{t}{{{2^k}}}$$