Abstract:Let $l$ be a positive odd integer. Using Cilleruelo's method, we establish an explicit lower bound $N_l$ depending on $l$ such that for all $n\geq N_l$, $\prod_{k=1}^n (2k^2+l)$ is not a square. As an application, we determine all values of $n$ such that $\prod_{k=1}^n (2k^2+l)$ is a square for certain values of $l$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine whether expressions of the form \( P_{2,l}(n) = \prod_{k = 1}^{n}(2k^2 + l) \) are square numbers under certain specific conditions. Specifically, the author studies whether, when \( l \) is a positive odd number, there exists a positive integer \( N_l \) depending on \( l \) such that for all \( n\geq N_l \), \( P_{2,l}(n) \) is not a square number.
### Problem Background
In number theory, the question of whether the product of polynomials is a square number has been widely studied. For example, Amdeberhan, Medina and Moll proposed a conjecture in 2008: for \( n\geq4 \), \( P_{1,1}(n)=\prod_{k = 1}^{n}(k^2 + 1) \) is not a square number; for \( n\geq1 \), \( P_{4,1}(n)=\prod_{k = 1}^{n}(4k^2 + 1) \) is also not a square number. Cilleruelo proved this conjecture, and Fang also solved a similar conjecture.
### Main Contributions of the Paper
By applying Cilleruelo's method, this paper proves the following main results:
**Theorem 1.1**: Let \( l \) be a positive odd number. Then there exists a positive integer \( N_l \) depending on \( l \) such that for all \( n\geq N_l \), \( P_{2,l}(n)=\prod_{k = 1}^{n}(2k^2 + l) \) is not a square number.
As an application of Theorem 1.1, the author also obtains some specific corollaries:
- **Corollary 1.2**: For all \( n\geq1 \), \( P_{2,1}(n)=\prod_{k = 1}^{n}(2k^2 + 1) \) is not a square number.
- **Corollary 1.3**: For all \( n\geq1 \), \( P_{2,3}(n)=\prod_{k = 1}^{n}(2k^2 + 3) \) is not a square number.
- **Corollary 1.4**: For all \( n\geq1 \), \( P_{2,7}(n)=\prod_{k = 1}^{n}(2k^2 + 7) \) is a square number only when \( n = 1 \).
### Methods and Techniques
To prove these results, the author uses some important lemmas and techniques, including:
- **Lemma 2.1**: If \( P_{2,l}(n) \) is a square number, then its prime factor \( p \) must satisfy \( p < 2n \).
- **Lemma 2.3**: Consider the properties of quadratic residues, especially the value of \( \left( \frac{- 2l}{p} \right) \).
- **Lemma 2.4**: Estimate the upper bound of \( \alpha_p \), where \( \alpha_p \) represents the exponent of \( p \) in \( P_{2,l}(n) \).
Through these lemmas and detailed calculations, the author finally proves the above theorems and corollaries.
### Conclusion
Through strict mathematical proofs, this paper solves the problem of whether the product of polynomials in a specific form is a square number and gives specific boundaries and conditions. This not only extends previous research results but also provides new ideas and tools for future research.