Floor Function Power!

k = 0 m n 1 exp 1 ( k m + k n ) \large \sum_{k=0}^{mn-1} \exp_{-1} \Bigg ( \left \lfloor \frac km \right \rfloor + \left \lfloor \frac kn \right \rfloor \Bigg)

Let m m and n n be relatively prime positive integers such that m n mn is odd. Then what is the value of summation above.

Note the notation, exp A B = A B \exp_A B = A^B .


The answer is 1.

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

Chandrasekhar S
May 26, 2015

For each k k denote m k m_{k} and n k n_{k} the remainders of k ( m o d m ) k\pmod{m} and k ( m o d n ) k\pmod{n} respectively. Then we have k m + k n m k m + n k n = k m k + k n k m k + n k ( m o d 2 ) \biggl\lfloor\frac{k}{m}\biggr\rfloor + \left\lfloor\frac{k}{n}\right\rfloor \equiv m \left\lfloor\frac{k}{m}\right\rfloor + n \cdot \left\lfloor\frac{k}{n}\right\rfloor = k-m_{k}+ k-n_{k} \equiv m_{k}+n_{k} \pmod{2}

Now since ( m , n ) = 1 (m,n)=1 by the Chinese Remainder theorem the map k ( m k , n k ) k \mapsto (m_{k},n_{k}) is a bijection so we have k = 0 m n 1 ( 1 ) k m + k n = k = 0 m n 1 ( 1 ) m k + n k = i = 0 m 1 j = 0 n 1 ( 1 ) i + j = ( i = 0 m 1 ( 1 ) i ) ( j = 0 n 1 ( 1 ) j ) = 1 \sum_{k=0}^{mn-1} (-1)^{\lfloor\frac{k}{m}\rfloor + \lfloor\frac{k}{n}\rfloor} =\sum_{k=0}^{mn-1} (-1)^{m_{k}+n_{k}} = \sum_{i=0}^{m-1}\sum_{j=0}^{n-1} (-1)^{i+j} =\left(\sum_{i=0}^{m-1} (-1)^{i}\right) \cdot \left(\sum_{j=0}^{n-1} (-1)^{j}\right) = 1

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...