ガイシュツかも知れんが…

pが奇素数のとき 次の不等式を示せ.
 Σ[r=1,p-1] { (r^2)/p - [r^2/p] } = (p-1)/2,  (p≡1 (mod 4))
 Σ[r=1,p-1] { (r^2)/p - [r^2/p] } < (p-1)/2,  (p≡3 (mod 4))
 ( [x] は Gaussの記号 )

http://messages.yahoo.co.jp/bbs?.mm=GN&action=m&board=1835554&tid=bdpbja1jiteybc0a1k&sid=1835554&mid=603
出題(不等式)