Ta có:
a2 + b2 + c2
= a.a + b.b + c.c
= [a(a - 1) + a] + [b(b - 1) + b] + [c(c - 1) + c]
= [a(a - 1) + b(b - 1) + c(c - 1)] + (a + b + c)
= [a(a - 1) + b(b - 1) + c(c - 1)] + 2016
Vì tích 2 số nguyên liên tiếp luôn là 1 số chẵn nên a(a - 1); b(b - 1); c(c - 1) là các số chẵn.
=> a(a - 1) + b(b - 1) + c(c - 1) là số chẵn.
Mà 2016 là số chẵn
Từ 2 điều trên => [a(a - 1) + b(b - 1) + c(c - 1)] + 2016 là số chẵn
hay a2 + b2 + c2 là số chẵn (ĐPCM)