a) [TEX]S= \frac{3^{2004}-1}{8}[/TEX]
b) Đã tính được S, để chứng minh S chia hết cho 7. Ta chứng mình [TEX]3^{2004}-1 \ \vdots 7[/TEX].
Thật vậy thì [TEX]3^3 \equiv -1 \pmod{7} \Rightarrow (3^3)^{668} \equiv -1 \pmod{7} \Rightarrow 3^{2004} \equiv -1 \pmod{7} \Rightarrow 3^{2004}-6 \equiv -7 \equiv 0 \pmod{7}[/TEX].
Ta có đpcm.