Let $k,m,n$ be natural numbers such that $m+k+1$ is a prime greater than $n+1$. Let $c_s=s(s+1)$. Prove that \[(c_{m+1}-c_k)(c_{m+2}-c_k)\ldots(c_{m+n}-c_k)\] is divisible by the product $c_1c_2\ldots c_n$.

How many non-empty subsets $ S$ of $ \{1, 2, 3, \ldots, 15\}$ have the following two properties? (1) No two consecutive integers belong to $ S$. (2) If $ S$ contains $ k$ elements, then $ S$ contains no number less than $ k$. $ \textbf{(A) } 277\qquad \textbf{(B) } 311\qquad \textbf{(C) } 376\qquad \textbf{(D) } 377\qquad \textbf{(E) } 405$

Let $n\ge 1$ be an integer and consider the sum $$x=\sum_{k\ge 0} \dbinom{n}{2k} 2^{n-2k}3^k=\dbinom{n}{0}2^n+\dbinom{n}{2}2^{n-2}\cdot{}3+\dbinom{n}{4}2^{n-k}\cdot{}3^2 + \cdots{}.$$ Show that $2x-1,2x,2x+1$ form the sides of a triangle whose area and inradius are also integers.

Define a sequence of integers by $a_0=1$ , and $a_n=\sum_{k=0}^{n-1} \binom{n}{k}a_k$ , $n \geq 1$ . Let $m$ be a positive integer , let $p$ be a prime , and let $q$ and $r$ be non-negative integers . Prove that : $$a_{p^mq+r} \equiv a_{p^{m-1}q+r} \pmod{p^m}$$

Let $k,m,n$ be natural numbers such that $m+k+1$ is a prime greater than $n+1$. Let $c_s=s(s+1)$. Prove that \[(c_{m+1}-c_k)(c_{m+2}-c_k)\ldots(c_{m+n}-c_k)\] is divisible by the product $c_1c_2\ldots c_n$.

If $n>2$ is a positive integer, compute \[\max_{1\leqslant k\leqslant n}\max_{n_1+...+n_k=n} \binom{n_1}{2}\binom{n_2}{2}\ldots\binom{n_k}{2}.\] [i]Ioan Tomescu[/i]

The infinite sequence $a_0,a _1, a_2, \dots$ of (not necessarily distinct) integers has the following properties: $0\le a_i \le i$ for all integers $i\ge 0$, and \[\binom{k}{a_0} + \binom{k}{a_1} + \dots + \binom{k}{a_k} = 2^k\] for all integers $k\ge 0$. Prove that all integers $N\ge 0$ occur in the sequence (that is, for all $N\ge 0$, there exists $i\ge 0$ with $a_i=N$).

Consider an arithmetic progression $a_0,\ldots,a_n$ with $n\ge2$. Prove that $$\sum_{k=0}^n(-1)^k\binom{n}{k}a_k=0.$$

For any polynomial $P(x)=a_0+a_1x+\ldots+a_kx^k$ with integer coefficients, the number of odd coefficients is denoted by $o(P)$. For $i-0,1,2,\ldots$ let $Q_i(x)=(1+x)^i$. Prove that if $i_1,i_2,\ldots,i_n$ are integers satisfying $0\le i_1<i_2<\ldots<i_n$, then: \[ o(Q_{i_1}+Q_{i_2}+\ldots+Q_{i_n})\ge o(Q_{i_1}). \]

Let $ f(x)$ be a $ n \minus{}$degree polynomial all of whose coefficients are equal to $ \pm 1$, and having $ x \equal{} 1$ as its $ m$ multiple root. If $ m\ge 2^k (k\ge 2,k\in N)$, then $ n\ge 2^{k \plus{} 1} \minus{} 1.$

For any two nonnegative integers $n$ and $k$ satisfying $n\geq k$, we define the number $c(n,k)$ as follows: - $c\left(n,0\right)=c\left(n,n\right)=1$ for all $n\geq 0$; - $c\left(n+1,k\right)=2^{k}c\left(n,k\right)+c\left(n,k-1\right)$ for $n\geq k\geq 1$. Prove that $c\left(n,k\right)=c\left(n,n-k\right)$ for all $n\geq k\geq 0$.

Given a positive integer $k$, call $n$ [i]good[/i] if among $$\binom{n}{0},\binom{n}{1},\binom{n}{2},...,\binom{n}{n}$$ at least $0.99n$ of them are divisible by $k$. Show that exists some positive integer $N$ such that among $1,2,...,N$, there are at least $0.99N$ good numbers.

