SlideShare a Scribd company logo
arXiv:math/0702010v1[math.HO]1Feb2007
Factorials as sums
Roberto Anglani
Dipartimento Interateneo di Fisica “Michelangelo Merlin”, Universit`a degli Studi
di Bari,
Via Amendola 173, 70126 Bari, Italy
roberto.anglani@ba.infn.it
Margherita Barile1
Dipartimento di Matematica, Universit`a degli Studi di Bari, Via E. Orabona 4,
70125 Bari, Italy
barile@dm.uniba.it
Introduction
In this paper we give an additive representation of the factorial, which can
be proven by a simple quick analytical argument.
We also present some generalizations, which are linked, on the one hand to an
arithmetical theorem proven by Euler (decomposition of primes as the sum
of two squares), and, on the other hand, to modern combinatorics (Stirling
numbers).
1 From calculus to combinatorics
Proposition 1 For every positive integer n,
n! =
n
i=0
(−1)n−i n
i
in
.
Proof .For all x ∈ R we have the following first order Taylor expansion with
Lagrange remainder of the exponential function about 0:
ex
= 1 + x + x2
g(x),
1
Partially supported by the Italian Ministry of Education, University and Research.
1
where g ∈ C∞
(R). We deduce that, for all x ∈ R,
(ex
− 1)n
= (x + x2
g(x))n
= xn
+ xn+1
h(x), (1)
for some h ∈ C∞
(R). The L.H.S. of (1) is
n
i=0
(−1)n−i n
i
eix
.
Its n-th derivative is
n
i=0
(−1)n−i n
i
in
eix
,
whose value at 0 is
n
i=0
(−1)n−i n
i
in
.
This is equal to the value of the n-th derivative of the R.H.S. of (1) at 0,
which is n!. This completes the proof.
Proposition 1 admits an alternative combinatorial proof. Fix an alphabet
of n letters. The number n! counts the ways of forming a word of length n
using all n letters (i.e., a word having n different letters), whereas nn
is the
total number of words of length n (i.e., of all words, including the possibility
of repeated letters). Hence nn
− n! is the number of words of length n
containing at least one repeated letter. Thus we can restate Proposition 1 in
the following equivalent form:
Proposition 2 The number of words of length n containing at least one
repeated letter from an alphabet of n letters is
−
n−1
i=1
(−1)n−i n
i
in
. (2)
Proof .Recall that, for all i = 1, . . . , n − 1, in
is the number of words of
length n which can be formed from a subset of i letters; n
i
is the number of
ways of choosing i letters from our alphabet. Hence the product n
i
in
counts
the words of length n containing at most i different letters, but each word
is counted more than once. Precisely, in the sum (2), for every integer k,
1 ≤ k ≤ n−1, each word containing exactly k letters is counted one time for
2
each i-subset containing these k letters. The number of these subsets is equal
to the number of ways in which we can pick i − k letters from the remaining
n − k letters of the alphabet, i.e., it is equal to n−k
i−k
. Therefore, in (2), each
word with exactly k letters is counted − n−1
i=k (−1)n−i n−k
i−k
times in total.
Hence the claim is proven once we have shown that
−
n−1
i=k
(−1)n−i n − k
i − k
= 1. (3)
Setting j = i − k and making a change of indices, the L.H.S. of (3) becomes
−
n−k−1
j=0
(−1)n−k−j n − k
j
= −


n−k
j=0
(−1)n−k−j n − k
j
− 1


