Number theoryDifficulty 5.7AIME, harderProve itGreece
Determine all possible pair of positive integers x, y satisfying the equation: xy(x+y−10)−3x2−2y2+21x+16y=60.
Solution
1. The equation is written: xy(x+y−10)−3x2−2y2+21x+16y=60⇔(y−3)x2+(y2−10y+21)x=2y2−16y+60⇔(y−3)x2+(y−7)(y−3)x=2(y−3)(y−5)+30⇔(y−3)x2+(y−7)(y−3)x−2(y−3)(y−5)=30⇔(y−3)[x2+(y−7)x−2(y−5)]=30⇔(y−3)(x2−7x+xy−2y+10)=30⇔(y−3)(x2−4−7x+xy−2y+14)=30⇔(y−3)((x−2)(x+2)−7(x−2)+(x−2)y)=30⇔(y−3)(x−2)(x+y−5)=30=1⋅2⋅3⋅5. Since x−2, y−3 and x+y−5 are integers such that x−2+y−3=x+y−5 and moreover x−2≥−1, y−3≥−2 and x+y−5≥−3, we have to consider the following cases: ⎩⎨⎧x−2=2y−3=3x+y−5=5 or ⎩⎨⎧x−2=3y−3=2x+y−5=5 or ⎩⎨⎧x−2=1y−3=5x+y−5=6 or ⎩⎨⎧x−2=5y−3=1x+y−5=6(x,y)=(4,6) or (x,y)=(5,5) or (x,y)=(3,8) or (x,y)=(7,4).
Alternatively, from the equation (y−3)x2+(y−3)(y−7)x=2(y2−8y+30) we get: (y−3)[x2+(y−7)x]=2y2−16y+60(1) From which, since x, y are positive integers, arises that: (y−3)∣2y2−16y+60. Since 2y2−16y+60=(y−3)(2y−10)+30 arises that y−3∣30. Therefore y−3∈{±1,±2,±3,±5,±6,±10,±15,±30}, and since y−3≥−2 we get: y−3∈{±1,±2,3,5,6,10,15,30}. For each of these values, by substituting to (1) we obtain a trinomial of x.
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.