MathLabs

Problem 5

Let a,b,ca,b,c be integers satisfying 0<a<c−10<a<c-1 and 1<b<c1<b<c. For each kk, 0≤k≤a0\le k\le a, let rkr_k, 0≤rk<c0\le r_k<c, be the remainder of kbkb when divided by cc. Prove that the two sets {r0,r1,r2,…,ra}\{r_0,r_1,r_2,\ldots,r_a\} and {0,1,2,…,a}\{0,1,2,\ldots,a\} are different.
Step 3 of 5: Factor the polynomial
(xb−1)(x−1)f(x)=F(x)=xab+b+1+xb+xa+1−xab+b−xa+b+1−x(x^b-1)(x-1)f(x)=F(x)=x^{ab+b+1}+x^b+x^{a+1}-x^{ab+b}-x^{a+b+1}-x
Detailed analysis

Using the two finite geometric sums gives (x^b−1)(x−1)f(x)=F(x), where F has the six displayed monomials. Since x^c−1 divides f(x), it also divides F(x).