A nice generalization

k = 0 n b 3 ( n 3 k + b ) \large \sum_{k=0}^{\left\lfloor \frac{n-b}{3} \right\rfloor} \binom{n}{3k+b}

Let n , b Z , n, b \in \mathbb{Z}, where n 1 n \geq 1 and 0 b < 3 0 \leq b < 3 . Find the closed form of the sum above.

1 3 [ 2 n + 2 ( 1 ) n cos ( 2 π ( n + b ) 3 ) ] \frac{1}{3} \left[2^n+2(-1)^n\cos\left(\frac{2 \pi (n+b)}{3}\right)\right] 1 3 [ 2 n + 2 cos ( 2 π ( n + b ) 3 ) ] \frac{1}{3} \left[2^n+2\cos\left(\frac{2 \pi (n+b)}{3}\right)\right] 1 3 [ 2 n + 2 ( 1 ) n cos ( π ( n + b ) 3 ) ] \frac{1}{3} \left[2^n+2(-1)^n\cos\left(\frac{\pi (n+b)}{3}\right)\right] 1 3 [ 2 n + 2 cos ( π ( n + b ) 3 ) ] \frac{1}{3} \left[2^n+2\cos\left(\frac{\pi (n+b)}{3}\right)\right]

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.

1 solution

Let S S be the desired sum and let w = e 2 π i / 3 w=e^{2 \pi i/3} . Consider the following sum: m = 0 2 w b m ( 1 + w m ) n = m = 0 2 w b m k = 0 n w m k ( n k ) = m = 0 2 k = 0 n w m ( k b ) ( n k ) = k = 0 n m = 0 2 w m ( k b ) ( n k ) \begin{aligned} \sum_{m=0}^{2} w^{-bm}(1+w^m)^n &= \sum_{m=0}^{2} w^{-bm} \sum_{k=0}^{n} w^{mk} \binom{n}{k}\\ &= \sum_{m=0}^{2} \sum_{k=0}^{n} w^{m(k-b)} \binom{n}{k}\\ &= \sum_{k=0}^{n} \sum_{m=0}^{2} w^{m(k-b)} \binom{n}{k} \end{aligned} When k b k-b is a multiple of 3 3 we have m = 0 2 w m ( k b ) = 3 \displaystyle \sum_{m=0}^{2} w^{m(k-b)}=3 , otherwise we have m = 0 2 w m ( k b ) = 0 \displaystyle \sum_{m=0}^{2} w^{m(k-b)}=0 , so we are left only with the terms of the sum where k b ( m o d 3 ) k \equiv b \pmod 3 , so: m = 0 2 w b m ( 1 + w m ) n = k = 0 n b 3 3 ( n 3 k + b ) = 3 S \begin{aligned} \sum_{m=0}^{2} w^{-bm}(1+w^m)^n &= \sum_{k=0}^{\left\lfloor \frac{n-b}{3} \right\rfloor} 3\binom{n}{3k+b}\\ &= 3S \end{aligned} Finally, using the fact that w 2 + w + 1 = 0 w^2+w+1=0 , S = 1 3 m = 0 2 w b m ( 1 + w m ) n = 1 3 [ ( 1 + 1 ) n + w b ( 1 + w ) n + w 2 b ( 1 + w 2 ) n ] = 1 3 [ 2 n + w b ( w 2 ) n + w 2 b ( w ) n ] = 1 3 [ 2 n + ( 1 ) n ( w 2 n b + w n 2 b ) ] = 1 3 [ 2 n + ( 1 ) n ( w ( n + b ) + w n + b ) ] = 1 3 [ 2 n + 2 ( 1 ) n cos ( 2 π ( n + b ) 3 ) ] \begin{aligned} S &= \dfrac{1}{3} \sum_{m=0}^{2} w^{-bm}(1+w^m)^n \\ &= \dfrac{1}{3} \left[(1+1)^n+w^{-b}(1+w)^n+w^{-2b}(1+w^2)^n\right] \\ &= \dfrac{1}{3} \left[2^n+w^{-b}(-w^2)^n+w^{-2b}(-w)^n\right] \\ &= \dfrac{1}{3} \left[2^n+(-1)^n(w^{2n-b}+w^{n-2b})\right] \\ &= \dfrac{1}{3} \left[2^n+(-1)^n(w^{-(n+b)}+w^{n+b})\right]\\ &= \boxed{\dfrac{1}{3} \left[2^n+2(-1)^n \cos\left(\dfrac{2 \pi (n+b)}{3}\right) \right]} \end{aligned}

Sir Alan ,i like your solution and here is my idea (the core of my solution should be the same as yours).

Notation : let S r ( r = 0 , 1 , 2 ) \ S_{r}(r=0,1,2) stands for the asking sum when b=0,1,2 respectively.And w = c o s ( 2 π 3 ) + i s i n ( 2 π 3 ) w=cos(\frac{2\pi}{3})+i sin(\frac{2\pi}{3}) .

In the expansion ( 1 + x ) n = k = 0 n ( n k ) x k (1+x)^{n}=\displaystyle\sum_{k=0}^{n}\binom nk x^{k} , take x = 1 , w , w 2 x=1,w,w^{2} respectively,we get

S 0 + S 1 + S 2 = 2 n \ S_{0}+\ S_{1}+\ S_{2}=2^{n} S 0 + w S 1 + w 2 S 2 = ( 1 + w ) n \ S_{0}+w\ S_{1}+w^{2}\ S_{2}=(1+w)^{n} S 0 + w 2 S 1 + w S 2 = ( 1 + w 2 ) n \ S_{0}+w^{2}\ S_{1}+w\ S_{2}=(1+w^{2})^{n}

Solve these linear equations,and the result is S r = 2 n 3 + 2 3 c o s ( n 2 r ) π 3 , r = 0 , 1 , 2 \ S_{r}=\frac{2^{n}}{3}+\frac{2}{3}cos\frac{(n-2r)\pi}{3},r=0,1,2 ,en,as desired.

Haosen Chen - 3 years, 3 months ago

This is absolutely superb. I never had the intuition to use complex algebra (I just tested which one worked for a few values). I am new to a lot of this complex algebra, so seeing it in application with binomial theorem and understanding said applications really boosts my confidence and makes me understand the theory more so. This solution was hence both beautiful and very helpful.

Affan Morshed - 2 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...