Abstract:In this note, we prove that for any given positive integer $\kappa$, when $n$ is bigger than a constant explicitly depending on $\kappa$, the $n$-th Fibonacci number has a primitive divisor not less than $(\kappa+1)n-1$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of large primitive root divisors in the Fibonacci sequence. Specifically, the author aims to prove that for any given positive integer \(\kappa\), when \(n\) is large enough, the \(n\)-th Fibonacci number \(F_n\) always has a primitive root divisor not less than \((\kappa + 1)n-1\), and this divisor is different from \(n\pm1, 2n\pm1,\ldots,\kappa n\pm1\).
### Main Results
1. **Theorem 1.1**:
- Let \(\kappa\) be a fixed positive integer and \(\kappa\leq10^6\).
- There exists a positive integer \(n_0\) depending on \(\kappa\), which can be calculated explicitly.
- For any positive integer \(n\geq\exp(n_0)\), the Fibonacci number \(F_n\) has a primitive root divisor different from the following \(2\kappa\) numbers:
\[
n\pm1, 2n\pm1,\ldots,\kappa n\pm1
\]
- In particular, when \(n\geq\exp(n_0)\), \(F_n\) has a prime factor greater than or equal to \((\kappa + 1)n-1\).
2. **Theorem 1.3**:
- Let \(\kappa\) be a positive integer and \(\log\kappa\geq250000\).
- For any positive integer \(n\geq\exp(143\log\kappa\log\log\kappa)\), the Fibonacci number \(F_n\) has a primitive root divisor different from the following \(2\kappa\) numbers:
\[
n\pm1, 2n\pm1,\ldots,\kappa n\pm1
\]
- In particular, when \(n\geq\exp(143\log\kappa\log\log\kappa)\), \(F_n\) has a prime factor greater than or equal to \((\kappa + 1)n-1\).
### Solution
To prove these results, the author uses Stewart's argument methods [2,7] and Yu's estimates [9], especially the estimates for \(p\)-adic logarithmic forms. In addition, the author also calculates some key parameters through SageMath scripts to ensure the numerical accuracy and validity of the results.
### Conclusion
The main contribution of this paper is to give an explicit expression of \(n_0\) and prove that for large enough \(n\), the Fibonacci number \(F_n\) always has a large primitive root divisor, thus deepening our understanding of the properties of the Fibonacci sequence.