ce qui donne finalement
2.(a + (a+k) + (a+2.k) + ... + (a+ n.k)) = (n+1).(a+a+n.k) = (n+1).(a+k + a+(n-1).k) = ...
ce qui donne finalement
2.(a + (a+k) + (a+2.k) + ... + (a+ n.k)) = (n+1).(a+a+n.k) = (n+1).(a+k + a+(n-1).k) = ...
On peut se demander ce que donne cette preuve pour la somme des n premiers impairs ?
du même genre 
ou 
ou encore 