x = n = 1 ∑ 4 4 sin n ∘ n = 1 ∑ 4 4 cos n ∘
What is the greatest integer that doesn't exceed 1 0 0 x ?
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.
We make use of the sum to product identities, and group the terms whose arguments sum to 4 5 ∘ ; e.g., sin ( 1 ∘ ) + sin ( 4 4 ∘ ) .
Beautifully, all of the terms cancel out except for a factor of cot ( 2 2 . 5 ∘ ) . We can use the double angle identities with tangent to find that cot ( 2 2 . 5 ∘ ) = 2 + 1 , so our answer is 2 4 1 .
Graph the imaginary numbers c i s 1 ∘ , c i s 2 ∘ , . . . c i s 4 4 ∘ on the complex plane. The real part of their sum is ∑ c o s n ∘ , the imaginary part is ∑ s i n n ∘ .
Add vectorially the pairs ( c i s 1 ∘ + c i s 4 4 ∘ ) , ( c i s 2 ∘ + c i s 4 3 ∘ ) ... ( c i s 2 2 ∘ + c i s 2 3 ∘ ) . The numbers in each pair are symmetric about c i s 2 2 . 5 ∘ , so the sum of each pair and hence the sum of all 22 pairs is symmetric about c i s 2 2 . 5 ∘ .
The desired ratio is I m ( c i s 2 2 . 5 ∘ ) R e ( c i s 2 2 . 5 ∘ ) = c o t 2 2 . 5 ∘ . By double-angle formula, t a n 4 5 ∘ = 1 − t a n 2 2 2 . 5 ∘ 2 t a n 2 2 . 5 ∘ . Solving, t a n 2 2 . 5 ∘ = 2 − 1 and c o t 2 2 . 5 ∘ = ( 2 − 1 ) − 1 = 2 + 1 .
I figured we could think of the nemerator as a Riemann sum approximation of the integral from 0 to pi/4 of cosx dx, using 44 subdivisions, and similarly the denominator as an aproximation of the integral of sin xdx from 0 to pi/4. The ratio of these two integrals is 1+sqrt2 : 1. Yeah, we're missing one rectangle in each sum, but as the width of the rectangles was only pi/176 I expected (correctly) that the difference would be negligible.
Interesting how that works out to the exact answer!
Yes this is a pretty straightforward way. I did try 240 first to hedge the overestimate of the integral (without trying to work out the actual error by hand).
Interestingly, x is also identical to \int 0^45 cos(z) dz / \int 0^45 sin(z) dz = sqrt(2)/(2-sqrt(2)) = 1+ sqrt(2).
Not identical but a very close approximation.
Problem Loading...
Note Loading...
Set Loading...
∑ n = 1 4 4 cos n ∘ = ∑ n = 4 6 8 9 sin n ∘ = ∑ n = 1 4 4 sin ( n + 4 5 ) ∘ = ∑ n = 1 4 4 ( sin n ∘ cos 4 5 ∘ + cos n ∘ sin 4 5 ∘ )
We know that sin 4 5 ∘ = cos 4 5 ∘ = 2 1 so plugging that in we get 2 ∑ n = 1 4 4 cos n ∘ = ∑ n = 1 4 4 ( sin n ∘ + cos n ∘ )
or ( 2 − 1 ) ∑ n = 1 4 4 cos n ∘ = ∑ n = 1 4 4 sin n ∘
It follows that the answer is 2 + 1