рджреНрд╡рд┐рдкрдж рд╡рд┐рд╕реНрддрд╛рд░ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдЯреВрд▓ рджреНрд╡рд┐рдкрдж рдкреНрд░рдореЗрдп (Binomial Theorem) рдХреА рдорджрдж рд╕реЗ \((a + b)^{n}\) рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдЖрдкрдХреЛ рд╡реНрдпрдВрдЬрдХ рдХрд╛ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдорд╛рди, рдмрдирдиреЗ рд╡рд╛рд▓реЗ рдкрджреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛, рдФрд░ рд╣рд░ рджреНрд╡рд┐рдкрдж рдЧреБрдгрд╛рдВрдХ \(C(n,k)\) рдХреА рдкреВрд░реА рд╕реВрдЪреА рдкреНрд░рддреНрдпреЗрдХ рдкрдж рдХреЗ рд╕рд╛рде рджрд┐рдЦрд╛рддрд╛ рд╣реИред рдпрд╣ 20 рддрдХ рдХреЗ рдХрд┐рд╕реА рднреА рдЕрдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рддрд╛рдВрдХ рдФрд░ рдХрд┐рдиреНрд╣реАрдВ рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЧреБрдгрд╛рдВрдХ \(a\) рддрдерд╛ \(b\) рдХреЗ рд▓рд┐рдП рдХрд╛рдо рдХрд░рддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкрд╣рд▓реЗ рдкрдж рдХрд╛ рдЧреБрдгрд╛рдВрдХ a, рджреВрд╕рд░реЗ рдкрдж рдХрд╛ рдЧреБрдгрд╛рдВрдХ b, рдФрд░ рдШрд╛рддрд╛рдВрдХ n рднрд░реЗрдВред рдлрд┐рд░ "рдЧрдгрдирд╛ рдХрд░реЗрдВ" рджрдмрд╛рдПрдБред рдКрдкрд░ рдХрд╛ рдореБрдЦреНрдп рдмреЙрдХреНрд╕ \((a + b)^{n}\) рдХрд╛ рдХреБрд▓ рдорд╛рди рджрд┐рдЦрд╛рддрд╛ рд╣реИ, рдЬрдмрдХрд┐ рддрд╛рд▓рд┐рдХрд╛ рдкрджреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдФрд░ рд╕рднреА рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдкрджреЛрдВ рдХрд╛ рдпреЛрдЧ рджрд░реНрд╢рд╛рддреА рд╣реИ (рдЬреЛ рдЙрд╕ рдорд╛рди рдХреЗ рдмрд░рд╛рдмрд░ рд╣реА рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдП)ред рд╡рд┐рд╕реНрддрд╛рд░ рдмреЙрдХреНрд╕ рдореЗрдВ рд╣рд░ рдЧреБрдгрд╛рдВрдХ рдФрд░ рдкрдж рдХреА рд╕реВрдЪреА рд╣реЛрддреА рд╣реИ, рддрд╛рдХрд┐ рдЖрдк рдЕрдкрдиреА рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЧрдгрдирд╛ рдЬрд╛рдБрдЪ рд╕рдХреЗрдВред
рд╕реВрддреНрд░ рдХреЛ рд╕рдордЭреЗрдВ
рджреНрд╡рд┐рдкрдж рдкреНрд░рдореЗрдп рдХреЗ рдЕрдиреБрд╕рд╛рд░, \((a + b)^{n}\) рдХрд╛ рдорд╛рди \(k = 0\) рд╕реЗ \(n\) рддрдХ \(C(n,k) \cdot a^{n-k} \cdot b^{k}\) рдХреЗ рдпреЛрдЧ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИ:
$$\left(a + b\right)^{n} = \sum_{k=0}^{n} \binom{n}{k}\, a^{\,n-k}\, b^{\,k}$$
рдЧреБрдгрд╛рдВрдХ \(C(n,k)\) рдкрд╛рд╕реНрдХрд▓ рддреНрд░рд┐рднреБрдЬ (Pascal's Triangle) рдХреА рдПрдХ рдкрдВрдХреНрддрд┐ рдмрдирд╛рддреЗ рд╣реИрдВред рд╣рдо рдЗрдиреНрд╣реЗрдВ рдХреБрд╢рд▓рддрд╛ рд╕реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реВрддреНрд░ \(C(n,k) = C(n,k-1) \cdot (n - k + 1) / k\) рд╕реЗ рдирд┐рдХрд╛рд▓рддреЗ рд╣реИрдВ, рдЬрд┐рд╕рд╕реЗ рдмрдбрд╝реЗ рдлреИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреА рдЧрдгрдирд╛ рд╕реЗ рдмрдЪрд╛ рдЬрд╛ рд╕рдХреЗред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\((1 + 1)^{4}\) рдХреЗ рд▓рд┐рдП рдЧреБрдгрд╛рдВрдХ рд╣реИрдВ 1, 4, 6, 4, 1ред рдЪреВрдБрдХрд┐ \(a = b = 1\) рд╣реИ, рдЗрд╕рд▓рд┐рдП рд╣рд░ рдкрдж рдЕрдкрдиреЗ рдЧреБрдгрд╛рдВрдХ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реА рд╣реЛрддрд╛ рд╣реИ, рдЕрддрдГ рд╡рд┐рд╕реНрддрд╛рд░ рд╣реИ $$1 + 4 + 6 + 4 + 1 = 16,$$ рдЬреЛ \(2^{4} = 16\) рд╕реЗ рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ 5 рдкрдж рдФрд░ 16 рдХрд╛ рдорд╛рди рджреЗрддрд╛ рд╣реИред
рдкрд╛рд╕реНрдХрд▓ рдХреЗ рддреНрд░рд┐рднреБрдЬ рд╕рдВрджрд░реНрдн (рдкрдВрдХреНрддрд┐рдпрд╛рдБ n = 0 рд╕реЗ 10)
рдкрд╛рд╕реНрдХрд▓ рдХреЗ рддреНрд░рд┐рднреБрдЬ рдХреА рдкреНрд░рддреНрдпреЗрдХ рдкрдВрдХреНрддрд┐ \(n\) рджреНрд╡рд┐рдкрдж рдЧреБрдгрд╛рдВрдХ \(\binom{n}{k}\) рдХреЛ рд╕реВрдЪреАрдмрджреНрдз рдХрд░рддреА рд╣реИ рдЬрд╣рд╛рдБ \(k = 0, 1, \dots, n\)ред рдпреЗ рдареАрдХ рд╡реЗ рдЧреБрдгрд╛рдВрдХ рд╣реИрдВ рдЬреЛ \((a+b)^n\) рдХреЛ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдХрд░рддреЗ рд╕рдордп рджрд┐рдЦрд╛рдИ рджреЗрддреЗ рд╣реИрдВред рдкреНрд░рддреНрдпреЗрдХ рдЖрдВрддрд░рд┐рдХ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐ рд╕реАрдзреЗ рдКрдкрд░ рдХреА рджреЛ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХреЗ рдпреЛрдЧ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддреА рд╣реИ, рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдкрдВрдХреНрддрд┐ рдореЗрдВ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХрд╛ рдпреЛрдЧ \(2^n\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИред
| \(n\) | рдЧреБрдгрд╛рдВрдХ \(\binom{n}{0}, \binom{n}{1}, \dots, \binom{n}{n}\) | рдкрдВрдХреНрддрд┐ рдпреЛрдЧ \(2^n\) |
|---|---|---|
| 0 | 1 | 1 |
| 1 | 1, 1 | 2 |
| 2 | 1, 2, 1 | 4 |
| 3 | 1, 3, 3, 1 | 8 |
| 4 | 1, 4, 6, 4, 1 | 16 |
| 5 | 1, 5, 10, 10, 5, 1 | 32 |
| 6 | 1, 6, 15, 20, 15, 6, 1 | 64 |
| 7 | 1, 7, 21, 35, 35, 21, 7, 1 | 128 |
| 8 | 1, 8, 28, 56, 70, 56, 28, 8, 1 | 256 |
| 9 | 1, 9, 36, 84, 126, 126, 84, 36, 9, 1 | 512 |
| 10 | 1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1 | 1024 |
рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рдкрдВрдХреНрддрд┐ 10 рдореЗрдВ рдордзреНрдп рдЧреБрдгрд╛рдВрдХ 252 рд╣реИ, рдЬреЛ \(k=5\) рдкрд░ рдкрд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдкреНрд░рддреНрдпреЗрдХ рдкрдВрдХреНрддрд┐ рд╕рдордорд┐рдд рд╣реИ рдХреНрдпреЛрдВрдХрд┐ \(\binom{n}{k} = \binom{n}{n-k}\)ред
рдЕрдзрд┐рдХ рд╣рд▓ рдХрд┐рдП рдЧрдП рдЙрджрд╛рд╣рд░рдг
рдЙрджрд╛рд╣рд░рдг 1: \((x+2)^3\)
рдпрд╣рд╛рдБ \(a=x\), \(b=2\), рдФрд░ \(n=3\)ред рдкрдВрдХреНрддрд┐-3 рдХреЗ рдЧреБрдгрд╛рдВрдХ \(1, 3, 3, 1\) рд╣реИрдВред \(\sum_{k=0}^{3}\binom{3}{k}x^{3-k}2^{k}\) рдореЗрдВ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░реЗрдВ:
$$\binom{3}{0}x^3(2)^0 + \binom{3}{1}x^2(2)^1 + \binom{3}{2}x^1(2)^2 + \binom{3}{3}x^0(2)^3$$$$= 1\cdot x^3 + 3\cdot x^2\cdot 2 + 3\cdot x\cdot 4 + 1\cdot 8 = x^3 + 6x^2 + 12x + 8$$\(x\) рдХреА рдШрд╛рддреЗрдВ \(3 \to 0\) рддрдХ рдШрдЯрддреА рд╣реИрдВ рдЬрдмрдХрд┐ \(2\) рдХреА рдШрд╛рддреЗрдВ \(0 \to 3\) рддрдХ рдмрдврд╝рддреА рд╣реИрдВред
рдЙрджрд╛рд╣рд░рдг 2: \((2a-b)^4\) тАФ рд╡реИрдХрд▓реНрдкрд┐рдХ рдЪрд┐рдиреНрд╣
рдШрдЯрд╛рд╡ рдХреЛ \(b \to -b\) рдХреЗ рд░реВрдк рдореЗрдВ рд▓рд┐рдЦреЗрдВ, рддрд╛рдХрд┐ рдЖрдзрд╛рд░ рдкрдж \(2a\) рдФрд░ \(-b\) рд╣реЛрдВ, \(n=4\) рдХреЗ рд╕рд╛рде рдФрд░ рдЧреБрдгрд╛рдВрдХ \(1, 4, 6, 4, 1\) рд╣реЛрдВ:
$$\sum_{k=0}^{4}\binom{4}{k}(2a)^{4-k}(-b)^{k}$$$$= 1(2a)^4 + 4(2a)^3(-b) + 6(2a)^2(-b)^2 + 4(2a)(-b)^3 + 1(-b)^4$$$$= 16a^4 - 32a^3 b + 24a^2 b^2 - 8a b^3 + b^4$$рдХреНрдпреЛрдВрдХрд┐ \((-b)^k\) рд╡рд┐рд╖рдо \(k\) рдХреЗ рд▓рд┐рдП рдирдХрд╛рд░рд╛рддреНрдордХ рд╣реИ рдФрд░ рд╕рдо \(k\) рдХреЗ рд▓рд┐рдП рд╕рдХрд╛рд░рд╛рддреНрдордХ рд╣реИ, рдЪрд┐рдиреНрд╣ \(+,-,+,-,+\) рдореЗрдВ рд╡реИрдХрд▓реНрдкрд┐рдХ рд╣реЛрддреЗ рд╣реИрдВред
рдЙрджрд╛рд╣рд░рдг 3: \((x+1)^6\) тАФ рд╕реНрдкрд╖реНрдЯ рдЖрд░реЛрд╣реА/рдЕрд╡рд░реЛрд╣реА рдШрд╛рддреЗрдВ
\(a=x\), \(b=1\), \(n=6\) рдХреЗ рд╕рд╛рде, рдкрдВрдХреНрддрд┐-6 рдХреЗ рдЧреБрдгрд╛рдВрдХ \(1, 6, 15, 20, 15, 6, 1\) рд╣реИрдВред рдЪреВрдБрдХрд┐ \(1\) рдХреА рдкреНрд░рддреНрдпреЗрдХ рдШрд╛рдд \(1\) рд╣реИ, рдЧреБрдгрд╛рдВрдХ рд╕реАрдзреЗ рджрд┐рдЦрд╛рдИ рджреЗрддреЗ рд╣реИрдВ:
$$(x+1)^6 = x^6 + 6x^5 + 15x^4 + 20x^3 + 15x^2 + 6x + 1$$рдХреЗрдВрджреНрд░реАрдп рдЧреБрдгрд╛рдВрдХ \(20\) 20 рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ, рдЕрд░реНрдерд╛рддреНтАМ \(\binom{6}{3}\)ред \(x\) рдкрд░ рдШрд╛рддрд╛рдВрдХ рд╕рд╛рдд рдкрджреЛрдВ рдореЗрдВ \(6\) рд╕реЗ \(0\) рддрдХ рдШрдЯрддрд╛ рд╣реИред
рдореБрдЦреНрдп рдкрдж рдФрд░ рдЪрд░
- \(a\) тАФ рдкреНрд░рдердо рдЖрдзрд╛рд░ рдкрдж
- рджреНрд╡рд┐рдкрдж \((a+b)^n\) рдХреЗ рдЕрдВрджрд░ рдХреА рдкрд╣рд▓реА рдорд╛рддреНрд░рд╛ред рдкреНрд░рддреНрдпреЗрдХ рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдкрдж рдореЗрдВ рдЗрд╕реЗ рдЕрд╡рд░реЛрд╣реА рдШрд╛рдд \(a^{n-k}\) рддрдХ рдмрдврд╝рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
- \(b\) тАФ рджреНрд╡рд┐рддреАрдп рдЖрдзрд╛рд░ рдкрдж
- рджреНрд╡рд┐рдкрдж рдХреЗ рдЕрдВрджрд░ рджреВрд╕рд░реА рдорд╛рддреНрд░рд╛ред рдЗрд╕реЗ рдЖрд░реЛрд╣реА рдШрд╛рдд \(b^{k}\) рддрдХ рдмрдврд╝рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдШрдЯрд╛рд╡ \((a-b)^n\) рдХреЗ рд▓рд┐рдП, \(b\) рдХреЛ рдирдХрд╛рд░рд╛рддреНрдордХ рдорд╛рдиреЗрдВ рддрд╛рдХрд┐ рдЪрд┐рдиреНрд╣ рд╡реИрдХрд▓реНрдкрд┐рдХ рд╣реЛрдВред
- \(n\) тАФ рдШрд╛рддрд╛рдВрдХ (рдШрд╛рдд)
- рд╡рд╣ рдШрд╛рдд рдЬрд┐рд╕ рддрдХ рджреНрд╡рд┐рдкрдж рдХреЛ рдмрдврд╝рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред рдПрдХ рдЕрдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ \(n\) рдХреЗ рд▓рд┐рдП, рд╡рд┐рд╕реНрддрд╛рд░ рдореЗрдВ рдареАрдХ \(n+1\) рдкрдж рд╣реЛрддреЗ рд╣реИрдВ, рдФрд░ \(n\) рдкрд╛рд╕реНрдХрд▓ рдХреЗ рддреНрд░рд┐рднреБрдЬ рдХреА рдкрдВрдХреНрддрд┐ \(n\) рдХреЛ рдЪреБрдирддрд╛ рд╣реИред
- \(k\) тАФ рдпреЛрдЧ рд╕реВрдЪрдХрд╛рдВрдХ
- рд╡рд╣ рдкреНрд░рдорд╛рдкрдХ рдЬреЛ \(\sum_{k=0}^{n}\) рдореЗрдВ \(0\) рд╕реЗ \(n\) рддрдХ рдЪрд▓рддрд╛ рд╣реИред рдпрд╣ рдкреНрд░рддреНрдпреЗрдХ рдкрдж рдХреА рд╕реНрдерд┐рддрд┐ рдХреЛ рдкрд╣рдЪрд╛рдирддрд╛ рд╣реИ рдФрд░ рдШрд╛рддреЗрдВ \(a^{n-k}b^{k}\) рдХреЛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред
- \(\binom{n}{k}\) тАФ рджреНрд╡рд┐рдкрдж рдЧреБрдгрд╛рдВрдХ
- "n рдЪреБрдирд╛рд╡ k" рдХреЗ рд░реВрдк рдореЗрдВ рдкрдврд╝реЗрдВ, \(\binom{n}{k} = \dfrac{n!}{k!\,(n-k)!}\) рдХреЗ рд░реВрдк рдореЗрдВ рдЧрдгрдирд╛ рдХреА рдЧрдИред рдпрд╣ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдЧреБрдгрдХ рд╣реИ (рд╕рд╛рде рд╣реА \(n\) рд╕реЗ \(k\) рд╡рд╕реНрддреБрдУрдВ рдХреЛ рдЪреБрдирдиреЗ рдХреЗ рддрд░реАрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рднреА) рд╕реВрдЪрдХрд╛рдВрдХ \(k\) рд╡рд╛рд▓реЗ рдкрдж рдкрд░ред
- рдПрдХ рдПрдХрд▓ рдкрдж
- рдлреЙрд░реНрдо \(\binom{n}{k}\,a^{n-k}\,b^{k}\) рдХрд╛ рдПрдХ рдкреВрд░реНрдг рдпреЛрдЬреНрдп: рдПрдХ рдЧреБрдгрд╛рдВрдХ \(a\) рдХреА рдШрд╛рдд рдФрд░ \(b\) рдХреА рдШрд╛рдд рд╕реЗ рдЧреБрдгрд╛ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЬрд┐рдирдХреА рдШрд╛рддреЗрдВ рд╣рдореЗрд╢рд╛ \(n\) рддрдХ рдЬреЛрдбрд╝реА рдЬрд╛рддреА рд╣реИрдВред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ \(n\) рднрд┐рдиреНрди рдпрд╛ рдЛрдгрд╛рддреНрдордХ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ? рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреЗрд╡рд▓ рдЕрдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рддрд╛рдВрдХ (0 рд╕реЗ 20) рдХрд╛ рд╕рдорд░реНрдерди рдХрд░рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ рд╡рд┐рд╕реНрддрд╛рд░ рдореЗрдВ рдареАрдХ \(n + 1\) рдкрдж рд╣реЛрддреЗ рд╣реИрдВред
рдкрджреЛрдВ рдХреЗ рдпреЛрдЧ рд╡рд╛рд▓реА рдкрдВрдХреНрддрд┐ рдХрд╛ рдХреНрдпрд╛ рдорддрд▓рдм рд╣реИ? рдпрд╣ рд╕рднреА рд╡рд┐рд╕реНрддрд╛рд░рд┐рдд рдкрджреЛрдВ рдХреЛ рдЬреЛрдбрд╝рдХрд░ рдПрдХ рдЬрд╛рдБрдЪ (sanity check) рджреЗрддреА рд╣реИ; рдЗрд╕рдХрд╛ рдорд╛рди рд╣рдореЗрд╢рд╛ \((a + b)^{n}\) рдХреЗ рджрд░реНрд╢рд╛рдП рдЧрдП рдорд╛рди рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрдирд╛ рдЪрд╛рд╣рд┐рдПред
рдЧреБрдгрд╛рдВрдХ рд╕реВрдЪреА рдореЗрдВ \(C(n,k)\) рдХреНрдпреЛрдВ рд▓рд┐рдЦрд╛ рдЬрд╛рддрд╛ рд╣реИ? \(C(n,k)\) рджреНрд╡рд┐рдкрдж рдЧреБрдгрд╛рдВрдХ рдХрд╛ рдорд╛рдирдХ рд╕рдВрдХреЗрддрди рд╣реИ, рдЬреЛ \(n! / (k!(n-k)!)\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдкрдж рдкрд░ рд▓рдЧрдиреЗ рд╡рд╛рд▓рд╛ рдЧреБрдгрдХ рджрд░реНрд╢рд╛рддрд╛ рд╣реИред