Pour prouver P(n) vraie pour tout n≥n₀ :
Initialisation : vérifier P(n₀). Hérédité : supposer P(n) vraie, montrer P(n+1).
Prouver 1+2+...+n=n(n+1)/2. Init: P(1): 1=1 ✓. Hér: supposer vrai pour n, ajouter (n+1) des deux côtés.
Cₙ⁰=Cₙⁿ=1. Cₙ¹=n. Cₙᵖ=Cₙⁿ⁻ᵖ. Pascal : Cₙᵖ+Cₙᵖ⁺¹=Cₙ₊₁ᵖ⁺¹.
(a+b)ⁿ = Σₖ₌₀ⁿ Cₙᵏ·aⁿ⁻ᵏ·bᵏ
Corollaires : Σ Cₙᵏ=2ⁿ (a=b=1). Σ(-1)ᵏCₙᵏ=0 (a=1,b=-1). Σk·Cₙᵏ=n·2ⁿ⁻¹.
Triangle de Pascal : chaque Cₙᵖ = somme des deux au-dessus.
Prouver par récurrence que 1²+2²+...+n²=n(n+1)(2n+1)/6.
Init: P(1): 1=6/6=1 ✓. Hér: supposer P(n). Ajouter (n+1)²: n(n+1)(2n+1)/6+(n+1)²=(n+1)[n(2n+1)+6(n+1)]/6=(n+1)(2n²+7n+6)/6=(n+1)(n+2)(2n+3)/6. C'est P(n+1). ✓
Montrer que ΣCₙᵏ·k=n·2ⁿ⁻¹. (Dériver (1+x)ⁿ puis poser x=1.)
(1+x)ⁿ=ΣCₙᵏxᵏ. Dériver: n(1+x)ⁿ⁻¹=ΣCₙᵏ·k·xᵏ⁻¹. x=1: n·2ⁿ⁻¹=ΣCₙᵏ·k. ✓
Un groupe de 10 personnes (6H, 4F). (1) Comités de 4. (2) Exactement 2F. (3) Au moins 1F.
On considère la suite (aₙ) définie par aₙ=ΣC_{2n}^k pour k de 0 à n.
10 questions
1+2+...+n=n(n+1)/2 se prouve par
C₁₀³=
Pascal: Cₙᵖ+Cₙᵖ⁺¹=
(1+x)ⁿ=
ΣCₙᵏ (k=0 à n)=
Aₙᵖ (arrangements de p parmi n)=
Terme en x³ dans (1+x)⁵=
Récurrence: hérédité = supposer P(n) et prouver
Cₙᵖ=Cₙⁿ⁻ᵖ est la propriété de
Nb de comités de 3 parmi 8=