Abstract:In this paper, we prove that there is no number with the Lehmer property in the sequence of Pell numbers.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that there are no numbers with the Lehmer property in the Pell numbers. Specifically, for a composite number \(n\), if the Euler's totient function \(\varphi(n)\) divides \(n - 1\), then \(n\) is said to have the Lehmer property. Lehmer's conjecture states that such numbers do not exist.
### Main content of the paper
1. **Background introduction**:
- The Euler's totient function \(\varphi(n)\) represents the number of positive integers less than \(n\) and relatively prime to \(n\).
- In 1932, Lehmer proposed the conjecture: there is no composite number \(N\) such that \(\varphi(N)\mid N - 1\).
- If \(N\) has the Lehmer property, then \(\omega(N)\geq7\), where \(\omega(N)\) represents the number of distinct prime factors of \(N\). This result has been continuously improved, and the latest record is \(\omega(N)\geq15\).
2. **Research motivation**:
- Since it is relatively difficult to directly prove Lehmer's conjecture, some researchers have turned to prove that there are no numbers with the Lehmer property in specific sequences, such as the Fibonacci sequence, the Lucas sequence, etc.
- The goal of this paper is to prove that there are no numbers with the Lehmer property in the Pell numbers.
3. **Main results**:
- Theorem 1: There are no numbers with the Lehmer property in the Pell numbers.
4. **Proof methods**:
- Use the generating formula and related properties of the Pell numbers for derivation.
- By analyzing the properties of the Pell numbers and the distribution of prime factors, combined with the existing research results on the Lehmer property, finally draw the conclusion.
### Summary of mathematical formulas
- The generating formula of the Pell numbers:
\[
P_n=\frac{\alpha^n-\beta^n}{\alpha - \beta},\quad\text{where}\quad\alpha = 1+\sqrt{2},\quad\beta=1-\sqrt{2}
\]
- The inequality of the Pell numbers:
\[
P_n\geq2^{n/2}\quad\text{for all}\quad n\geq2
\]
- The relationship between the Pell numbers and their companion sequences:
\[
Q_n=\alpha^n+\beta^n
\]
- The key lemma:
\[
Q_n^2 - 8P_n^2=4(- 1)^n
\]
Through these formulas and properties, the author gradually deduces that there are no numbers with the Lehmer property in the Pell numbers.