Related papers: Short note on the convolution of binomial coeffici…

We show that for $n>k(4e\log k)^k$ every set $\{x_1,..., x_n\}$ of $n$ real numbers with $\sum_{i=0}^{n}x_i \geq 0$ has at least $\binom{n-1}{k-1}$ $k$-element subsets of a non-negative sum. This is a substantial improvement on the best…

We prove that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and non-negative integers $j$ and $r$ with $j\leqslant m$, the following two expressions \begin{align*} &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack…

We prove a version of Gauss's Lemma. It recursively constructs polynomials {c_k} for k=0,1,...,m+n, in Z[a_i,A_i,b_j,B_j] for i=0,...,m, and j=0,1,...,n, having degree at most (m+n choose m) in each of the four variable sets, such that…

Binomial Theorem for (N+n)^r is described with non-commuting variables N and n.

In this manuscript we provide a new polynomial pattern. This pattern allows to find a polynomial expansion of the form \[x^{2m+1} = \sum_{k=1}^{x}\sum_{r=0}^{m} \mathbf{A}_{m,r} k^r (x-k)^r,\] where $x,m\in\mathbb{N}$ and $\mathbf{A}_{m,r}$…

An involution of a real commutative algebra $A$ is a real-linear homomorphism $f : A \rightarrow A$ such that $f^2 = \mathrm{Id}$. We show that there are six involutions of the algebra of bicomplex numbers, contrary to the actual number of…

We prove a conjecture posted in the Online Encyclopedia of Integer Sequences, namely that there are exactly five positive integers that can be written in more than one way as the sum of a nonnegative power of 2 and a nonnegative power of 3.…

The harmonic numbers are those $H_n=\sum_{0<k\le n}\frac1k\ (n=0,1,2,\ldots)$. In this paper we confirm over ten conjectural series identities with summands involving the binomial coefficient $\binom{4k}k$ and harmonic numbers. For example,…

The modified B_{n}^{*} = \sum_{r=0}^{n} \binom{n+r}{2r} \frac{B_{r}}{n+r}, \quad n > 0 introduced by D. Zagier in 1998 are extended to the polynomial case by replacing $B_{r}$ by the Bernoulli polynomials $B_{r}(x)$. Properties of these new…

The sum in the title is a rational multiple of pi^n for all integers n=2,3,4,... for which the sum converges absolutely. This is equivalent to a celebrated theorem of Euler. Of the many proofs that have appeared since Euler, a simple one…

Let $f(z)=\sum_{n=1}^{\infty}a(n) e^{2\pi i nz}$ be a normalized Hecke eigenform in $S_{2k}^{\text{new}}(\Gamma_0(N))$ with integer Fourier coefficients. We prove that there exists a constant $C(f)>0$ such that any integer is a sum of at…

We first prove that if $a$ has a prime factor not dividing $b$ then there are infinitely many positive integers $n$ such that $\binom {an+bn} {an}$ is not divisible by $bn+1$. This confirms a recent conjecture of Z.-W. Sun. Moreover, we…

The following problem was posed by user "Kevin" on Mathoverflow. How to prove this polynomial always has integer values at all integers? $$P_m(x)=\sum_{i=0}^{m}\sum_{j=0}^{m} \binom{x+j}{j} \binom{x-1}{j} \binom{j}{i} \binom{m}{i}…

We prove an identity [Eq. (1) below] among SU(2) 6j and 9j symbols that generalizes the Biedenharn-Elliott sum rule. We prove the result using diagrammatic techniques (briefly reviewed here), and then provide an algebraic proof. This…

We show that for any even positive integer d there exist polynomials x and y with integer coefficients such that deg(x) = 2d, deg(y) = 3d and deg(x^3 - y^2) = d + 5.

For a given real number $a$ we define the sequence $\{E_{n,a}\}$ by $E_{0,a}=1$ and $E_{n,a}=-a\sum_{k=1}^{[n/2]} \binom n{2k}E_{n-2k,a}$ $(n\ge 1)$, where $[x]$ is the greatest integer not exceeding $x$. Since $E_{n,1}=E_n$ is the n-th…

In this paper, we prove two conjectures of Z.-W. Sun: $$2n\binom{2n}n\big|\sum_{k=0}^{n-1}(3k+1)\binom{2k}k^3{16}^{n-1-k}\ \mbox{for}\ \mbox{all}\ n=2,3,\cdots,$$ and $$\sum_{k=0}^{(p-1)/2}\frac{3k+1}{16^k}\binom{2k}{k}^3\equiv…

We present a new formula for the highest power of $a+b$ that divides the sum $B(n,m,a,b)=\sum_{k=0}^{n}\binom{n}{k}^m a^{n-k}b^k$ for the case $m=2$. By using this formula, we give complete 3-adic valuation for central Dellanoy numbers.…

Suppose that $p$ is an odd prime and $m$ is an integer not divisible by $p$. Sun and Tauraso [Adv. in Appl. Math., 45(2010), 125--148] gave $\sum_{k=0}^{n-1}\binom{2k}{k+d}/m^k$ and $\sum_{k=0}^{n-1}\binom{2k}{k+d}/(km^k)$ modulo $p$ for…

We prove effective finiteness results concerning polynomial values of the sums $$ b^k +\left(a+b\right)^k + \cdots + \left(a\left(x-1\right) + b\right)^k $$ and $$ b^k - \left(a+b\right)^k + \left(2a+b\right)^k - \ldots + (-1)^{x-1}…