 Solution

To compute the rank of an elliptic curve, translate the rational point of order two to $(0,0)$ and put the curve in the form $y^2=x^3+a{x}^2+bx$, with $a,b\in \mathbb{Z}$ after clearing denominators and $b(a^2-4b)\ne 0$. Its two-isogenous partner and the elliptic isogeny areThe maps extend over their exceptional points. The dual isogeny isThe two-torsion square-class homomorphism is $\alpha :E(\mathbb{Q})\to {\mathbb{Q}}^{\times }/{\mathbb{Q}}^{\times 2}$, defined by $\alpha (O)=1$, $\alpha ((0,0))=[b]$, and $\alpha ((x,y))=[x]$ otherwise. Define ${\alpha }^{\prime }$ similarly on $E^{\prime }$ with $b^{\prime }=a^2-4b$.

Here are the ingredients behind the descent procedure. For a generic chord $y=mx+c$, the cubic of intersection coordinates has root product $c^2$. As the third intersection is the negative of the group sum and negation leaves $x$ unchanged, this proves the square-class homomorphism property. For a line through $(0,0)$, the two nonzero intersection coordinates have product $b$, so the assigned class $[b]$ gives the same multiplicativity. A vertical line has two equal coordinates and contributes their square, and $O$ has identity class. These observations also cover tangencies and the exceptional sums. Its kernel is $\hat{\varphi }(E^{\prime }(\mathbb{Q}))$. Indeed, the displayed formula gives $x(\hat{\varphi }(X,Y))=(Y/(2X){)}^2$. Conversely, if a point on $E$ has $x=r^2\ne 0$, the possible preimage coordinates satisfyIts elliptic-curve discriminant is $16(r^4+a{r}^2+b)=16y^2/r^2$, a rational square. A root $X$ and $Y=2rX$, with the sign chosen appropriately, give a preimage. The identity is always in the image. The point $(0,0)$ is in the image exactly when $b$ is a square: its nonzero preimage coordinates are $X=a\pm 2\sqrt{b}$, with $Y=0$. Thus the exceptional points satisfy precisely the same kernel statement. Interchanging the curves similarly gives $\ker {\alpha }^{\prime }=\varphi (E(\mathbb{Q}))$.

A prime not dividing $b$ can occur only with even valuation in an $x$-coordinate. If its valuation is positive, the factor $x^2+ax+b$ is a unit and $2v(y)=v(x)$; if negative, $x^2$ dominates that factor and $2v(y)=3v(x)$. Thus square classes in $\mathrm{im}\alpha$ have signed square-free representatives dividing $b$, giving finitely many candidates. To test a candidate $d$, put $x=d(u/v{)}^2$ and $y=duN/v^3$. The curve equation becomesA nontrivial rational solution, including the appropriate limiting points, is exactly a realization of the class. Clear denominators and arrange $\gcd (u,v)=1$ for congruence tests. Do the same for $E^{\prime }$ with $b^{\prime }$.

The factor in the two-isogeny rank formula can also be checked directly. Let $A=E(\mathbb{Q})$, $B=E^{\prime }(\mathbb{Q})$ and $t=\#A[2]$. The index of $\hat{\varphi }(B)$ in $A$ is $\#\mathrm{im}\alpha$, while the map from $B/\varphi (A)$ onto $\hat{\varphi }(B)/2A$ has kernelThe numerator has order two. Moreover $\ker \hat{\varphi }\cap \varphi (A)=\varphi (A[2])$, since $\hat{\varphi }\varphi P=2P$, and the latter has order $t/2$. Hence this quotient has order $4/t$, andThe Mordell-Weil theorem gives $[A:2A]=2^{r}t$, where $r$ is the rank. Cancelling $t$ yieldsIn practice, local congruence and real-solubility tests remove many candidate quartics, giving an upper bound, while rational point searches realize classes and give a lower bound. These often coincide. Local solubility alone is not a proof of a rational point: an everywhere locally soluble covering can still fail globally, so a remaining gap must be reported rather than treated as an exact rank.

For the curve at hand, $a=8$, $b=-7$, $b^{\prime }=92$, andThe first image is contained in $\{1,-1,7,-7\}$ and contains $1,-7$, the latter from the point $(0,0)$. To exclude $-1$, its quartic would require coprime $u,v$ withModulo $16$, an odd fourth power is $1$ and an even fourth power is $0$. If $u$ is odd and $v$ even the right side is $15$; if $u$ is even and $v$ odd it is $7$; if both are odd it is $14$. None is among the square residues $0,1,4,9$. Thus $-1$ is impossible. The image is a subgroup, so $7$ is also impossible: its product with the known class $-7$ would be $-1$. We obtain $\mathrm{im}\alpha =\{1,-7\}$.

For $E^{\prime }$, its quadratic factor is $X^2-16X+92=(X-8{)}^2+28>0$. Every nonzero rational $X$-coordinate is therefore positive. Prime support leaves only $1,2,23,46$ as possible classes; $1$ and $23=[92]$ are supplied by $O$ and the two-torsion point. The explicit point $(18,48)$ is on $E^{\prime }$ becauseIts class is $[18]=2$. Multiplying classes supplies $46$, so $\mathrm{im}{\alpha }^{\prime }=\{1,2,23,46\}$. The two-isogeny rank formula now provesAs an additional concrete point on the original curve, the dual isogeny sends $(18,48)$ to $(16/9,116/27)$. The descent calculation proves the rank; it does not by itself certify that this point generates the full free quotient.