For $n \geq 3$ and $a_{1} \leq a_{2} \leq \ldots \leq a_{n}$ given real numbers we have the following instructions: - place out the numbers in some order in a ring; - delete one of the numbers from the ring; - if just two numbers are remaining in the ring: let $S$ be the sum of these two numbers. Otherwise, if there are more the two numbers in the ring, replace Afterwards start again with the step (2). Show that the largest sum $S$ which can result in this way is given by the formula \[S_{max}= \sum^n_{k=2} \begin{pmatrix} n -2 \\ [\frac{k}{2}] - 1\end{pmatrix}a_{k}.\]

Let $n>r\geqslant 3$ be two integers and $d$ be a positive integer such that $nd\geqslant \dbinom{n+r}{r+1}$. Show that \[(n-t)(d-t)>\dbinom{n-t+r}{r+1},\] for $t=1,2,\ldots,n-1$ [i]Vasile Brânzănescu[/i]

Let $p_n$ denote the $n^{\text{th}}$ prime number and define $a_n=\lfloor p_n\nu\rfloor$ for all positive integers $n$ where $\nu$ is a positive irrational number. Is it possible that there exist only finitely many $k$ such that $\binom{2a_k}{a_k}$ is divisible by $p_i^{10}$ for all $i=1,2,\ldots,2020?$ [i]Proposed by Superguy and ayan.nmath[/i]

Find all positive integers $m,n$ with $m \leq 2n$ that solve the equation \[ m \cdot \binom{2n}{n} = \binom{m^2}{2}. \] [i](German MO 2016 - Problem 4)[/i]

Evaluate $\sum_{k=0}^{37}(-1)^k\binom{75}{2k}$.

Let $ f(x)$ be a $ n \minus{}$degree polynomial all of whose coefficients are equal to $ \pm 1$, and having $ x \equal{} 1$ as its $ m$ multiple root. If $ m\ge 2^k (k\ge 2,k\in N)$, then $ n\ge 2^{k \plus{} 1} \minus{} 1.$

Prove that $\binom{n+k}{n}$ can be written as product of $n$ pairwise coprime numbers $a_1,a_2,\dots,a_n$ such that $k+i$ is divisible by $a_i$ for all indices $i$.

Show that $\binom{n}{m},\binom{n}{m+1},\binom{n}{m+2}$ and $\binom{n}{m+3}$ cannot be in arithmetic progression, where $n,m>0$ and $n\geq m+3$.

The infinite sequence $a_0,a _1, a_2, \dots$ of (not necessarily distinct) integers has the following properties: $0\le a_i \le i$ for all integers $i\ge 0$, and \[\binom{k}{a_0} + \binom{k}{a_1} + \dots + \binom{k}{a_k} = 2^k\] for all integers $k\ge 0$. Prove that all integers $N\ge 0$ occur in the sequence (that is, for all $N\ge 0$, there exists $i\ge 0$ with $a_i=N$).

If the coefficient of the third term in the binomial expansion of $(1 - 3x)^{1/4}$ is $-a/b$, where $ a$ and $b$ are relatively prime integers, find $a+b$.

Consider the Pascal's triangle in the figure where the binomial coefficients are arranged in the usual manner. Select any binomial coefficient from anywhere except the right edge of the triangle and labet it $C$. To the right of $C$, in the horizontal line, there are $t$ numbers, we denote them as $a_1,a_2,\cdots,a_t$, where $a_t = 1$ is the last number of the series. Consider the line parallel to the left edge of the triangle containing $C$, there will only be $t$ numbers diagonally above $C$ in that line. We successively name them as $b_1,b_2,\cdots,b_t$, where $b_t = 1$. Show that \[b_ta_1-b_{t-1}a_2+b_{t-2}a_3-\cdots+(-1)^{t-1}b_1a_t = 1\]. For example, Suppose you choose $\binom41 = 4$ (see figure), then $t = 3$, $a_1 = 6, a_2 = 4, a_3 = 1$ and $b_1 = 3, b_2 = 2, b_3 = 1$. \[\begin{array}{ccccccccccc} & & & & & 1 & & & & & \\ & & & & 1 & & \underset{b_3}{1} & & & & \\ & & & 1 & & \underset{b_2}{2} & & 1 & & & \\ & & 1 & & \underset{b_1}{3} & & 3 & & 1 & & \\ & 1 & & \boxed{4} & & \underset{a_1}{6} & & \underset{a_2}{4} & & \underset{a_3}{1} & \\ \ldots & & \ldots & & \ldots & & \ldots & & \ldots & & \ldots \\ \end{array}\]

Find all pairs of integers, $n$ and $k$, $2 < k < n$, such that the binomial coefficients \[\binom{n}{k-1}, \binom{n}{k}, \binom{n}{k+1}\] form an increasing arithmetic series.

Prove that $ \sum_{k \equal{} 0}^{995} \frac {( \minus{} 1)^k}{1991 \minus{} k} {1991 \minus{} k \choose k} \equal{} \frac {1}{1991}$