Maths Olympiad Prep

Library / /13 of 45

Number theory Difficulty 5.1 AIME, harder Prove it Romania

Let a,b,c,da, b, c, d be positive integers, and let p=a+b+c+dp = a + b + c + d. Prove that if pp is a prime, then pp is not a divisor of abcdab - cd.

Solution

Consider the relation (a+c)(b+c)=ab+ac+bc+c2=(a+b+c+d)c+abcd=pc+abcd(a+c)(b+c) = ab + ac + bc + c^2 = (a+b+c+d)c + ab - cd = pc + ab - cd.
If pp divides abcdab - cd, then pp divides a+ca+c or b+cb+c.
On the other hand, 0<a+c<p0 < a+c < p, and 0<b+c<p0 < b+c < p, a contradiction.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.