Fermat challenged Frenicle with finding a pythagorean triple (a,b,c) where $(a-b)^2-2b^2$ is itself a square. By making the substitution $a=m^2-n^2$, $b=2mn$, and $c=m^2+n^2$ into $(a-b)^2-2b^2=d^2$ we obtain the following quartic:
$m^4-4m^3n-6m^2n^2+4mn^3+n^4=d^2$
The goal of the exercise is to somehow obtain a curve that corresponds to this equation, and to then use another curve, namely a quadratic intersecting it with this curve to generate another solution from the solution (1,0,1).
This method was used to show that there also exists a pythagorean triple (a,b,c) where c and a-b are both squares. Using the curve $y^2=2x^4-1$ and using an intersecting quadratic to generate a nontrivial solution.
Any hints or tips would be appreciated.
Let us begin with the quartic $$m^4-4m^3n-6m^2n^2+4mn^3+n^4=d^2.$$ Dividing through by $n^4$, we obtain $$m'^4-4m'^3-6m'^2+4m'+1=d'^2,$$ with $m'=m/n$ and $d'=d/n^2$. Now we can homogenize this equation to obtain $$E:M^4-4M^3N-6M^2N^2+4MN^3+N^4=D^2N^2,$$ which has a rational point $P=[M,N,D]=[0,0,1]$. The curve $E$ is in fact non-singular, and of genus $1$, so the pair $(E,P)$ is an elliptic curve. An appropriate change of variables (left to the OP as she/he asks for hints) brings $E$ to a Weierstrass model $$E':y^2 - 4xy - 32y = x^3 + 20x^2 + 96x,$$ and there is a rational map $\phi:E'\to E$. The Mordell-Weil group of $E'$ is isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}$, generated by $S=[-8,0,1]$, and $T=[-12,-16,1]$. Now, there is an appropriate $\mathbb{Z}$-linear combination of $S$ and $T$ (again left to the OP to figure out) that gives a point $R$, such that $\phi(R)=[78/1343,4/1343,1]$. This says that $[M,N,D]=[78/1343,4/1343,1]$ is a point on $E$, and therefore $(M,N,DN)$ is a solution of the original quartic. This would give a pythagorean triple with the desired quality, but with rational coefficients, so instead we may realize that $$(1343M,1343N,1343^2DN)=(78,4,4\cdot 1343)$$ is also a point in the original quartic. This point corresponds with $$(a,b,c)=(6068, 624, 6100)$$ and indeed $(a-b)^2-2b^2=28858384=2^4\cdot 17^2\cdot 79^2$ is a square.