n12-n8-n4+513 = (n12-n8)-(n4-1)+512 = n8(n4-1)-(n4-1)+512 = (n4-1)(n8-1)+512 = (n4-1)2(n4+1)+512 = (n4-1)2(n4+1)+512 =
= (n-1)2(n+1)2(n2+1)2(n4+1)+512
Ta có: 512=29
Nhận thấy 512 chia hết cho 512
Xét: n=1 => (n-1)2(n+1)2(n2+1)2(n4+1)=0 => n12-n8-n4+513=512 chia hết cho 512
n>1, n lẻ => (n-1)2; (n+1)2; (n2+1)2 và (n4+1) là các số chẵn và trong đó có ít nhất 2 số chia hết cho 4
=> (n-1)2(n+1)2(n2+1)2(n4+1) là số có dạng: (2k)5(4n)2 = 25.24.k5.n5 = 512.a chia hết cho 512
=> (n-1)2(n+1)2(n2+1)2(n4+1)+512 chia hết cho 512
=> n12-n8-n4+513 Chia hết cho 512 với mọi n lẻ