NX: 1 số chính phương chia 4 dư 0 hoặc 1

+) Nếu trong `b,c,d` có 1 số chẵn và 2 số lẻ

`=> b^2+c^2+d^2` chẵn

`=> a^2` chẵn

`=> a` chẵn (vô lí vì `a,b,c,d` đôi một phân biệt)

+) Nếu `b,c,d` đều lẻ

`=> b^2,c^2,d^2` chia 4 dư 1

`=> b^2+c^2+d^2` chia 4 dư 3

Mà `a^2` chia 4 dư 0 hoặc 1

`=>` Vô lí