\(A=\left(a-b\right)\left(a-c\right)\left(a-d\right)\left(b-c\right)\left(b-d\right)\left(c-d\right)\)
+Chứng minh chia hết cho 3
1 số bất kì khi chia cho 3 sẽ có 1 trong 3 số dư: 0; 1; 2
=> Trong 4 số a, b, c, d tồn tại ít nhất 2 số có cùng số dư khi chia cho 3 (cùng dư 0, hoặc 1, hoặc 2)
=> Hiệu 2 số đó chia hết cho 3 (chẳng hạn a và b cùng dư 2 khi chia cho 3 => a - b chia hết cho 3)
=> Tích "dài dài" chia hết cho 3
+Chứng minh chia hết cho 4:
+TH1: 4 số đều chẵn
=> Tất cả các nhân tử đều chẵn (số chẵn trừ số chẵn = số chẵn)
=> A chia hết cho 2.2.2.2.2.2 = 64
=> A chia hết cho 4.
+TH2: 3 số chẵn và 1 số lẻ (giả sử a, b, c chẵn và d lẻ).
=> (a-b); (a-c); (b-c) đều chẵn.
=> A chia hết cho 2.2.2 = 8.
=> A chia hết cho 4.
+TH3: 2 số chẵn và 2 số lẻ (giả sử a và b chẵn; c và lẻ)
=> (a-b) và (c-d) đều chẵn (số lẻ trừ số lẻ = số chẵn)
=> A chia hết cho 2.2 = 4
TH4: 1 số chẵn và 3 số lẻ (giả sử a, b, c lẻ và d chẵn).
=> (a-b); (a-c); (b-c) đều chẵn. (lẻ trừ lẻ = chẵn)
=> A chia hết cho 2.2.2 = 8.
=> A chia hết cho 4.
+TH5: 4 số đều lẻ
=> Tất cả các nhân tử đều chẵn (lẻ trừ lẻ = chẵn)
=> A chia hết cho 2.2.2.2.2.2 = 64
=> A chia hết cho 4.
=> A luôn chia hết cho 4.
Vậy: A luôn chia hết cho cả 3 và 4.