Đặt A = n4 - 4n3 - 4n2 + 16n
= n3(n - 4) - 4n(n - 4)
= (n - 4)(n3 - 4n)
= (n - 4)n(n2 - 4)
= (n - 4)n(n - 2)(n + 2)
= (n - 4)(n - 2)n(n + 2)
Vì n chẵn => n = 2k (k \(\inℕ^∗\))
Khi đó A = (2k - 4)(2k - 2)2k(2k + 2)
= 2(k - 2).2(k - 1).2k.2(k + 1)
= 16(k - 2)(k - 1)k(k + 1)
Vì (k - 2)(k - 1)k(k + 1) là tích 4 số nguyên liên tiếp
=> Tồn tại 2 số chia hết cho 2 ; 4
Mà n > 4 => k > 2
=> (k - 2)(k - 1).k(k + 1) \(⋮\)8
lại có (k - 2)(k - 1)k(k + 1) \(⋮\)3 (tích 4 số liên tiếp => tồn tại 1 số chia hết cho 3)
Mà ƯCLN(8;3) = 1
=> (k - 2)(k - 1)k(k + 1) \(⋮\)8.3 = 24
=> A \(⋮\)384
n chẵn > 4 mà Xyz ?