On the Diophantine equation $pq=x^2+ny^2$

Ja Kyung Koo,Dong Hwa Shin
DOI: https://doi.org/10.48550/arXiv.1404.1060
2014-04-17
Abstract:Let $n$ be a positive integer. We discuss pairs of distinct odd primes $p$ and $q$ not dividing $n$ for which the Diophantine equations $pq=x^2+ny^2$ have integer solutions in $x$ and $y$. As its examples we classify all such pairs of $p$ and $q$ when $n=5$ and $14$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: for a given positive integer \(n\), find two distinct odd primes \(p\) and \(q\) that satisfy specific conditions, such that the Diophantine equation \(pq = x^{2}+ny^{2}\) has integer solutions \(x\) and \(y\). Specifically, the author has studied the following problems: 1. **Solving the Diophantine equation**: For a given positive integer \(n\), find all distinct odd primes \(p\) and \(q\) that do not divide \(n\), such that the equation \(pq=x^{2}+ny^{2}\) has integer solutions. 2. **Study of special cases**: As examples, the author has classified all prime pairs \((p, q)\) that satisfy the above conditions when \(n = 5\) and \(n=14\). ### Main conclusions - **Equivalent conditions**: The author gives an equivalent condition, that is, the equation \(pq = x^{2}+ny^{2}\) has integer solutions if and only if there is a reduced form with discriminant \(- 4n\) that represents \(p\) and \(q\) simultaneously (see Theorem 4.1). - **Specific examples**: - For \(n = 5\), the author proves that the equation \(pq=x^{2}+5y^{2}\) has integer solutions if and only if \(p\) and \(q\) simultaneously satisfy \(p,q\equiv1,9\pmod{20}\) or \(p,q\equiv3,7\pmod{20}\) (see Example 5.1). - For \(n = 14\), the author has discussed four reduced forms in detail and concluded that the equation \(pq = x^{2}+14y^{2}\) has integer solutions if and only if \(p\) and \(q\) are simultaneously represented by one of these forms (see Example 5.2). ### Mathematical tools and methods To prove these conclusions, the author uses the following mathematical tools and methods: - **Theory of binary quadratic forms**: Study reduced forms and their equivalence classes. - **Ideal class group theory**: Relate the class group of binary quadratic forms to the ideal class group. - **Ring class field theory**: Use the properties of ring class fields to study the representation problem of prime numbers. Through these tools, the author not only solves the problem of solving Diophantine equations in specific cases, but also provides a method for solving the problem in general cases.