For a given rational $c\ne-1$, I need to find a rational $x\ne20$ with a small denominator such that $(5cx+100)(5cx-64c+36)$ is a perfect square.
I start with
$y^2=(5cx+100)(5cx-64c+36)$
and complete the square to transform it to
$y^2+(32c+32)^2=(5cx-32c+68)^2$
A standard approach for non-primitive Pythagorean triples gives
$5cx-32c+68=\frac{k(m^2+n^2)}{2}$
$32c+32=\frac{k(m^2-n^2)}{2}$
which by addition/subtraction can be rewritten into
$5cx+100=km^2$
$5cx-64c+36=kn^2$
$y^2=(kmn)^2$
Solutions for $x$ and $k$ are below
$x = \frac{4(25n^2+16cm^2-9m^2)}{5c(m^2-n^2)}$
$k = \frac{64(c+1)}{m^2-n^2}$
My questions:
- Is there a way to quickly find $m$ and $n$ such that the denominator of $x$ is small? (e.g., similar to Chakravala method)
- Is there a way to transform this perfect square quadratic into an elliptic curve?
- How good of a solution for $x$ is it possible to find for $c= - \frac{37178488}{89505763}$ in a reasonable time?
Example:
For $c=\frac{41267184237}{443212989587}$, the values $|m|=1179067$ and $|n|=649029$ seem to produce the minimal solution $x=\frac{4}{5}$. But brute-forcing integer $m$ and $n$ takes much longer than brute-forcing a rational $x$ in this case.