It's been a while

Geometry Level 5

n = 0 6 cos ( 2 n x ) = 1 128 \large \displaystyle\prod_{n=0}^{6} \cos(2^{n}x) = \dfrac{1}{128}

For the above equation, find the number of real solutions on the interval [ 0 , 2 π ] . [0, 2\pi].


The answer is 254.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

For x k π x \ne k\pi for any integer k k we can multiply both sides by 128 sin ( x ) . 128\sin(x). Then since 2 sin ( a x ) cos ( a x ) = sin ( 2 a x ) 2\sin(ax)\cos(ax) = \sin(2ax) the product on the LHS of the equation "collapses" to sin ( 128 x ) , \sin(128x), leaving us with the equation sin ( 128 x ) = sin ( x ) \sin(128x) = \sin(x) such that sin ( x ) 0. \sin(x) \ne 0. Then the solutions will be either of the form

  • (i) 128 x = x + 2 k π x = 2 k π 127 128x = x + 2k\pi \Longrightarrow x = \dfrac{2k\pi}{127} or

  • (ii) 128 x = π x + 2 k π x = ( 2 k + 1 ) π 129 . 128x = \pi - x + 2k\pi \Longrightarrow x = \dfrac{(2k + 1)\pi}{129}.

For (i), on the given interval [ 0 , 2 π ] [0,2\pi] we can have k k taking on any integer value from 1 1 to 126 , 126, resulting in 126 126 solutions.

For (ii), we can have k k taking on any integer value from 0 0 to 128 128 except for k = 64 , k = 64, as this value would make sin ( x ) = 0. \sin(x) = 0. This results in 128 128 more solutions.

Thus the desired number of solutions is 126 + 128 = 254 . 126 + 128 = \boxed{254}.

Nice! Back to Feynman and "Morrie's Law". In general, k = 0 m cos ( 2 k x ) = 1 2 m + 1 \prod_{k=0}^{m}\cos(2^k{x})=\frac{1}{2^{m+1}} appears to have 2 m + 1 1 2^{m+1}-1 solutions x x between 0 and π \pi . For m = 2 m=2 and x = 2 0 o x=20^o , we get "Morrie's Law". For m = 3 m=3 and x = 2 4 o x=24^o , we get ( cos 2 4 o ) ( cos 4 8 o ) ( cos 9 6 o ) ( cos 19 2 o ) = 1 / 16. (\cos24^o)(\cos48^o)(\cos96^o)(\cos192^o)=1/16.

Otto Bretscher - 5 years, 9 months ago

Log in to reply

Thanks! I'm glad that you got the same answer as I did; there had been so many failed attempts I was beginning to wonder if I had the correct answer.

Yes, that was the general rule I was getting as well, and that by symmetry the sum of the solutions on [ 0 , 2 π ] [0,2\pi] is ( 2 m + 1 1 ) 2 π . (2^{m+1} - 1)*2\pi. Thanks for mentioning Morrie's law ; I'd heard of it in passing but hadn't given any thought to the generalized identity before.

Brian Charlesworth - 5 years, 9 months ago

Log in to reply

The count was tricky; I got it wrong at first as I foolishly included the solutions of sin ( x ) = sin ( 128 x ) \sin(x)=\sin(128x) that are multiples of π \pi .

Otto Bretscher - 5 years, 9 months ago

Plotting the graph of y=Sin(128x), and Sin(x), we get 128+1=129 intersections. Since end points are included.
But at x=0, π , 2 π \pi,~2\pi Sin(x) the denominator is 0. So the count is 127.
However Sin(x)=Sin( π \pi -x), so for every solution for Sin(x), there is a solution for Sin( π \pi -x).
So total solutions are 2 * 127=254.


Niranjan Khanderia - 3 years, 8 months ago
Ben Habeahan
Sep 8, 2015

L.H.S= cos ( 2 0 x ) cos ( 2 1 x ) cos ( 2 2 x ) cos ( 2 6 x ) \cos{(2^0x)} \cos{(2^1x)} \cos{(2^2x)} \cdots \cos{(2^6x)}

R.HS= ( 1 2 ) 7 {(\frac{1}{2})}^7

We know that 0 x 2 π 1 cos a x 1 0\leq x \leq{2\pi}\implies -1\leq {\cos{ax}} \leq 1 for any integer a . a.

With alitel observation, we can say L.H.S=R.H.S iff cos ( 2 0 x ) = cos ( 2 1 x ) = cos ( 2 2 x ) = = cos ( 2 6 x ) = 1 2 \cos{(2^0x)} =\cos{(2^1x)} =\cos{(2^2x)}= \cdots =\cos{(2^6x)}=\frac{1}{2}

For cos ( 2 0 x ) \cos{(2^0x)} have periode 2 π 2 = 2 1 2\pi\implies 2=2^1 solutions,

For cos ( 2 1 x ) \cos{(2^1x)} have periode 4 π 4 = 2 2 4\pi\implies 4=2^2 solutions,

For cos ( 2 2 x ) \cos{(2^2x)} have periode 8 π 8 = 2 3 8\pi\implies 8=2^3 solution,

For cos ( 2 3 x ) \cos{(2^3x)} have periode 16 π 16 = 2 4 16\pi\implies 16=2^4 solutions,

\vdots

For cos ( 2 6 x ) \cos{(2^6x)} have periode 128 π 128 = 2 7 128\pi\implies 128=2^7 solutions.

Number of solutions = 2 1 + 2 2 + 2 3 + + 2 7 =2^1+2^2+2^3+\cdots+2^7 = 2 ( 2 7 1 ) 2 1 = 254 =\frac{2(2^7-1)}{2-1}=\boxed{254}

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...