On veut calculer la très longue somme S=1 + 2 + 3 + 4 + ... + 1000.
1000 termes
S=1000+999+998+...+4+3+2+1
On utilise l'associativité et la commutativité de l'addition des entiers naturels
1 + 2 + 3 + ... + 998 + 999 + 1000
+ 1000 + 999 + 998 + ... + 3 + 2 + 1
=1001 + 1001+ 1001 +... + 1001+1001+1001 (1000 fois)
=1001000
S= 2S/2 =1 001 000/2 = 500 500