Congruence properties of Apéry numbers
type: Item
instance of: scholarly article
title: Congruence properties of Apéry numbers
zbMATH Open document ID: 0428.10008
DOI: 10.1016/0022-314X(80)90051-7
author: S. H. Smith
published in: Journal of Number Theory
publication date: 1980-01-01T00:00:00Z
review text: In his proof of the irrationality of \(\zeta(3)\) Apéry introduced a sequence of numbers defined by the recurrence relation \[ n^3 = (34n^3 - 51n^2 + 27n - 5)a_{n-1} - (n - 1)^3 a_{n-2} \] with initial values \(a_0 = 1\), \(a_1= 5\). He showed that \(a_n = \sum_{k=0}^n \binom{n}{k}^2 \binom{n+1}{k}^2\) so the \(a_n\) are integers, a fact which is not apparent from the recursion. The authors deduce some congruence properties of these integers, for example, \(a_n\equiv 1\pmod 2\), and \(a_{5n+1}\equiv a_{5n+3}\equiv 0 \pmod 5\) for all \(n\geq 0\), and \(a_p\equiv 5\pmod{p^2}\) for all primes \(p\).
Mathematics Subject Classification ID: 11B37
zbMATH DE Number: 3666882
zbMATH Keywords: congruence properties
zbMATH Keywords: Apery numbers
reviewed by: Tom M. Apostol
MaRDI profile type: Publication
full work available at URL: 0022-314x(80)90051-7
OpenAlex ID: W2048534739
description: scientific article; zbMATH DE number 3666882