Supposer P(k) vraie pour tout k<n, en déduire P(n).
Utile pour suites d'ordre ≥2 et décomposition en facteurs premiers.
(a+b)ⁿ=ΣCₙᵏaⁿ⁻ᵏbᵏ. ΣCₙᵏ=2ⁿ. ΣkCₙᵏ=n·2ⁿ⁻¹.
Vandermonde : Σ_{k=0}^r C_m^k·C_n^{r−k}=C_{m+n}^r.
Σ(Cₙᵏ)²=C_{2n}^n.
Montrer que tout entier n≥2 est produit de facteurs premiers.
Init n=2 premier ✓. Hérédité: si n non premier, n=ab avec 2≤a,b<n. Par hyp. forte a et b sont produits de premiers → n aussi.
Anagrammes de COCOA (C×2,O×2,A×1) et de MISSISSIPPI.
COCOA: 5!/(2!2!1!)=30. MISSISSIPPI: 11!/(1!4!4!2!)=34650.
(1) Terme en x³ dans (2x−1)⁵. (2) Terme en x² dans (1+3x)⁸. (3) ΣC₁₀ᵏ.
(1) C₅³·8·1=80x³. (2) C₈²·9x²=252x². (3) 2¹⁰=1024.
Vérifier Vandermonde pour m=n=2, r=2. Puis prouver Σ(Cₙᵏ)²=C_{2n}^n.
C₂⁰C₂²+C₂¹C₂¹+C₂²C₂⁰=1+4+1=6=C₄² ✓. Vandermonde avec m=n, r=n et symétrie Cₙᵏ=Cₙⁿ⁻ᵏ.
5H, 6F. (1) Comité de 4. (2) Au moins 2F. (3) Président F.
(1) C₁₁⁴=330. (2) 330−C₅⁴−C₆¹C₅³=265. (3) 6×C₁₀³=720.
On étudie les coefficients binomiaux et leurs propriétés.
10 questions
Récurrence forte : on suppose P(k) pour
Perm. avec répétitions : n!/(n₁!...nₖ!) =
ΣCₙᵏ=
ΣkCₙᵏ=
Σ(Cₙᵏ)²=
Pascal: Cₙᵏ+Cₙᵏ⁺¹=
k·Cₙᵏ=
Vandermonde : Σ C_m^k·C_n^{r−k}=
Anagrammes de AABB=
Terme constant de (2x−1)⁴=