arXiv++ Combinatorics

We consider three problems from the recent issues of the American Mathematical Monthly involving different versions of Catalan triangle. Our main results offer generalizations of these identities and demonstrate automated proofs with additional twists, and on occasion we furnish a combinatorial proof.

We consider several families of binomial sum identities whose definition involves the absolute value function. In particular, we consider centered double sums of the form \[S_{α,β}(n) := \sum_{k,\;\ell}\binom{2n}{n+k}\binom{2n}{n+\ell} |k^α-\ell^α|^β,\] obtaining new results in the cases $α= 1, 2$. We show that there is a close connection between these double sums in the case $α=1$ and the single centered binomial sums considered by Tuenter.