Number theoryDifficulty 5.1AIME, harderProve itSoviet Union
Problem: Given unequal integers x, y, z prove that (x−y)5+(y−z)5+(z−x)5 is divisible by 5(x−y)(y−z)(z−x).
Solution
Solution: Put x−y=r, y−z=s. Then z−x=−(r+s), and (x−y)5+(y−z)5+(z−x)5=r5+s5−(r+s)5 Expand (r+s)5: (r+s)5=r5+5r4s+10r3s2+10r2s3+5rs4+s5 So, r5+s5−(r+s)5=r5+s5−[r5+5r4s+10r3s2+10r2s3+5rs4+s5] =−5r4s−10r3s2−10r2s3−5rs4 =−5rs(r3+2r2s+2rs2+s3) =−5rs(r2+rs+s2)(r+s) Therefore, (x−y)5+(y−z)5+(z−x)5=−5rs(r+s)(r2+rs+s2) Recall r=x−y, s=y−z, r+s=x−y+y−z=x−z=−(z−x).
Thus, rs(r+s)=(x−y)(y−z)(z−x) (up to sign), and the expression is divisible by 5(x−y)(y−z)(z−x).
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.