Après il suffit de recoller les morceaux :
[(a/b)^n - 1]*b^n = (a/b - 1)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n (relation 1)
On a dit que [(a/b)^n - 1]*b^n = a^n - b^n
Donc en remplaçant dans la relation 1 ça donne :
a^n - b^n = (a/b - 1)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n (relation 2)
Ensuite on a dit que
(a/b - 1)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n = b*(a/b - 1)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n-1
Donc en remplaçant dans la relation 2 :
a^n - b^n = b*(a/b - 1)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n-1 (relation 3)
Puis on a trouvé que b(a/b - 1) = (a - b)
En remplaçant dans la relation 3 :
a^n - b^n = (a - b)((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n-1 (relation 4)
Puis on a trouvé que :
((a/b)^n-1 + (a/b)^n-2 + ... + a/b + 1)*b^n-1 = (a^n-1 + b*a^n-2 + ... + a*b^n-2 + b^n-1)
En remplaçant dans la relation 4 :
a^n - b^n = (a - b)(a^n-1 + b*a^n-2 + ... + a*b^n-2 + b^n-1)
Ce qui est bien la relation qu´on cherchait à montrer.