Let
S ( m ) = k = 0 ∑ m ( k m ) 2 m + 1 − k 2 m + 1 ( − 2 ) k
If
m = 0 ∑ ∞ S ( m ) 2 − m = b a ( 1 − c 1 tanh − 1 c 1 ) ,
where a and b are positive coprime integers and c is not divisible by the square of any prime, then find a + b + c .
Details and Assumptions
You may use a computer to complete the final step but you should know the method to complete the challenge.
tanh − 1 ( x ) = 2 1 ln ( 1 − x 1 + 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.
Problem Loading...
Note Loading...
Set Loading...
Note that 2 m + 1 S ( m ) = k = 0 ∑ m ( k m ) 2 m + 1 − k ( − 2 ) k = ∫ 0 1 k = 0 ∑ m ( k m ) ( − 2 ) k t 2 m − k d t = ∫ 0 1 t 2 m ( 1 − 2 t − 1 ) m d t = ∫ 0 1 ( t 2 − 2 t ) m d t = ∫ 0 1 ( u 2 − 1 ) m d u for any m ≥ 0 . Thus m = 0 ∑ ∞ 2 m + 1 S ( m ) x 2 m + 1 = m = 0 ∑ ∞ x 2 m + 1 ∫ 0 1 ( u 2 − 1 ) m d u = ∫ 0 1 1 − x 2 ( u 2 − 1 ) x d u = ∫ 0 1 1 + x 2 − x 2 u 2 x d u = 1 + x 2 1 tanh − 1 1 + x 2 x for any ∣ x ∣ < 1 . Differentiating within the radius of convergence, we obtain m = 0 ∑ ∞ S ( m ) x 2 m = 1 + x 2 1 [ 1 − 1 + x 2 x tanh − 1 1 + x 2 x ] ∣ x ∣ < 1 Putting x = 2 1 gives m = 0 ∑ ∞ S ( m ) 2 − m = 3 2 [ 1 − 3 1 tanh − 1 3 1 ] making the answer 2 + 3 + 3 = 8 .
From the integral representation of S ( m ) it is easy to show that S ( m ) = ( m 2 m ) ( − 4 ) m m ≥ 0