Related papers: On an identity by Chaundy and Bullard. I
An identity stated by Kimura and proved by Ruehr, Kimura and others stipulates that for any function $f$ continuous on $[-\frac{1}{2}, \frac{3}{2}]$ one has $$ \int_{-1/2}^{3/2} f(3x^2 - 2x^3) dx = 2 \int_0^1 f(3x^2 - 2x^3) dx. $$ We prove…
Jarnik's identity plays a major role in classical simultaneous approximation to two real numbers. O. German [2] has shown a generalization to the weighted setting in which the identity has to be replaced by two inequalities. His methods…
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
An expression $E(X_{1},...,X_{n})$ built using union, intersection, and complements is called inclusion-exclusion-like if, like the union in the exclusion-inclusion principle, there are constants $c_{1},c_{2},...,c_{n}$ so that for any…
By using the Newton interpolation formula, we generalize the recent identities on the Catalan triangle obtained by Miana and Romero as well as those of Chen and Chu. We further study divisibility properties of sums of products of binomial…
We give a direct combinatorial proof of a famous identity, $$ \sum_{i+j=n} m{2i}{i} \binom{2j}{j} = 4^n $$ by actually counting pairs of $k$-subsets of $2k$-sets. Then we discuss two different generalizations of the identity, and end the…
We formulate several polynomial identities. One side of these identities has a nice simple form. Whereas the other has a form of a polynomial whose coefficients contain binomial coefficients double factorials or (and) rising factorials. The…
One of the celebrated formulas of Ramanujan is about odd zeta values, which has been studied by many mathematicians over the years. A notable extension was given by Grosswald in 1972. Following Ramanujan's idea, we rediscovered a…
The equation commonly known as Sury's identity is a deceptively simple summation formula that connects the Lucas numbers, Fibonacci numbers, and powers of two. Many authors have given extensions and generalizations over the years; in this…
C.H. Yang discovered a polynomial version of the classical Lagrange identity expressing the product of two sums of four squares as another sum of four squares. He used it to give short proofs of some important theorems on composition of…
Based on some combinatorial identities arising from symbolic summation, we extend two supercongruences on partial sums of hypergeometric series, which were originally conjectured by Guo and Schlosser and recently confirmed by Jana and…
The Dirichlet lambda function $\lambda(s)$ is defined for $\mathrm{Re}(s) > 1$ by \[ \lambda(s) = \sum_{n=0}^{\infty} \frac{1}{(2n+1)^s}. \] This function was initially studied by Euler on the real line, where he denoted it by $N(s)$. In…
It was shown by the author [International Journal of Theoretical Physics 36 (1997), 1099-1131] in synthetic differential geometry that what is called the general Jacobi identity obtaining in microcubes underlies the Jacobi identity of…
The Euler product for the Landau--Ramanujan constant could have motivated a curious identity by Ramanujan that appears in his notebooks two times. This observation involves a square root and the first four prime numbers of the form $4n+3$,…
We give an elementary proof of a Caratheodory-type result on the invertibility of a sum of matrices, due first to Facchini and Barioli. The proof yields a polynomial identity, expressing the determinant of a large sum of matrices in terms…
We extend Fibonacci numbers with arbitrary weights and generalize a dozen Fibonacci identities. As a special case, we propose an elliptic extension which extends the $q$-Fibonacci polynomials appearing in Schur's work. The proofs of most of…
The classical hypergeometric summation theorems are exploited to derive several striking identities on harmonic numbers including those discovered recently by Paule and Schneider (2003).
We revisit old conjectures of Fermat and Euler regarding representation of integers by binary quadratic form x^2+5y^2. Making use of Ramanujan's_1\psi_1 summation formula we establish a new Lambert series identity for…
There is a long standing conjecture in Hamiltonian analysis which claims that there exist at least $n$ geometrically distinct closed characteristics on every compact convex hypersurface in $\R^{2n}$ with $n\ge 2$. Besides many partial…
In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular,…