Maths Olympiad Prep

Library / /1 of 4

Number theory Difficulty 4.5 AIME Prove it Brazil

aa, bb, cc, dd are integers. Show that x2+ax+b=y2+cy+dx^2 + a x + b = y^2 + c y + d has infinitely many integer solutions iff a24b=c24da^2 - 4b = c^2 - 4d.

Solution

If a24b=c24da^2 - 4b = c^2 - 4d, then a2c2(mod4)a^2 \equiv c^2 \pmod{4}, so aa and cc have the same parity. So if we take any integer xx and then yy to be the integer xac2x - \frac{a-c}{2} we have xa2=yc2x - \frac{a}{2} = y - \frac{c}{2} and hence (xa2)2a24b4=(yc2)2c24d4    x2+ax+b=y2+cy+d(x - \frac{a}{2})^2 - \frac{a^2-4b}{4} = (y - \frac{c}{2})^2 - \frac{c^2-4d}{4} \iff x^2 + a x + b = y^2 + c y + d. Thus the equation has infinitely many integer solutions.

Conversely, suppose k=(a24b)(c24d)0k = (a^2 - 4b) - (c^2 - 4d) \neq 0, then we have (2xa)2(2yc)2=k(2x - a)^2 - (2y - c)^2 = k, so (2x+2yac)(2x2ya+c)=k(2x + 2y - a - c)(2x - 2y - a + c) = k. But kk has only finitely many factorizations, so there are only finitely many possible values for the pair (2x+2yac,2x2ya+c)(2x + 2y - a - c, 2x - 2y - a + c) and hence for the pair (x,y)(x, y).

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.