The problem was to show that
⌊2p/3⌋∑k=1(pk)
is divisible by p2 for a prime p≥5.
Solution
Now working in the field Fp (where division makes sense) we have that
(pk)p=(p−1)!k!(p−k)!=(p−1)(p−2)…(p−k+1)k!
=(−1)(−2)…(−(k−1))k!=(−1)k−1k
Let T=⌊2p/3⌋,U=⌊T2⌋
Thus the sum we need to show divisible by p (note that we divided by p already) is
T∑k=1(−1)k−1k
=T∑k=11k−2U∑k=112k
=T∑k=U+11k
Now T+U+1=p so this sum becomes
1T+1U+1+1T−1+1U+2+…
(by coming terms from the ends)
=pT(U+1)+p(T−1)(U+2)+…
which is divisible by p.
⌊2p/3⌋∑k=1(pk)
is divisible by p2 for a prime p≥5.
Solution
Now working in the field Fp (where division makes sense) we have that
(pk)p=(p−1)!k!(p−k)!=(p−1)(p−2)…(p−k+1)k!
=(−1)(−2)…(−(k−1))k!=(−1)k−1k
Let T=⌊2p/3⌋,U=⌊T2⌋
Thus the sum we need to show divisible by p (note that we divided by p already) is
T∑k=1(−1)k−1k
=T∑k=11k−2U∑k=112k
=T∑k=U+11k
Now T+U+1=p so this sum becomes
1T+1U+1+1T−1+1U+2+…
(by coming terms from the ends)
=pT(U+1)+p(T−1)(U+2)+…
which is divisible by p.
No comments:
Post a Comment