
TL;DR
This paper presents human and computer-assisted proofs for four recent mathematical problems, demonstrating the effectiveness of collaborative proof strategies and exploring potential combinatorial identities derived from one problem.
Contribution
It introduces a hybrid proof approach combining human and computer methods for solving complex mathematical problems and uncovers new combinatorial identities.
Findings
Successful proofs of four recent problems using hybrid methods
Identification of potential new combinatorial identities from problem 11928
Demonstration of collaboration benefits between human intuition and computer computation
Abstract
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problem 11897, problem 11899, problem 11916, and problem 11928. We also show that problem 11928 may lead to interesting combinatorial identities.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Mathematical Theories · Advanced Mathematical Theories and Applications · Mathematics and Applications
Zeilberger to the Rescue
Moa Apagodu
Department of Mathematics, Virginia Commonwealth University, Richmond, VA 23284
Abstract.
We provide both human and computer (even better collaboration between the two) proofs to four recent American Mathematical Monthly problems, namely problems #11897, # 11899, #11916, and #11928. We also show that problem 11928 may lead to interesting combinatorial identities.
Dedicated to Herbert S. Wilf, 1931-2012.
We will demonstrate that Zeilberger’s creative telescoping proof methods coupled with human touch proves most of monthly problems involving the binomial coefficients. Problem 11928 leads to the following curious identity involving the Catalan number.
[TABLE]
where is the th Catalan number.
Problem #11897. *Proposed by P. Dalyay, Szeged, Hungary.*Prove for , that
[TABLE]
First solution using generating functions: First we recall a theorem from product of power series, namely
*Theorem [S. H. Wilf, Generatingfunctionology, p. 36] If and are ordinary power series generating functions for sequences and , then is the ordinary power series generating function for the sequence *
[TABLE]
Our solution will make use of the following well known formulas ([4], pp 52-54)
[TABLE]
[TABLE]
[TABLE]
From (2), with change of summation variable, we get
[TABLE]
Therefore, combining (1) and (4) with the theorem, the right-side of the sum in question has ordinary power series generating function
[TABLE]
Finally, the identity follows from (3).
Second (pocket size) proof using Gosper’s decision procedure [2]. This time rewrite the sum in the form
[TABLE]
and let be the summand. By Gosper’s algorithm, the hypergeometric term
[TABLE]
is an anti-difference of , that is,
[TABLE]
Now adding both sides over for , we end up with the identity above, namely
[TABLE]
Problem #11899. *Proposed by J. Sorel, Romania. *Show that for any positive integer ,
[TABLE]
We start by observing that the second sum on the right-hand side is equal to the first sum. To see this, re-write the second sum as
[TABLE]
and make the change of variable to obtain
[TABLE]
Therefor, the identity to be shown is equivalent to
[TABLE]
If is the sum on the left-hand side, then application of Zelbeger’s creative telescoping method [3] (go to Maple and type , where is the summand on the left-hand side of (3) ) yields that the sum satisfies the non-homogeneous linear recurrence
[TABLE]
Now it is a routine exercise to show that the right-hand side also satisfies this recurrence. Verify that both sides equal to 2 for to complete the proof.
Problem #11916. *Proposed by Hideyuki Ohtsuka, Saitama, Japan, and Roberto Tauraso, Universita di Roma ” Tor Vergata,” Rome, Italy. Show that if , , and are positive integers, then *
[TABLE]
First re-write the identity as
[TABLE]
We use the Wilf-Zeilberger Method to prove the identity. Denote the sum on the left-side of (1) by and on the right-side by . Then, and are solutions of the first-order non-homogeneous difference equation
[TABLE]
To see this, call the summand on the left-side of (1) and on the right-side . Also define two companion functions
[TABLE]
and
[TABLE]
Then, first check that and , and sum the first of these equations from to and the second equation from to . Now show that and , which equals the right-side of the non-homogeneous difference equation. This establishes that and satisfy the difference equation.
Finally, since both and satisfy the first-order difference equation with the initial condition , we must have for all and any positive integers and .
Problem #11928. *Proposed by Hideyuki Ohtsuka, Saitama, Japan. For positive integers and and for a sequence , prove *
[TABLE]
and
[TABLE]
For the first identity, using Vandermonde’s convolution, we can rewrite the single sum on the right side as
[TABLE]
The second equality is by reversing the order of summation; the third equality is by change of variable of summation ( ); and (5) and (6) follow from for . This completes the proof of the first identity.
If we take , then the first identity leads to
[TABLE]
Using the identity , the right side evaluates to
[TABLE]
This gives the following nice identity: For positive integers and ,
[TABLE]
To prove the second identity, taking in (7), we get
[TABLE]
The left side of (8) can be written as
[TABLE]
[TABLE]
Using the symmetry in and , we can simplify this sum to
[TABLE]
On the other hand using symmetry in and and the identity , we can write the right side of (8) as
[TABLE]
To complete the proof of the second identity, we must shown that
[TABLE]
We accomplish that we appeal to Zelbeger’s creative telescoping method[3]. Denote the left and right side by and respectively. Then both sequences start with and satisfy the second order recurrence (computed using the Zeilberger algorithm)
[TABLE]
Therefore, for all positive integers . This completes the poof of the second identity.
Remark: This shows that with careful choice of , one can obtain (perhaps a nontrivial) binomial identities. For example, if we take is the Catalan number, then we get
[TABLE]
**Remark ** Proofs of Problem 11899 and Problem 11916 are also provided in [1] as a special case of a general theorem. Here we provided direct proof to these problems.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] T. Amdeberhan, D. Callan, H. Ohtsuka, and R. Tauraso , Revitalized automatic proofs: demonstrations, arxiv.org/abs/1610.09737.
- 2[2] R.W. Gosper, Decision procedure for indefinite summation, Proc. Natl. Acad. Sci., USA 75 (1978), 40-42.
- 3[3] D. Zeilberger, The method of creative telescoping, J. Symbolic Comp., 11(1991), 195-204.
- 4[4] W.H. Wilf, generatingfunctionology, Acadmic Press, Inc., 2nd edition, ISBN 0-12751956-4, 1990.