= − (1 − 1)n−k
− 1 = 1,
as was to be shown.
We also have the following different version of Proposition 1:
Proposition 3 For every positive integer n,
n! =
n
i=0
(−1)n−i n
i
(i + 1)n
.
Proof .By Proposition 1 we have
(n + 1)! =
n+1
i=0
(−1)n+1−i n + 1
i
in+1
=
n+1
i=1
(−1)n+1−i (n + 1)!
(n + 1 − i)!i!
in+1
=
n+1
i=1
(−1)n−(i−1) (n + 1)n!
(n − (i − 1))!(i − 1)!
in
= (n + 1)
n
i=0
(−1)n−i n!
(n − i)!i!
(i + 1)n
= (n + 1)
n
i=0
(−1)n−i n
i
in
+
n
i=0
(−1)n−i n
i
((i + 1)n
− in
)
= (n + 1) n! +
n
i=0
(−1)n−i n
i
((i + 1)n
− in
)
3
By comparing the first and the last expression in the above sequence of
equalities, it follows that
n
i=0
(−1)n−i n
i
((i + 1)n
− in
) = 0.
In view of Proposition 1 this proves the claim.
2 Euler’s approach
In the preceding section, Proposition 3 was obtained from Proposition 1 by
replacing in
with (i + 1)n
. We are going to show that, more generally, for
every positive integer n, the identity
n! =
n
i=0
(−1)n−i n
i
(i + k)n
(4)
holds for all nonnegative integers k. This will be a consequence of Proposition
6 below. Identity (4) was proven by Euler [3] in a purely arithmetical context.
In this section we essentially follow his line of thoughts.
Definition 1 Given a sequence (ak)k≥0 of real numbers, its first difference
is defined as the sequence whose k-th term is
∆1
ak = ak+1 − ak.
Recursively, for every integer n > 1, the n-th difference is defined as the first
difference of (∆n−1
ak)k≥0.
Proposition 4 For every positive integer n and all nonnegative integers k,
∆n
ak =
n
i=0
(−1)n−i n
i
ak+i.
Proof .Let k be a nonnegative integer. We prove the claim for k by induction
on n. The claim is obviously true for n = 1. Now let n ≥ 2 and suppose the
claim true for n − 1. We prove it for n and k. We have
∆n
ak = ∆n−1
ak+1 − ∆n−1
ak
4
=
n−1
i=0
(−1)n−1−i n − 1
i
ak+1+i −
n−1
i=0
(−1)n−1−i n − 1
i
ak+i
=
n
i=1
(−1)n−i n − 1
i − 1
ak+i −
n−1
i=0
(−1)n−1−i n − 1
i
ak+i
= −(−1)n−1
ak +
n−1
i=1
(−1)n−i n − 1
i − 1
+
n − 1
i
ak+i + ak+n
= (−1)n n
0
ak +
n−1
i=1
(−1)n−i n
i
ak+i +
n
n
ak+n
=
n
i=0
(−1)n−i n
i
ak+i,
as was to be shown.
Now suppose that for all k,
ak = P(k),
where P(x) is a polynomial of degree n. Let
P(x) = αxn
+ βxn−1
+ terms of lower degree (α, β ∈ R, α = 0).
Then, for all k,
∆1
ak = P(k + 1) − P(k).
Note that
P(x+1)−P(x) = α(x+1)n
−αxn
+β(x+1)n−1
−βxn−1
+ terms of smaller degree
is a polynomial of degree n − 1, its term of highest degree being nαxn−1
. By
finite descending induction it follows that ∆n
ak is a polynomial of degree 0,
i.e., a constant polynomial. We have just established
Proposition 5 The n-th difference of a polynomial sequence of degree n is
a constant sequence.
For all positive integers n, let n∆n
k denote the k-th term of the n-th difference
of the sequence (kn
)k≥0. According to Proposition 4, for all nonnegative
integers k we have
n∆n
k =
n
i=0
(−1)n−i n
i
(i + k)n
. (5)
Euler proved
5
Proposition 6 Let n be a positive integer. Then for all nonnegative integers
k,
n∆n
k = n!.
Proof .By virtue of Proposition 5, the sequence (n∆n
k )k≥0 is constant. Hence,
for all positive integers n and k,
n∆n
k = n∆n
0 =
n
i=0
(−1)n−i n
i
in
= n!,
where the last two equalities follow by (5) and Proposition 1 respectively.
This completes the proof.
From (5) and Proposition 6 we deduce the property that we announced at
the beginning of this section. In fact we have the following generalization of
Propositions 1 and 3:
Corollary 1 Let n be a positive integer. Then for all nonnegative integers
k,
n! =
n
i=0
(−1)n−i n
i
(i + k)n
.
Remark 1 Actually the claim of Corollary 1 holds for any real number k.
This can be proven by essentially the same arguments.
Next we show how Euler applied Proposition 6 to prove a famous statement
going back to Pierre de Fermat:
Proposition 7 Every positive prime p = 4n+1, where n is a positive integer,
is the sum of two squares.
Proof .The numbers k2n
, where k is a positive integer, are not all congruent
modulo p. Otherwise the terms of the first difference of the sequence (k2n
)k≥0
would all be divisible by p, and the same would be true for the differences of
higher order. But this is impossible: by Proposition 6, for all k,
2n∆2n
k = (2n)!,
6
and p = 4n + 1 does not divide any of the factors of (2n)!, since these are all
smaller than p. Hence there are two positive integers k and h such that
p does not divide h2n
− k2n
. (6)
Evidently we may assume that 1 ≤ h < k < p. Then p does not divide h and
k. Consequently, by Fermat’s Little Theorem, hp−1
≡ kp−1
(mod p), so that
p divides hp−1
− kp−1
= h4n
− k4n
= (h2n
+ k2n
)(h2n
− k2n
).
Therefore, taking (6) into account,
p divides h2n
+ k2n
.
According to a former result by Euler (see Propositio 4 in [2]), if a number is
the sum of two squares, then the same is true for all its prime divisors that
do not divide the two squares. Hence p is the sum of two squares.
3 Stirling numbers
Corollary 1 is an arithmetical generalization of Proposition 1. We now give
another generalization that is relevant from a combinatorial point of view: it
consists in replacing the exponent n with an arbitrary nonnegative integer ℓ.
Following the arguments used in the proof of Proposition 1, we can conclude
that
n
i=0
(−1)n−i n
i
iℓ
is equal to the ℓ-th derivative of (ex
− 1)n
at 0. This is equal to ℓ! times the
coefficient C(ℓ, n) of xℓ
in the Taylor series expansion of (ex
−1)n
at 0. Since
ex
− 1 =
ℓ
i=1
xi
i!
+ xℓ+1
g(x)
for some g ∈ C∞
(R), we can compute C(ℓ, n) as the coefficient of xℓ
in the
following polynomial:
ℓ
i=1
xi
i!
n
. (7)
7
The term of least degree is xn
. Therefore, C(ℓ, n) = 0 if ℓ < n. Suppose that
ℓ ≥ n. Then the term of degree ℓ is the sum of all products
xi1
i1!
xi2
i2!
· · ·
xin
in!
with i1 + i2 + · · · + in = ℓ (8)
that can be formed when applying the distributive law to (7). For every
set {i1, i2, . . . , in} there is one product (8) for each possible arrangement of
the sequence i1, i2, . . . , in. Call N(i1, i2, . . . , in) the number of these arrange-
ments. Then it holds:
C(ℓ, n) =
1≤i1≤i2≤···≤in
i1+i2+···+in=ℓ
N(i1, i2, . . . , in)
i1!i2! · · ·in!
,
We have thus proven the following:
Proposition 8
n
i=0
(−1)n−i n
i
iℓ
=



