Number theoryDifficulty 5.5AIME, harderProve itSaudi Arabia
Let a, b, c, d be positive integers such that a+b+c+d=2011. Prove that 2011 is not a divisor of ab−cd.
Solution
We have (a+c)(b+c)=ab+ac+bc+c2=(a+b+c+d)c+ab−cd=2011c+ab−cd Because 2011 is a prime, if 2011∣ab−cd, then 2011∣a+c or 2011∣b+c. This is not possible since 0<a+c<2011, and 0<b+c<2011, 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.