The year in question .....

Geometry Level 4

It is the case that S = n = 1 2015 csc ( ( 2 n + 4 ) ) = sec ( k ) S = \displaystyle\sum_{n=-1}^{2015} \csc((2^{n+4})^{\circ}) = \sec(k^{\circ}) for some integer 0 < k < 90 0 \lt k \lt 90 . Find k k .


The answer is 82.

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

Note first that, in general,

cot ( x ) cot ( 2 x ) = cos ( x ) sin ( x ) cos ( 2 x ) sin ( 2 x ) = \cot(x) - \cot(2x) =\dfrac{\cos(x)}{\sin(x)} - \dfrac{\cos(2x)}{\sin(2x)} =

cos ( x ) sin ( x ) cos ( 2 x ) 2 sin ( x ) cos ( x ) = 2 cos 2 ( x ) cos ( 2 x ) 2 sin ( x ) cos ( x ) = \dfrac{\cos(x)}{\sin(x)} - \dfrac{\cos(2x)}{2\sin(x)\cos(x)} = \dfrac{2\cos^{2}(x) - \cos(2x)}{2\sin(x)\cos(x)} =

2 cos 2 ( x ) ( 2 cos 2 ( x ) 1 ) sin ( 2 x ) = 1 sin ( 2 x ) \dfrac{2\cos^{2}(x) - (2\cos^{2}(x) - 1)}{\sin(2x)} = \dfrac{1}{\sin(2x)} .

So csc ( ( 2 m ) ) = cot ( ( 2 m 1 ) ) cot ( ( 2 m ) ) \csc((2^{m})^{\circ}) = \cot((2^{m-1})^{\circ}) - \cot((2^{m})^{\circ}) . Thus when we expand S S we end up with a telescoping series, leaving us in the end with just

cot ( 4 ) cot ( ( 2 2019 ) ) \cot(4^{\circ}) - \cot((2^{2019})^{\circ}) .

We now need to determine 2 2019 m o d 360 2^{2019} \mod{360} . To this end we note that

2 15 2 3 m o d 360 2^{15} \equiv 2^{3} \mod{360} ,

so for powers of 2 2 of the form p = 3 + 12 q p = 3 + 12*q for any integer q q we have that 2 p 8 m o d 360 2^{p} \equiv 8 \mod{360} . Since 2019 = 3 + 12 168 2019 = 3 + 12*168 , we now have that

S = cot ( 4 ) cot ( 8 ) = cos ( 4 ) sin ( 4 ) cos ( 8 ) sin ( 8 ) = S = \cot(4^{\circ}) - \cot(8^{\circ}) = \dfrac{\cos(4^{\circ})}{\sin(4^{\circ})} - \dfrac{\cos(8^{\circ})}{\sin(8^{\circ})} =

sin ( 8 ) cos ( 4 ) cos ( 8 ) sin ( 4 ) sin ( 4 ) sin ( 8 ) = 1 sin ( 8 ) = sec ( 8 2 ) . \dfrac{\sin(8^{\circ})\cos(4^{\circ}) - \cos(8^{\circ})\sin(4^{\circ})}{\sin(4^{\circ})\sin(8^{\circ})} = \dfrac{1}{\sin(8^{\circ})} = \sec(82^{\circ}). Thus k = 82 k = \boxed{82} .

Good question sir .

A Former Brilliant Member - 6 years, 4 months ago

Log in to reply

Thanks. :)

Brian Charlesworth - 6 years, 4 months ago

Sir, how to get the initial thought of simplifying c o t ( x ) c o t ( 2 x ) \displaystyle cot(x)-cot(2x) ?

Satvik Golechha - 6 years, 4 months ago

Log in to reply

Sorry for the late response; I never got a notification of your question. Anyway, it was more about me first realizing this identity and then seeing the possibility of creating a question involving a telescoping series based on it. I'm not sure how people have solved the problem without the noted identity, but perhaps the identity is well-known and most people did use it to solve the problem.

Brian Charlesworth - 6 years, 3 months ago
Ritabrata Roy
Aug 7, 2019

initialize with csc(x)=cot(x/2)-cot(x) then we are getting a telescoping sum which reduces to cot (4)-cot (2^2019) . to calculate 2^2019 mod(360) One can use the Chinese remainder theorem

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...