Solution:
a. Since 2007 is an odd number, the value of a polynomial at 2007 is even or odd depending on whether the number of its odd coefficients is even or odd. But if p and q are similar, then in particular they contain the same number of odd coefficients, and therefore p(2007) and q(2007) are either both even or both odd. In either case, their difference is divisible by 2.
b. Yes, this also holds for k=2006.
For every non-negative integer h, we have 2007h≡1(mod2006). If p(x)=anxn+an−1xn−1+⋯+a0 and q(x)=bnxn+bn−1xn−1+⋯+b0 then we have
p(2007)q(2007)≡an+an−1+⋯+a0(mod 2006)≡bn+bn−1+⋯+b0(mod 2006)
from which p(2007)−q(2007)≡(an+an−1+⋯+a0)−(bn+bn−1+⋯+b0)=0(mod2006).
Alternative Solution:
Both cases (a) and (b) can be solved in the following way. Note that if p and q are similar it necessarily follows that p(1)=q(1). Now let r(x)=p(x)−q(x); we have r(1)=0, hence (x−1) divides r(x). But then 2006=2007−1 divides r(2007)=p(2007)−q(2007).