Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$(a + b + c)^p - (a^p + b^p + c^p)$ is always divisible by

(a) $p - 1\quad$ (b) $a + b + c\quad$ ( c ) $p\quad$ ( d ) $p^2 - 1$

$p$ is prime

I am able to solve this by substituting values and by euler theorem by assuming $( a + b + c )$ are co prime with $p$.

But I am unable to solve it by expansion nothing is working

share|cite|improve this question
You need to look at [Freshman's dream][1]. [1]: – user17762 Jul 12 '12 at 4:50
@BabakSorouh I don't know but why do ask the question? – user17762 Jul 12 '12 at 8:17
up vote 2 down vote accepted


Since $x^p-x$ is 0 mod $p$, the above is always divisible by $p$ whether or not $a+b+c$ and $p$ are co-prime!

So option (c) is true

(b) and (d) are ruled out by setting $a=1,b=c=2,p=3$

share|cite|improve this answer
Please try to prove or disprove part (a) also! – Host-website-on-iPage Jul 12 '12 at 6:36
How x^p - x is divisible by p , its is only when x and p are co prime – Arpit Bajpai Jul 12 '12 at 6:37
That's just group theory. Go modulo $p$. You then are in the multiplicative group modulo $p$, which has order $p-1$ so $x$ should have order dividing $p-1$ mod $p$, so that $x^{p-1}$ is 1 mod $p$ whenever $x$ is non-zero mod $p$. This implies $x^p$ is $x$ mod $p$ which is also true when $x$ is $0$ mod $p$ – Host-website-on-iPage Jul 12 '12 at 6:37
Part (a) can also be proved or disproved quite easily. – Host-website-on-iPage Jul 12 '12 at 6:40
Put a = 1, b = 3 and c = 5 and p = 2 – Arpit Bajpai Jul 12 '12 at 6:40

Expansion will do it, along with information about divisibility of certain multinomial or binomial coefficients by $p$.

But it is much cleaner to use Fermat's Theorem, in the version that says $x^p\equiv x\pmod{p}$. This holds with no restrictions on $x$. So in particular you need not separate out the case where $a+b+c$ is divisible by $p$.

share|cite|improve this answer

$(a+b+c)^p=a^p+b^p+c^p+$ terms containing some ${p\choose k}$ where $1\leq k\leq p-1$. As we know, ${p\choose k}=\frac{p}{k} {p-1\choose k-1}$ and as $p$ is a prime so $k\nmid p$ (as $k\lt p$), therefore, $\frac{{p-1\choose k-1}}{k}$ is an integer and thus $p\mid {p\choose k}$ and hence $(a+b+c)^p-a^p+b^p+c^p=$ terms containing some ${p\choose k}$ which is divisible by $p$ for sure.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.