New congruences for central binomial coefficients (Q972862)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | New congruences for central binomial coefficients |
scientific article |
Statements
New congruences for central binomial coefficients (English)
0 references
21 May 2010
0 references
Let \(p\) be a prime and \(0\leq d\leq p^a\). Suppose that \(m\) is an integer and \(p\nmid m\). The authors prove that \[ \sum_{k=0}^{p^a-1}\frac{1}{m^k}\binom{2k}{k+d}\equiv u_{p^a-2}(m-2)\pmod{p},\tag{1} \] and \[ d\sum_{k=1}^{p^a-1}\frac{1}{k m^{k-1}}\binom{2k}{k+d}\equiv 2(-1)^d+v_{p^a-d}(m-2)\pmod{p}\tag{2} \] provided \(d>0\), where the polynomials \(u_n(x)\) and \(v_n(x)\) are defined by \[ u_0(x)=0,\;u_1(x)=1,\;u_{n+1}(x)=xu_{n}(x)-u_{n-1}(x), \] \[ v_0(x)=2,\;v_1(x)=x,\;v_{n+1}(x)=xv_{n}(x)-v_{n-1}(x). \] The author also prove a complement to (2) when \(d=0\): \[ \frac12\sum_{k=1}^{p^a-1}\frac{(-1)^k}{k m^{k-1}}\binom{2k}{k}\equiv \frac{m^p-V_p(m)}{p}\pmod{p},\tag{3} \] where \[ V_0(x)=2,\;V_1(x)=x,\;V_{n+1}(x)=x(V_{n}(x)+V_{n-1}(x)). \] The key of the proofs is a curious identity: \[ \sum_{k=0}^{n-1}\binom{2k}{k+d}x^{n-1-k}+x^nu_d(x-2)\delta_{d>0}=\sum_{k=0}^{n+d-1}\binom{2n}ku_{n+d-k}(x-2), \] where \(\delta_{d>0}=1\) or \(0\) according to whether \(d>0\).
0 references
central binomial coefficients
0 references
congruences modulo primes
0 references
Fibonacci numbers
0 references
Bernoulli numbers
0 references