Abstract:We wish to discuss positive integer solutions to the Diophantine equation $$\prod_{k=1}^n(k^2+1)=b^2$$ and state some possible extensions of the problem. Some methods in analytic number theory will be used to tackle this problem.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find positive integer solutions that satisfy a specific Diophantine equation. Specifically, the author focuses on positive integer solutions of the following equation:
\[
\prod_{k = 1}^{n}(k^2 + 1)=b^2
\]
where \(n\) and \(b\) are positive integers. In other words, the author hopes to find all \(n\) values such that the product of the square plus 1 from 1 to \(n\) is equal to the square of a certain positive integer.
### Problem Background
The author introduced this problem through a geometric problem. In a simple geometric problem proposed by Numberphile in 2014, three congruent squares are arranged in a specific way, and by constructing line segments through the vertices, it can be proved that the sum of the angles formed by these line segments is \(\pi/2\). Using the theory of complex numbers, this problem can be simplified by calculating the argument of complex numbers:
\[
\arg((1 + i)(2 + i)(3 + i))=\arg(1 + i)+\arg(2 + i)+\arg(3 + i)=\frac{\pi}{2}
\]
### Problem Extension
Further, the author extends the problem to the case of \(n\) squares and explores whether there exists \(n\) such that the sum of these angles is a rational multiple of \(\pi\). That is, whether there exist integers \(p\) and \(q\) (\(q\neq0\)) such that:
\[
\sum_{k = 1}^{n}\arctan\left(\frac{1}{k}\right)=\frac{p}{q}\cdot\pi
\]
### Number - theory Connection
This problem is closely related to number theory. For \(1\leq k\leq n\), the modulus of the complex number \(k + i\) is \(\sqrt{k^2 + 1}\). Therefore, the problem can be transformed into finding all pairs of natural numbers \((b, n)\) such that:
\[
\prod_{k = 1}^{n}(k^2 + 1)=b^2
\]
The author asserts that the only solution is \((b, n)=(10, 3)\), that is, when \(n = 3\), the above product is a perfect square.
### Main Conclusion
The main conclusion of the paper is to prove that for \(n>3\), the above product is not a perfect square. To prove this, the author uses a variety of number - theory tools and techniques, including prime number distribution, Legendre symbols, quadratic reciprocity laws, etc. Finally, the author proves that for \(n\geq1831\), the above product is indeed not a perfect square, and confirms the cases of \(4\leq n\leq1830\) by direct verification.
In summary, this paper aims to solve a specific Diophantine equation and proves through number - theory methods that its only solution is \((b, n)=(10, 3)\).