0 if 0 ≤ ℓ < n
1≤i1≤i2≤···≤in
i1+i2+···+in=ℓ
ℓ!N(i1, i2, . . . , in)
i1!i2! · · ·in!
if ℓ ≥ n
Note that N(i1, i2, . . . , in) can be interpreted as the number of ways in which
a word of length ℓ can be subdivided into a sentence with n words of lengths
i1, i2, ..., in. Hence ℓ!N(i1, i2, . . . , in) is the number of sentences of length ℓ
containing all ℓ letters of a given alphabet and formed by n words of lengths
i1, i2, ..., in. If the words are replaced by subsets (i.e., the arrangement of
letters in each word does not matter), the number of sentences reduces to
ℓ!N(i1, i2, . . ., in)
i1!i2! · · · in!
.
If, in addition, we also assume that the arrangement of the n words does not
matter, the number of sentences becomes
1
n!
ℓ!N(i1, i2, . . . , in)
i1!i2! · · · in!
.
This is the number of ways in which ℓ distinguishable elements can be dis-
tributed into n non distinguishable subsets with i1, i2, . . ., in elements re-
spectively. According to Proposition 8 we have, for all ℓ ≥ n:
8
n
i=0
(−1)n−i 1
(n − i)!i!
iℓ
=
1≤i1≤i2≤···≤in
i1+i2+···+in=ℓ
1
n!
ℓ!N(i1, i2, . . . , in)
i1!i2! · · · in!
,
and this number is equal to the total number of ways in which ℓ elements can
be distributed into n non empty subsets. It is well-known in combinatorics.
Definition 2 The numbers
S(ℓ, n) =
n
i=0
(−1)n−i 1
(n − i)!i!
iℓ
(0 < n ≤ ℓ)
are called Stirling numbers (of the second kind).
More details on Stirling numbers can be found in [4], Chapter 3, or in [1].
Remark 2 If in the formula of Definition 2 we replace iℓ
with (i+ 1)ℓ
, then,
as one can easily check, we obtain another Stirling number:
S(ℓ + 1, n + 1) =
n
i=0
(−1)n−i 1
(n − i)!i!
(i + 1)ℓ
.
4 Negative exponents
We finally present some identities which extend those of the preceding sec-
tions when the exponent is ℓ = −1. The proofs that are based on easy
induction arguments will be omitted. The first result is related to Proposi-
tion 8.
Proposition 9 For all positive integers n
n
i=1
(−1)n−i n
i
1
i
= (−1)n−1
n
i=1
1
i
.
The term on the R.H.S. of the claim is, up to the sign, the sum of the first
n terms of the well-known harmonic series.
Next we replace
1
i
with
1
i + k
. We shall obtain, as in Proposition 1 and in
Corollary 1, an expression involving factorials.
9
Proposition 10 For all positive integers n, k it holds
n
i=0
(−1)n−i n
i
1
i + k
= (−1)n n!(k − 1)!
(n + k)!
.
Proof .We prove that the claim is true for all positive integers n when k = 1.
Once again we use calculus.
We consider the real function f defined, for all x ∈ R, by
f(x) = (1 − x)n
=
n
i=0
(−1)i n
i
xi
.
The indefinite integral of f is
Fc(x) =
n
i=0
(−1)i n
i
xi+1
i + 1
+ c (c ∈ R),
and the function F defined by
F(x) = −
1
n + 1
(1 − x)n+1
is an antiderivative of f(x). By comparing the constant terms of Fc(x) and
F(x), we find that
F(x) = F− 1
n+1
(x) =
n
i=0
(−1)i n
i
xi+1
i + 1
−
1
n + 1
.
Now
0 = F(1) =
n
i=0
(−1)i n
i
1
i + 1
−
1
n + 1
,
which yields the claim for k = 1, namely
n
i=0
(−1)n−i n
i
1
i + 1
= (−1)n n!
(n + 1)!
.
The proof of the claim for any given k ≥ 2 is an easy induction on n ≥ 0.
10
References
[1] M. Eisen, Elementary Combinatorial Analysis, Gordon and Breach,
New York, London, 1969.
[2] L. Euler, De numeris qui sunt aggregata duorum quadratorum, Novi
commentarii academiae Petropolitanae 4 (1752/53), pp.3-40, also in:
Opera mathematica, pp.295-309.
[3] L. Euler, Demonstratio theorematis Fermatiani omnem numerum pri-
mum formae 4n+1 esse summam duorum quadratorum, Novi commen-
tarii academiae scientiarum Petropolitanae 5 (1754/55), pp.3-13. also
in: Opera mathematica, pp.328-337.
[4] J.H. van Lint, R.M. Wilson, A Course in Combinatorics, Cambridge
University Press, Cambridge, 1992.
11

More Related Content

What's hot

5.2 Strong Induction
5.2 Strong Induction5.2 Strong Induction
5.2 Strong Inductionshowslidedump
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
rey castro
 
