n(n+1)(2n+1)/6

n(n+1)(2n+1)は必ず3の倍数であることを証明する。

証　（背理法）
nを3の倍数でないことにすると
n=3k+1かn=3k+2になる

後略