Observe that −2008≡6≡52(mod19). Thus,
2k=0∑n(2k+12n+1)(−2008)k≡2k=0∑n(2k+12n+1)52k(mod19)≡(1+5)2n+1−(1−5)2n+1(mod19)≡62n+1+42n+1≡22n+1(32n+1+22n+1)(mod19).
Since
32n+1+22n+1≡(−16)2n+1+22n+1≡22n+1(1−26n+3)(mod19)
and 218≡1(mod19). We can see that
26(n+3)+3≡26n+3(mod19)
for each n=0,1,2,….
Therefore, it suffices to consider the divisibility of 32n+1+22n+1 by 19 when n=0,1,2. We now verify that
31+21≡5(mod19)
33+23≡35≡16(mod19)
35+25≡275≡9(mod19).
Hence, 19∤∑k=0n(2k+12n+1)(−2008)k.