Imc2016 day2-solutions
Imc2016 day2-solutionsImc2016 day2-solutions
Imc2016 day2-solutions
Christos Loizos
 
Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
Christos Loizos
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
allyn joy calcaben
 
The 2 Goldbach's Conjectures with Proof
The 2 Goldbach's Conjectures with Proof The 2 Goldbach's Conjectures with Proof
The 2 Goldbach's Conjectures with Proof
nikos mantzakouras
 
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEChapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
nszakir
 
Proof of Brocard's Conjecture
Proof of Brocard's ConjectureProof of Brocard's Conjecture
Proof of Brocard's Conjecture
nikos mantzakouras
 
Proof of Beal's conjecture
Proof of Beal's conjecture Proof of Beal's conjecture
Proof of Beal's conjecture
nikos mantzakouras
 
Hypothesis of Riemann's (Comprehensive Analysis)
 Hypothesis of Riemann's (Comprehensive Analysis) Hypothesis of Riemann's (Comprehensive Analysis)
Hypothesis of Riemann's (Comprehensive Analysis)
nikos mantzakouras
 
Formal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and QuantifiersFormal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and Quantifiers
Laguna State Polytechnic University
 
A Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's ConjectureA Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's Conjecture
nikos mantzakouras
 
On Power Tower of Integers
On Power Tower of IntegersOn Power Tower of Integers
On Power Tower of Integers
inventionjournals
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
IT Engineering Department
 
11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)Nigel Simmons
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
allyn joy calcaben
 

What's hot (20)

5.2 Strong Induction
5.2 Strong Induction5.2 Strong Induction
5.2 Strong Induction
 
Mathematical induction
Mathematical inductionMathematical induction
Mathematical induction
 
Imc2016 day2-solutions
Imc2016 day2-solutionsImc2016 day2-solutions
Imc2016 day2-solutions
 
Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
 
CMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of FunctionsCMSC 56 | Lecture 8: Growth of Functions
CMSC 56 | Lecture 8: Growth of Functions
 
The 2 Goldbach's Conjectures with Proof
The 2 Goldbach's Conjectures with Proof The 2 Goldbach's Conjectures with Proof
The 2 Goldbach's Conjectures with Proof
 
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVEChapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
Chapter-3: DIRECT PROOF AND PROOF BY CONTRAPOSITIVE
 
Proof of Brocard's Conjecture
Proof of Brocard's ConjectureProof of Brocard's Conjecture
Proof of Brocard's Conjecture
 
Proof of Beal's conjecture
Proof of Beal's conjecture Proof of Beal's conjecture
Proof of Beal's conjecture
 
Hypothesis of Riemann's (Comprehensive Analysis)
 Hypothesis of Riemann's (Comprehensive Analysis) Hypothesis of Riemann's (Comprehensive Analysis)
Hypothesis of Riemann's (Comprehensive Analysis)
 
Formal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and QuantifiersFormal Logic - Lesson 8 - Predicates and Quantifiers
Formal Logic - Lesson 8 - Predicates and Quantifiers
 
A Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's ConjectureA Proof of Twin primes and Golbach's Conjecture
A Proof of Twin primes and Golbach's Conjecture
 
On Power Tower of Integers
On Power Tower of IntegersOn Power Tower of Integers
On Power Tower of Integers
 
Chapter 5
Chapter 5Chapter 5
Chapter 5
 
Thesis 6
Thesis 6Thesis 6
Thesis 6
 
Discrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of ProofDiscrete Math Lecture 03: Methods of Proof
Discrete Math Lecture 03: Methods of Proof
 
11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)11X1 T14 09 mathematical induction 2 (2010)
11X1 T14 09 mathematical induction 2 (2010)
 
1112 ch 11 day 12
1112 ch 11 day 121112 ch 11 day 12
1112 ch 11 day 12
 
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and StrategyCMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 5: Proofs Methods and Strategy
 
Proof in Mathematics
Proof in MathematicsProof in Mathematics
Proof in Mathematics
 

Similar to Factorials as sums

Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
pubggaming58982
 
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)Two very short proofs of combinatorial identity - Integers 5 A18 (2005)
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)Roberto Anglani
 
Analysis Of Algorithms Ii
Analysis Of Algorithms IiAnalysis Of Algorithms Ii
Analysis Of Algorithms IiSri Prasanna
 
Lect 18
Lect 18Lect 18
Lect 18
IIUM
 
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Aladdinew
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
Animesh Sarkar
 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework Help
Excel Homework Help
 
Ijetr011954
Ijetr011954Ijetr011954
Ijetr011954
ER Publication.org
 
Mathematical Statistics Assignment Help
Mathematical Statistics Assignment HelpMathematical Statistics Assignment Help
Mathematical Statistics Assignment Help
Excel Homework Help
 
Imc2017 day2-solutions
Imc2017 day2-solutionsImc2017 day2-solutions
Imc2017 day2-solutions
Christos Loizos
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptx
ZenLooper
 
Mathematical Statistics Assignment Help
Mathematical Statistics Assignment HelpMathematical Statistics Assignment Help
Mathematical Statistics Assignment Help
Statistics Homework Helper
 
Modeling with Recurrence Relations
Modeling with Recurrence RelationsModeling with Recurrence Relations
Modeling with Recurrence Relations
Devanshu Taneja
 
Ijetr021233
Ijetr021233Ijetr021233
X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)Nigel Simmons
 
