| ||||||||
∀ n∊N (a+b)n=∑ | akbn−k | |||||||
|
| |||||||||||||||
= ∑k=0..n | ak+1bn−k + ∑k=0..n | akbn−k+1 | ||||||||||||||
|
| |||||||||||||||
= ∑k=1..n+1 | akbn−k+1 + ∑k=0..n | akbn−k+1 | ||||||||||||||
|
| |||||||||||||||
= an+1 + ∑k=1..n | akbn−k+1 + ∑k=1..n | akbn−k+1 + bn+1 | ||||||||||||||
|
| |||||||||||||||
= an+1 + ∑k=1..n( | + | )akbn−k+1 + bn+1 | ||||||||||||||
| ||||||||
= an+1 + ∑k=1..n | akbn−k+1 + bn+1 | |||||||
| ||||||||
= ∑k=0..n+1 | akbn+1−k = OK. | |||||||