Abstract:We give a generalization of Wolstenholme's harmonic series congruence for the Lucas sequences.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize Wolstenholme's harmonic series congruence theorem, especially to extend it to any Lucas sequence. Specifically, in the paper, the Lucas sequence $\{u_n\}_{n = 0}^{\infty}$ of two non - zero integers $A$ and $B$ and its companion sequence $\{v_n\}_{n = 0}^{\infty}$ are defined, where:
- $u_0=0$, $u_1 = 1$, $u_n=A u_{n - 1}-B u_{n - 2}$ for $n\geq2$
- $v_0 = 2$, $v_1=A$, $v_n=A v_{n - 1}-B v_{n - 2}$ for $n\geq2$
For any positive integer $n$, let $w_n$ be the greatest divisor of $u_n$ that is coprime to $u_1, u_2,\ldots, u_{n - 1}$. The main result of the paper is to prove that for any $n\geq5$, the following congruence relation exists:
\[
\sum_{j = 1}^{n - 1}\frac{v_j}{u_j}\equiv\frac{(n^2 - 1)\Delta}{6}\cdot\frac{u_n}{v_n}\pmod{w_n^2}
\]
where $\Delta=A^2 - 4B$.
The solution to this problem not only extends the application range of Wolstenholme's theorem, but also provides new tools and methods for studying the congruence properties in Lucas sequences. By introducing $w_n$ and considering the properties of $u_n$ and $v_n$, the author is able to derive the above congruence relation, thereby verifying results similar to Wolstenholme's theorem under more general conditions.