Number theoryDifficulty 5.1AIME, harderProve itRomania
Let a,b,c,d be positive integers, and let p=a+b+c+d. Prove that if p is a prime, then p is not a divisor of ab−cd.
Solution
Consider the relation (a+c)(b+c)=ab+ac+bc+c2=(a+b+c+d)c+ab−cd=pc+ab−cd. If p divides ab−cd, then p divides a+c or b+c. On the other hand, 0<a+c<p, and 0<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.