Per4 induction
Per4 inductionPer4 induction
Per4 induction
Evert Sandye Taasiringan
 

Similar to Factorials as sums (20)

Induction.pdf
Induction.pdfInduction.pdf
Induction.pdf
 
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)Two very short proofs of combinatorial identity - Integers 5 A18 (2005)
Two very short proofs of combinatorial identity - Integers 5 A18 (2005)
 
Analysis Of Algorithms Ii
Analysis Of Algorithms IiAnalysis Of Algorithms Ii
Analysis Of Algorithms Ii
 
LDP.pdf
LDP.pdfLDP.pdf
LDP.pdf
 
Lect 18
Lect 18Lect 18
Lect 18
 
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
Solutions Manual for An Introduction To Abstract Algebra With Notes To The Fu...
 
Mathematical induction by Animesh Sarkar
Mathematical induction by Animesh SarkarMathematical induction by Animesh Sarkar
Mathematical induction by Animesh Sarkar
 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework Help
 
Task 4
Task 4Task 4
Task 4
 
Ijetr011954
Ijetr011954Ijetr011954
Ijetr011954
 
Sol80
Sol80Sol80
Sol80
 
Sol80
Sol80Sol80
Sol80
 
Mathematical Statistics Assignment Help
Mathematical Statistics Assignment HelpMathematical Statistics Assignment Help
Mathematical Statistics Assignment Help
 
Imc2017 day2-solutions
Imc2017 day2-solutionsImc2017 day2-solutions
Imc2017 day2-solutions
 
mathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptxmathematical induction and stuff Induction.pptx
mathematical induction and stuff Induction.pptx
 
Mathematical Statistics Assignment Help
Mathematical Statistics Assignment HelpMathematical Statistics Assignment Help
Mathematical Statistics Assignment Help
 
Modeling with Recurrence Relations
Modeling with Recurrence RelationsModeling with Recurrence Relations
Modeling with Recurrence Relations
 
Ijetr021233
Ijetr021233Ijetr021233
Ijetr021233
 
X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)X2 t08 03 inequalities & graphs (2013)
X2 t08 03 inequalities & graphs (2013)
 
Per4 induction
Per4 inductionPer4 induction
Per4 induction
 

More from Roberto Anglani

Stelle di neutroni: laboratori straordinari dell'Universo
Stelle di neutroni: laboratori straordinari dell'UniversoStelle di neutroni: laboratori straordinari dell'Universo
Stelle di neutroni: laboratori straordinari dell'Universo
Roberto Anglani
 
Evoluzione delle Stelle
Evoluzione delle StelleEvoluzione delle Stelle
Evoluzione delle Stelle
Roberto Anglani
 
Risk Management nelle Istituzioni Finanziarie
Risk Management nelle Istituzioni FinanziarieRisk Management nelle Istituzioni Finanziarie
Risk Management nelle Istituzioni Finanziarie
Roberto Anglani
 
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...Roberto Anglani
 
Collective modes of CFL phase of QCD (QCD@Work 2010)
Collective modes of CFL phase of QCD (QCD@Work 2010)Collective modes of CFL phase of QCD (QCD@Work 2010)
Collective modes of CFL phase of QCD (QCD@Work 2010)Roberto Anglani
 
A study of pion condensation within NJL model (Wroclaw, 2009)
A study of pion condensation within NJL model (Wroclaw, 2009)A study of pion condensation within NJL model (Wroclaw, 2009)
A study of pion condensation within NJL model (Wroclaw, 2009)Roberto Anglani
 
