Problem:
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 .
, 2020
Solution
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