# Proofs of Power Sum and Binomial Coefficient Congruences Via Pascal's Identity

@article{MacMillan2011ProofsOP, title={Proofs of Power Sum and Binomial Coefficient Congruences Via Pascal's Identity}, author={Kieren MacMillan and J. Sondow}, journal={The American Mathematical Monthly}, year={2011}, volume={118}, pages={549 - 551} }

Abstract A well-known and frequently cited congruence for power sums is where n ≥ 1 and p is prime. We survey the main ingredients in several known proofs. Then we give an elementary proof, using an identity for power sums proven by Pascal in 1654. An application is a simple proof of a congruence for certain sums of binomial coefficients, due to Hermite and Bachmann.

#### Topics from this paper

#### 24 Citations

A Proof of Symmetry of the Power Sum Polynomials Using a Novel Bernoulli Number Identity

- Mathematics, Computer Science
- J. Integer Seq.
- 2017

An elementary proof that the sum of p-th powers of the first natural numbers can be expressed as a polynomial in n of degree $p+1$ is given and a novel identity involving Bernoulli numbers is proved. Expand

An Explicit Identity to solve sums of Powers of Complex Functions

- Mathematics
- 2018

A recurrence relations for sums of powers of complex functions can be written as a system of linear equation AX=B. Using properties of determinant and Cramer's rule for solving systems of linear… Expand

Power-Sum Denominators

- Mathematics
- 2017

Abstract The power sum 1n + 2n +… + xn has been of interest to mathematicians since classical times. Johann Faulhaber, Jacob Bernoulli, and others who followed expressed power sums as polynomials in… Expand

Reducing the Erdős–Moser Equation 1 n + 2 n + ⋯ + kn = (k + 1) n Modulo k and k 2

- Mathematics, Computer Science
- Integers
- 2011

Reducing the equation modulo k and k 2, it is given necessary and sufficient conditions on solutions to the resulting congruence and supercongruence to prove the conjecture that the only solution of the Diophantine equation is the trivial solution 1 + 2 = 3. Expand

On a Congruence Modulo n 3 Involving Two Consecutive Sums of Powers

- Mathematics
- 2014

For various positive integers k, the sums of kth powers of the first n positive integers, Sk(n) := 1 k +2 k +···+n k , are some of the most popular sums in all of mathematics. In this note we prove a… Expand

Smallest common denominators for the homogeneous components of the Baker-Campbell-Hausdorff series

- Mathematics
- 2020

In a recent paper the author derived a formula for calculating common denominators for the homogeneous components of the Baker–Campbell-Hausdorff (BCH) series. In the present work it is proved that… Expand

Smallest common denominators for the homogeneous components of the Baker-Campbell-Hausdorff series

- Mathematics
- 2020

In a recent paper the author derived a formula for calculating common denominators for the homogeneous components of the Baker-Campbell-Hausdorff (BCH) series. In the present work it is proved that… Expand

A congruence modulo $n^3$ involving two consecutive sums of powers and its applications

- Mathematics
- 2012

For various positive integers k, the sums of kth powers of the first n positive integers, Sk(n+ 1) = 1 k + 2 + · · ·+ n, have got to be some of the most popular sums in all of mathematics. In this… Expand

Another Power Identity Involving Binomial Theorem and Faulhaber's Formula

- Mathematics
- 2016

In this paper, we derive and prove another odd power identity, by means of Binomial theorem and Faulhaber's formula.

Solutions of the congruence 1+2f(n)+⋯+nf(n)≡0 mod n

- Mathematics
- 2015

In this paper we characterize, in terms of the prime divisors of n, the pairs for which n divides . As an application, we derive some results on the sets
for some choices of f.

#### References

SHOWING 1-10 OF 29 REFERENCES

Congruences for a class of alternating lacunary sums of binomial coefficients

- Mathematics
- 2007

An 1876 theorem of Hermite, later extended by Bachmann, gives congruences modulo primes for lacunary sums over the rows of Pascal’s triangle. This paper gives an analogous result for alternating sums… Expand

The Equivalence of Giuga's and Agoh's Conjectures

- Mathematics
- 2004

In this paper we show the equivalence of the conjectures of Giuga and Agoh in a direct way which leads to a combined conjecture. This conjecture is described by a sum of fractions from which all… Expand

History of the Theory of Numbers

- Mathematics
- Nature
- 1924

THE third and concluding volume of Prof. Dickson's great work deals first with the arithmetical. theory of binary quadratic forms. A long chapter on the class-number is contributed by Mr. G. H.… Expand

A Top Hat for Moser's Four Mathemagical Rabbits

- Mathematics, Computer Science
- Am. Math. Mon.
- 2011

It is shown here that Moser's result can be derived from a von Staudt-Clausen type theorem and the mathematical arguments used in the proofs were already available during the lifetime of Lagrange. Expand

Moser's mathemagical work on the equation 1^k+2^k+...+(m-1)^k=m^k

- Mathematics
- 2010

If the equation of the title has an integer solution with k>=2, then m>10^{10^6}. Leo Moser showed this in 1953 by amazingly elementary methods. With the hindsight of more than 50 years his proof can… Expand

Pascal's arithmetical triangle

- Mathematics
- 1987

Imagine having some marbles, pebbles, or other objects that you want to lay out in a neat triangular pattern. How many do you need to end up with a complete triangle? Three will do; so will 6, 10,… Expand

An Introduction to the Theory of Numbers

- Nature
- 1946

THIS book must be welcomed most warmly into X the select class of Oxford books on pure mathematics which have reached a second edition. It obviously appeals to a large class of mathematical readers.… Expand

Sommation des puissances numériques

- Oeuvres complètes, vol. III, Jean Mesnard, ed., Desclée-Brouwer, Paris, 1964, 341–367; English translation by A. Knoebel, R. Laubenbacher, J. Lodder, and D. Pengelley, Sums of numerical powers, in Mathematical Masterpieces: Further Chronicles by the Explorers, Springer Verlag, New York
- 2007

Moser’s mathemagical work on the equation 1 + 2 +

- 2009