A comparative study of Gaussian Graphical Model approaches to genomic data (R...
A comparative study of Gaussian Graphical Model approaches to genomic data (R...A comparative study of Gaussian Graphical Model approaches to genomic data (R...
A comparative study of Gaussian Graphical Model approaches to genomic data (R...Roberto Anglani
 
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...Topological analysis of coexpression networks in neoplastic tissues (BITS2012...
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...Roberto Anglani
 
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)Roberto Anglani
 
A comparative study of covariance selection models for the inference of gene ...
A comparative study of covariance selection models for the inference of gene ...A comparative study of covariance selection models for the inference of gene ...
A comparative study of covariance selection models for the inference of gene ...Roberto Anglani
 
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002Roberto Anglani
 
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...Roberto Anglani
 

More from Roberto Anglani (12)

Stelle di neutroni: laboratori straordinari dell'Universo
Stelle di neutroni: laboratori straordinari dell'UniversoStelle di neutroni: laboratori straordinari dell'Universo
Stelle di neutroni: laboratori straordinari dell'Universo
 
Evoluzione delle Stelle
Evoluzione delle StelleEvoluzione delle Stelle
Evoluzione delle Stelle
 
Risk Management nelle Istituzioni Finanziarie
Risk Management nelle Istituzioni FinanziarieRisk Management nelle Istituzioni Finanziarie
Risk Management nelle Istituzioni Finanziarie
 
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...
Aspetti Matematici del Banking Risk Management (2016-11-30, Science Storming ...
 
Collective modes of CFL phase of QCD (QCD@Work 2010)
Collective modes of CFL phase of QCD (QCD@Work 2010)Collective modes of CFL phase of QCD (QCD@Work 2010)
Collective modes of CFL phase of QCD (QCD@Work 2010)
 
A study of pion condensation within NJL model (Wroclaw, 2009)
A study of pion condensation within NJL model (Wroclaw, 2009)A study of pion condensation within NJL model (Wroclaw, 2009)
A study of pion condensation within NJL model (Wroclaw, 2009)
 
A comparative study of Gaussian Graphical Model approaches to genomic data (R...
A comparative study of Gaussian Graphical Model approaches to genomic data (R...A comparative study of Gaussian Graphical Model approaches to genomic data (R...
A comparative study of Gaussian Graphical Model approaches to genomic data (R...
 
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...Topological analysis of coexpression networks in neoplastic tissues (BITS2012...
Topological analysis of coexpression networks in neoplastic tissues (BITS2012...
 
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)
Differential connectivity in neoplastic coexpression networks (BITS2014, Rome)
 
A comparative study of covariance selection models for the inference of gene ...
A comparative study of covariance selection models for the inference of gene ...A comparative study of covariance selection models for the inference of gene ...
A comparative study of covariance selection models for the inference of gene ...
 
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002
Collective modes in the CFL phase - New Journal of Physics 13 (2011) 055002
 
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...
Loss of Connectivity in Cancer Co-Expression Networks - PLoS ONE 9(1): e87075...
 

Factorials as sums

  • 1. arXiv:math/0702010v1[math.HO]1Feb2007 Factorials as sums Roberto Anglani Dipartimento Interateneo di Fisica “Michelangelo Merlin”, Universit`a degli Studi di Bari, Via Amendola 173, 70126 Bari, Italy roberto.anglani@ba.infn.it Margherita Barile1 Dipartimento di Matematica, Universit`a degli Studi di Bari, Via E. Orabona 4, 70125 Bari, Italy barile@dm.uniba.it Introduction In this paper we give an additive representation of the factorial, which can be proven by a simple quick analytical argument. We also present some generalizations, which are linked, on the one hand to an arithmetical theorem proven by Euler (decomposition of primes as the sum of two squares), and, on the other hand, to modern combinatorics (Stirling numbers). 1 From calculus to combinatorics Proposition 1 For every positive integer n, n! = n i=0 (−1)n−i n i in . Proof .For all x ∈ R we have the following first order Taylor expansion with Lagrange remainder of the exponential function about 0: ex = 1 + x + x2 g(x), 1 Partially supported by the Italian Ministry of Education, University and Research. 1
  • 2. where g ∈ C∞ (R). We deduce that, for all x ∈ R, (ex − 1)n = (x + x2 g(x))n = xn + xn+1 h(x), (1) for some h ∈ C∞ (R). The L.H.S. of (1) is n i=0 (−1)n−i n i eix . Its n-th derivative is n i=0 (−1)n−i n i in eix , whose value at 0 is n i=0 (−1)n−i n i in . This is equal to the value of the n-th derivative of the R.H.S. of (1) at 0, which is n!. This completes the proof. Proposition 1 admits an alternative combinatorial proof. Fix an alphabet of n letters. The number n! counts the ways of forming a word of length n using all n letters (i.e., a word having n different letters), whereas nn is the total number of words of length n (i.e., of all words, including the possibility of repeated letters). Hence nn − n! is the number of words of length n containing at least one repeated letter. Thus we can restate Proposition 1 in the following equivalent form: Proposition 2 The number of words of length n containing at least one repeated letter from an alphabet of n letters is − n−1 i=1 (−1)n−i n i in . (2) Proof .Recall that, for all i = 1, . . . , n − 1, in is the number of words of length n which can be formed from a subset of i letters; n i is the number of ways of choosing i letters from our alphabet. Hence the product n i in counts the words of length n containing at most i different letters, but each word is counted more than once. Precisely, in the sum (2), for every integer k, 1 ≤ k ≤ n−1, each word containing exactly k letters is counted one time for 2
  • 3. each i-subset containing these k letters. The number of these subsets is equal to the number of ways in which we can pick i − k letters from the remaining n − k letters of the alphabet, i.e., it is equal to n−k i−k . Therefore, in (2), each word with exactly k letters is counted − n−1 i=k (−1)n−i n−k i−k times in total. Hence the claim is proven once we have shown that − n−1 i=k (−1)n−i n − k i − k = 1. (3) Setting j = i − k and making a change of indices, the L.H.S. of (3) becomes − n−k−1 j=0 (−1)n−k−j n − k j = −   n−k j=0 (−1)n−k−j n − k j − 1   = − (1 − 1)n−k − 1 = 1, as was to be shown. We also have the following different version of Proposition 1: Proposition 3 For every positive integer n, n! = n i=0 (−1)n−i n i (i + 1)n . Proof .By Proposition 1 we have (n + 1)! = n+1 i=0 (−1)n+1−i n + 1 i in+1 = n+1 i=1 (−1)n+1−i (n + 1)! (n + 1 − i)!i! in+1 = n+1 i=1 (−1)n−(i−1) (n + 1)n! (n − (i − 1))!(i − 1)! in = (n + 1) n i=0 (−1)n−i n! (n − i)!i! (i + 1)n = (n + 1) n i=0 (−1)n−i n i in + n i=0 (−1)n−i n i ((i + 1)n − in ) = (n + 1) n! + n i=0 (−1)n−i n i ((i + 1)n − in ) 3
  • 4. By comparing the first and the last expression in the above sequence of equalities, it follows that n i=0 (−1)n−i n i ((i + 1)n − in ) = 0. In view of Proposition 1 this proves the claim. 2 Euler’s approach In the preceding section, Proposition 3 was obtained from Proposition 1 by replacing in with (i + 1)n . We are going to show that, more generally, for every positive integer n, the identity n! = n i=0 (−1)n−i n i (i + k)n (4) holds for all nonnegative integers k. This will be a consequence of Proposition 6 below. Identity (4) was proven by Euler [3] in a purely arithmetical context. In this section we essentially follow his line of thoughts. Definition 1 Given a sequence (ak)k≥0 of real numbers, its first difference is defined as the sequence whose k-th term is ∆1 ak = ak+1 − ak. Recursively, for every integer n > 1, the n-th difference is defined as the first difference of (∆n−1 ak)k≥0. Proposition 4 For every positive integer n and all nonnegative integers k, ∆n ak = n i=0 (−1)n−i n i ak+i. Proof .Let k be a nonnegative integer. We prove the claim for k by induction on n. The claim is obviously true for n = 1. Now let n ≥ 2 and suppose the claim true for n − 1. We prove it for n and k. We have ∆n ak = ∆n−1 ak+1 − ∆n−1 ak 4
  • 5. = n−1 i=0 (−1)n−1−i n − 1 i ak+1+i − n−1 i=0 (−1)n−1−i n − 1 i ak+i = n i=1 (−1)n−i n − 1 i − 1 ak+i − n−1 i=0 (−1)n−1−i n − 1 i ak+i = −(−1)n−1 ak + n−1 i=1 (−1)n−i n − 1 i − 1 + n − 1 i ak+i + ak+n = (−1)n n 0 ak + n−1 i=1 (−1)n−i n i ak+i + n n ak+n = n i=0 (−1)n−i n i ak+i, as was to be shown. Now suppose that for all k, ak = P(k), where P(x) is a polynomial of degree n. Let P(x) = αxn + βxn−1 + terms of lower degree (α, β ∈ R, α = 0). Then, for all k, ∆1 ak = P(k + 1) − P(k). Note that P(x+1)−P(x) = α(x+1)n −αxn +β(x+1)n−1 −βxn−1 + terms of smaller degree is a polynomial of degree n − 1, its term of highest degree being nαxn−1 . By finite descending induction it follows that ∆n ak is a polynomial of degree 0, i.e., a constant polynomial. We have just established Proposition 5 The n-th difference of a polynomial sequence of degree n is a constant sequence. For all positive integers n, let n∆n k denote the k-th term of the n-th difference of the sequence (kn )k≥0. According to Proposition 4, for all nonnegative integers k we have n∆n k = n i=0 (−1)n−i n i (i + k)n . (5) Euler proved 5
  • 6. Proposition 6 Let n be a positive integer. Then for all nonnegative integers k, n∆n k = n!. Proof .By virtue of Proposition 5, the sequence (n∆n k )k≥0 is constant. Hence, for all positive integers n and k, n∆n k = n∆n 0 = n i=0 (−1)n−i n i in = n!, where the last two equalities follow by (5) and Proposition 1 respectively. This completes the proof. From (5) and Proposition 6 we deduce the property that we announced at the beginning of this section. In fact we have the following generalization of Propositions 1 and 3: Corollary 1 Let n be a positive integer. Then for all nonnegative integers k, n! = n i=0 (−1)n−i n i (i + k)n . Remark 1 Actually the claim of Corollary 1 holds for any real number k. This can be proven by essentially the same arguments. Next we show how Euler applied Proposition 6 to prove a famous statement going back to Pierre de Fermat: Proposition 7 Every positive prime p = 4n+1, where n is a positive integer, is the sum of two squares. Proof .The numbers k2n , where k is a positive integer, are not all congruent modulo p. Otherwise the terms of the first difference of the sequence (k2n )k≥0 would all be divisible by p, and the same would be true for the differences of higher order. But this is impossible: by Proposition 6, for all k, 2n∆2n k = (2n)!, 6
  • 7. and p = 4n + 1 does not divide any of the factors of (2n)!, since these are all smaller than p. Hence there are two positive integers k and h such that p does not divide h2n − k2n . (6) Evidently we may assume that 1 ≤ h < k < p. Then p does not divide h and k. Consequently, by Fermat’s Little Theorem, hp−1 ≡ kp−1 (mod p), so that p divides hp−1 − kp−1 = h4n − k4n = (h2n + k2n )(h2n − k2n ). Therefore, taking (6) into account, p divides h2n + k2n . According to a former result by Euler (see Propositio 4 in [2]), if a number is the sum of two squares, then the same is true for all its prime divisors that do not divide the two squares. Hence p is the sum of two squares. 3 Stirling numbers Corollary 1 is an arithmetical generalization of Proposition 1. We now give another generalization that is relevant from a combinatorial point of view: it consists in replacing the exponent n with an arbitrary nonnegative integer ℓ. Following the arguments used in the proof of Proposition 1, we can conclude that n i=0 (−1)n−i n i iℓ is equal to the ℓ-th derivative of (ex − 1)n at 0. This is equal to ℓ! times the coefficient C(ℓ, n) of xℓ in the Taylor series expansion of (ex −1)n at 0. Since ex − 1 = ℓ i=1 xi i! + xℓ+1 g(x) for some g ∈ C∞ (R), we can compute C(ℓ, n) as the coefficient of xℓ in the following polynomial: ℓ i=1 xi i! n . (7) 7
  • 8. The term of least degree is xn . Therefore, C(ℓ, n) = 0 if ℓ < n. Suppose that ℓ ≥ n. Then the term of degree ℓ is the sum of all products xi1 i1! xi2 i2! · · · xin in! with i1 + i2 + · · · + in = ℓ (8) that can be formed when applying the distributive law to (7). For every set {i1, i2, . . . , in} there is one product (8) for each possible arrangement of the sequence i1, i2, . . . , in. Call N(i1, i2, . . . , in) the number of these arrange- ments. Then it holds: C(ℓ, n) = 1≤i1≤i2≤···≤in i1+i2+···+in=ℓ N(i1, i2, . . . , in) i1!i2! · · ·in! , We have thus proven the following: Proposition 8 n i=0 (−1)n−i n i iℓ =    0 if 0 ≤ ℓ < n 1≤i1≤i2≤···≤in i1+i2+···+in=ℓ ℓ!N(i1, i2, . . . , in) i1!i2! · · ·in! if ℓ ≥ n Note that N(i1, i2, . . . , in) can be interpreted as the number of ways in which a word of length ℓ can be subdivided into a sentence with n words of lengths i1, i2, ..., in. Hence ℓ!N(i1, i2, . . . , in) is the number of sentences of length ℓ containing all ℓ letters of a given alphabet and formed by n words of lengths i1, i2, ..., in. If the words are replaced by subsets (i.e., the arrangement of letters in each word does not matter), the number of sentences reduces to ℓ!N(i1, i2, . . ., in) i1!i2! · · · in! . If, in addition, we also assume that the arrangement of the n words does not matter, the number of sentences becomes 1 n! ℓ!N(i1, i2, . . . , in) i1!i2! · · · in! . This is the number of ways in which ℓ distinguishable elements can be dis- tributed into n non distinguishable subsets with i1, i2, . . ., in elements re- spectively. According to Proposition 8 we have, for all ℓ ≥ n: 8
  • 9. n i=0 (−1)n−i 1 (n − i)!i! iℓ = 1≤i1≤i2≤···≤in i1+i2+···+in=ℓ 1 n! ℓ!N(i1, i2, . . . , in) i1!i2! · · · in! , and this number is equal to the total number of ways in which ℓ elements can be distributed into n non empty subsets. It is well-known in combinatorics. Definition 2 The numbers S(ℓ, n) = n i=0 (−1)n−i 1 (n − i)!i! iℓ (0 < n ≤ ℓ) are called Stirling numbers (of the second kind). More details on Stirling numbers can be found in [4], Chapter 3, or in [1]. Remark 2 If in the formula of Definition 2 we replace iℓ with (i+ 1)ℓ , then, as one can easily check, we obtain another Stirling number: S(ℓ + 1, n + 1) = n i=0 (−1)n−i 1 (n − i)!i! (i + 1)ℓ . 4 Negative exponents We finally present some identities which extend those of the preceding sec- tions when the exponent is ℓ = −1. The proofs that are based on easy induction arguments will be omitted. The first result is related to Proposi- tion 8. Proposition 9 For all positive integers n n i=1 (−1)n−i n i 1 i = (−1)n−1 n i=1 1 i . The term on the R.H.S. of the claim is, up to the sign, the sum of the first n terms of the well-known harmonic series. Next we replace 1 i with 1 i + k . We shall obtain, as in Proposition 1 and in Corollary 1, an expression involving factorials. 9
  • 10. Proposition 10 For all positive integers n, k it holds n i=0 (−1)n−i n i 1 i + k = (−1)n n!(k − 1)! (n + k)! . Proof .We prove that the claim is true for all positive integers n when k = 1. Once again we use calculus. We consider the real function f defined, for all x ∈ R, by f(x) = (1 − x)n = n i=0 (−1)i n i xi . The indefinite integral of f is Fc(x) = n i=0 (−1)i n i xi+1 i + 1 + c (c ∈ R), and the function F defined by F(x) = − 1 n + 1 (1 − x)n+1 is an antiderivative of f(x). By comparing the constant terms of Fc(x) and F(x), we find that F(x) = F− 1 n+1 (x) = n i=0 (−1)i n i xi+1 i + 1 − 1 n + 1 . Now 0 = F(1) = n i=0 (−1)i n i 1 i + 1 − 1 n + 1 , which yields the claim for k = 1, namely n i=0 (−1)n−i n i 1 i + 1 = (−1)n n! (n + 1)! . The proof of the claim for any given k ≥ 2 is an easy induction on n ≥ 0. 10
  • 11. References [1] M. Eisen, Elementary Combinatorial Analysis, Gordon and Breach, New York, London, 1969. [2] L. Euler, De numeris qui sunt aggregata duorum quadratorum, Novi commentarii academiae Petropolitanae 4 (1752/53), pp.3-40, also in: Opera mathematica, pp.295-309. [3] L. Euler, Demonstratio theorematis Fermatiani omnem numerum pri- mum formae 4n+1 esse summam duorum quadratorum, Novi commen- tarii academiae scientiarum Petropolitanae 5 (1754/55), pp.3-13. also in: Opera mathematica, pp.328-337. [4] J.H. van Lint, R.M. Wilson, A Course in Combinatorics, Cambridge University Press, Cambridge, 1992. 11