Maths Olympiad Prep

Library / China Team Selection Test /42 of 92

China Team Selection Test

Algebra Difficulty 7.9 National Olympiad, round 2 Find the answer

Given positive integers k,m,nk, m, n such that 1≤k≤m≤n1 \leq k \leq m \leq n. Evaluate

∑i=0n(−1)in+k+i⋅(m+n+i)!i!(n−i)!(m+i)!.\sum^{n}_{i=0} \frac{(-1)^i}{n+k+i} \cdot \frac{(m+n+i)!}{i!(n-i)!(m+i)!}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Given positive integers k,m,n k, m, n such that 1≤k≤m≤n 1 \leq k \leq m \leq n , we aim to evaluate the sum
∑i=0n(−1)in+k+i⋅(m+n+i)!i!(n−i)!(m+i)!. \sum_{i=0}^n \frac{(-1)^i}{n+k+i} \cdot \frac{(m+n+i)!}{i!(n-i)!(m+i)!}.

To solve this, we employ a calculus-based approach. We start by expressing the sum in terms of an integral:
∑i=0n(−1)in+k+i⋅(m+n+i)!i!(n−i)!(m+i)!=∑i=0n(−1)i(m+n+i)!i!(n−i)!(m+i)!∫01xn+k+i−1 dx. \sum_{i=0}^n \frac{(-1)^i}{n+k+i} \cdot \frac{(m+n+i)!}{i!(n-i)!(m+i)!} = \sum_{i=0}^n \frac{(-1)^i (m+n+i)!}{i!(n-i)!(m+i)!} \int_0^1 x^{n+k+i-1} \, dx.

This can be rewritten as:
∫01[∑i=0n(ni)(m+n+in)(−1)ixi]xn+k−1 dx. \int_0^1 \left[ \sum_{i=0}^n \binom{n}{i} \binom{m+n+i}{n} (-1)^i x^i \right] x^{n+k-1} \, dx.

Next, we use the binomial theorem and properties of partial derivatives:
∫01[∑i=0n(ni)(−1)ixi⋅1n!∂n∂ynym+n+i∣y=1]xn+k−1 dx. \int_0^1 \left[ \sum_{i=0}^n \binom{n}{i} (-1)^i x^i \cdot \frac{1}{n!} \frac{\partial^n}{\partial y^n} y^{m+n+i} \bigg|_{y=1} \right] x^{n+k-1} \, dx.

This simplifies to:
1n!∂n∂yn[∫01∑i=0n(ni)(−1)ixn+k+i−1ym+n+i dx]y=1. \frac{1}{n!} \frac{\partial^n}{\partial y^n} \left[ \int_0^1 \sum_{i=0}^n \binom{n}{i} (-1)^i x^{n+k+i-1} y^{m+n+i} \, dx \right]_{y=1}.

Further simplification gives:
1n!∂n∂yn[∫01xn+k−1ym+n(1−xy)n dx]y=1. \frac{1}{n!} \frac{\partial^n}{\partial y^n} \left[ \int_0^1 x^{n+k-1} y^{m+n} (1 - xy)^n \, dx \right]_{y=1}.

We continue by integrating and differentiating:
1n!∂n∂yn[ym−k∫0yun+k−1(1−u)n du]y=1. \frac{1}{n!} \frac{\partial^n}{\partial y^n} \left[ y^{m-k} \int_0^y u^{n+k-1} (1-u)^n \, du \right]_{y=1}.

Using the Fundamental Theorem of Calculus, we evaluate:
1n!∑j=0n(nj)[∂j∂yjym−k]y=1[∂n−j∂yn−j∫0yun+k−1(1−u)n du]y=1. \frac{1}{n!} \sum_{j=0}^n \binom{n}{j} \left[ \frac{\partial^j}{\partial y^j} y^{m-k} \right]_{y=1} \left[ \frac{\partial^{n-j}}{\partial y^{n-j}} \int_0^y u^{n+k-1} (1-u)^n \, du \right]_{y=1}.

For j<n j < n , the second factor is zero because we differentiate at most n−1 n-1 times, and there is a zero of order n n at y=1 y=1 . For j=n j=n , the first factor is zero because m−k<m≤n m-k < m \leq n . Thus, all terms of the sum vanish.

Therefore, the value of the sum is:
∑i=0n(−1)in+k+i⋅(m+n+i)!i!(n−i)!(m+i)!=0. \sum_{i=0}^n \frac{(-1)^i}{n+k+i} \cdot \frac{(m+n+i)!}{i!(n-i)!(m+i)!} = 0.
The answer is: 0.\boxed{0}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.