CHo [TEX]B= x^3(x^2-7)^2-36x[/TEX]
CMR: B chia hết 7 với \forallx thuộc Z
CM B chia hết cho 7 thì chỉ cần chứng minh B+ 35x chia hết cho 7
biến đổi B + 35 = x(x^3-1-7x)(x^3 +1-7x) (1)
ta có X^3 đồng dư với 0,1,6 theo module 7
TH1 : x^3 chia 7 dư 1-> x^3-1 -7x chia hết cho 7
=> (1) chia hết 7=> dpcm
TH2: x^3 chia 7 dư 6-> .......( làm tương tự


)
TH3 : x^3 chia hết cho 7 => x chia hết cho 7
tóm lại B luôn chia hết cho 7 với mọi x



p/s: còn cài định lý fermat nhỏ chứng minh dài phết đấy , khi nào rảnh tui cm cho
......


