Haizzz cái bài này thấy post lâu rồi ... anh em comment quá trời mà vẫn chưa có một đáp án nào đúng hết, mà chủ topic nói là đã chứng minh đuợc nhưng lại ko post bài giải cho mọi người cùng tham khảo ... tớ mạn phép làm thử bài này
Sử dụng đồng dư thức để cm chia hết.
[TEX]\ a.b = 2002^{2003}[/TEX] không chia hết cho 3
[TEX]\Rightarrow a , b [/TEX] đều không chia hết cho 3
Mặt khác ta lại có
2002 đồng dư với 1 theo module 3 (tức la 2002 chia 3 dư 1)
=> [TEX] 2002^{2003} [/TEX] đồng dư với [TEX] 1^{2003} = 1[/TEX] theo module 3 (nghĩa là [TEX]2002^{2003}[/TEX] chia 3 dư 1)
Chú ý: cái này cũng có thể dùng hằng đẳng thức để cm cũng được, nhị thức newton ak ( [TEX] (2001 + 1) ^{2003} = ........[/TEX]
Đăt [TEX]a = 3m + r ( r = 1,2)[/TEX]
[TEX]b = 3n + p (p = 1,2)[/TEX]
[TEX]\Rightarrow a.b = (3m+r)(3n+p) = 9m.n + 3m.p + 3n.r + r.p[/TEX]
Vì [TEX]ab[/TEX] chia 3 dư 1 nên suy ra [TEX]r.p[/TEX] chia 3 dư 1
[TEX]\Rightarrow r = 1 , p = 1[/TEX]
Hoặc [TEX] r = 2, p = 2[/TEX]
Xét 2 trường hợp dẫn đến a + b = 3m + 3n + 2 hoặc a + b = 3m + 3n + 4 không chia hết cho 3
[TEX]\Rightarrow a + b [/TEX] Không chia hết cho 2004