MathDB
Problems
Contests
National and Regional Contests
Poland Contests
Polish MO Finals
1980 Polish MO Finals
6
6
Part of
1980 Polish MO Finals
Problems
(1)
\sum_{s=n}^{2n} 2^{2n-s}{s \choose n}= 2^{2n}
Source: Polish MO Finals 1980 p6
8/24/2024
Prove that for every natural number
n
n
n
we have
∑
s
=
n
2
n
2
2
n
−
s
(
s
n
)
=
2
2
n
.
\sum_{s=n}^{2n} 2^{2n-s}{s \choose n}= 2^{2n}.
s
=
n
∑
2
n
2
2
n
−
s
(
n
s
)
=
2
2
n
.
algebra
binomial coefficients