Allan J. MacLeod
Abstract:We present an elementary exposition of the descent method used by Komoto, Watanabe and Wada to show $N=42553$ is a congruent number. We generalize to $N=7p$ with $p$ prime, and try to present the method such that an amateur could understand and perform their own calculations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove whether certain numbers \( N \) in specific forms are congruent numbers. Specifically, the author Allan J. MacLeod elaborately explains the method used by Komoto, Watanabe and Wada to prove that \( N = 42553 \) is a congruent number. In addition, the author generalizes this method to the form \( N = 7p \), where \( p \) is a prime number, and tries to present this method in an easy - to - understand way so that amateurs can also carry out relevant calculations.
### Background and Problem
The congruent number problem is a classic number theory problem, which involves finding positive integers \( N \) that satisfy the following conditions: there exist three positive integers \( a \), \( b \), and \( c \) such that:
\[ a^2 + b^2 = c^2 \]
and the area of the triangle is:
\[ \text{Area}=\frac{1}{2}ab = N \]
In this paper, the author focuses on how to use the method of elliptic curves to verify whether a certain number is a congruent number. In particular, they study the specific example of \( N = 42553 \) and generalize it to the more general form \( N = 7p \).
### Method Overview
The author uses the descent method proposed by Komoto, Watanabe and Wada. This method is based on the elliptic curve:
\[ Y^2 = X^3 - N^2X \]
By choosing appropriate parameters \( d, u, v, w \), the problem can be transformed into solving a specific quadratic equation and a quartic equation. The specific steps include:
1. **Selecting Parameters**: Let \( N = 7p \) and choose \( d=-p \), thus obtaining the equation:
\[ w^2=-p(u^4 - 49v^4) \]
2. **Factor Decomposition**: Further decompose the terms in the equation, for example:
\[ pz^2=(49v^4 - u^4)=(7v^2 + u^2)(7v^2 - u^2) \]
3. **Constructing Matrix Equation**: Through a series of transformations, finally reduce the problem to solving a matrix equation:
\[ (e, f, v)\begin{pmatrix}p^2 & 3p & 0\\3p & 1 & 0\\0 & 0 & - 28\end{pmatrix}\begin{pmatrix}e\\f\\v\end{pmatrix}=0 \]
4. **Simplifying the Equation**: Through further transformations and substitutions, simplify the problem to solving a quartic equation:
\[ d^2 = f_0x^4+112v_0x^3y + 56(8\alpha(2p^2 + 7v_0^2)-28\beta v_0(f_0 + 3p)-f_0)x^2y^2+3136v_0xy^3 + 784f_0y^4 \]
### Results and Applications
The author implements the above - mentioned method through Pari - gp code and conducts numerical verification on multiple instances. For example, for \( N = 7\times6079 \), a point is found:
\[ X=-6079\times\frac{37241081919625483829652}{18315524065843435226392} \]
The height of this point is 57.11. In addition, points with larger heights are also found, such as the height of \( N = 7\times971 \) is 117.45.
In conclusion, this paper not only solves the problem of whether \( N = 42553 \) is a congruent number, but also provides a general method that can be applied to other numbers \( N = 7p \) in similar forms.