Let , and . Find the number of parabolas with vertex that satisfy the following conditions: - goes through both and at least one point in , - has integer coordinates, and - is tangent to the line at .
HMMT February
Solution
We perform the linear transformation , which has the reverse transformation . Then the equivalent problem has a parabola has a vertical axis of symmetry, goes through , a point in and a new vertex on with even. Then . The only way the RHS can be the square of a rational number is if where . Since is even, we can find conditions so that are both even: , , . It follows that any parabola that goes through has a point with , and any parabola that goes through has a point with . We then count the following parabolas: - The number of parabolas going through , where is a nonzero integer with . - The number of parabolas going through not already counted, where is a nonzero integer with . (Note that this passes through .) - The number of parabolas going through not already counted, where is a nonzero integer with . (Note that this passes through , and any overlap must have been counted in the first case.) The number of solutions is then .