Casual Summation!

S ( p ) = k = 1 p 1 ( 2 k 2 p 2 k 2 p ) \large S(p) = \sum_{k=1}^{p-1} \left( \left \lfloor \dfrac{2k^2}{p} \right \rfloor - 2 \left \lfloor \dfrac{k^2}{p} \right \rfloor \right)

Let p p be a prime number such that p 1 ( m o d 4 ) p \equiv 1 \pmod4 . Find the closed form of S ( p ) S(p) .

Enter your answer as S ( 101 ) S(101) correct up to 2 decimal places.

Notation : \lfloor \cdot \rfloor denotes the floor function .


The answer is 50.00.

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

Jatin Yadav
May 12, 2016

Note that 2 k 2 p 2 k 2 p = 2 ( k 2 ( m o d p ) ) p \left \lfloor \dfrac{2 k^2}{p} \right \rfloor - 2 \left \lfloor \dfrac{k^2}{p} \right \rfloor = \left \lfloor \dfrac{2 (k^2 \pmod p)}{p} \right \rfloor .

Now we have to find the number of solutions of k 2 ( m o d p ) > p 2 k^2 \pmod p > \left \lfloor \frac{p}{2} \right \rfloor .

Let S 1 S_1 be the set of integers k k from 1 1 to p 1 p-1 which satisfy the condition, and S 2 S_2 be its complimentary set.

Now, p 1 ( m o d 4 ) p \equiv 1 \pmod 4 , so there is a solution to x 2 1 ( m o d p ) x^2 \equiv -1 \pmod p . Let the solution be a a .

Note that f ( x ) = a x ( m o d p ) f(x) = a x \pmod p is an injection from S 1 S_1 to S 2 S_2 , and also from S 2 S_2 to S 1 S_1 .

Thus, S 1 = S 2 = p 1 2 |S_1| = |S_2| = \dfrac{p-1}{2} , giving us the answer as 50. 50.

Can you elaborate

Kushal Bose - 5 years, 1 month ago

Log in to reply

Which step did you not get?

jatin yadav - 5 years, 1 month ago
Aakash Khandelwal
May 11, 2016

Where (.) denotes fraction part function and [.] denotes GIF.

Write k 2 / p = [ k 2 / p ] + ( k 2 / p ) k^{2}/p = [ k^{2} /p] + (k^{2}/p) .

Multiply both sides by 2 and take GIF on both sides.

We write general term of this summation as

[ 2 ( k 2 / p ) ] \ [2(k^{2}/p)] .

Where (.) denotes fraction part function and [.] denotes GIF.

Now by induction we see that the summation of this quantity for p = 4 ξ + 1 p=4\xi + 1 is equal to

[ p / 2 ] [p/2] .

Note: Mathematical induction is applied on ξ \xi .

Are you sure induction works?

Shourya Pandey - 5 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...