Anh Vu Tran a écrit :
> Est-ce que vous avez une démonstration *niveau TS spécialité maths*
> que (a-b) divise (a^n-b^n) quel que soit n dans IN ?
> Je ne pense pas qu'on ait le droit d'invoquer le fait que
> a^n-b^n = (a-b).somme(i=0..n-1, a^i.b^(n-1-i))Je vois pas pourquoi, et si il s'agit de le démontrer, il suffit
d'effectuer le produit à droite.
Mais sinon peut être que ceci te convient:
(a^n - b^n) est un polynome de degré n en a, une solution évidente est a
= b, donc il est divisble par a - b
Evidemment il faut supposer acquis le fait que pour un polynome P en X,
P(a) = 0 => P divisble par X-a... ce qui se fait par exemple en ayant vu
que a^n-b^n = (a-b).somme(i=0..n-1, a^i.b^(n-1-i)) ;o)
Au cas où, voilà le développement du produit, pour vérifier que ça
marche bien qd mm

(a-b) * la somme = somme(i=0..n-1, a^(i+1).b^(n-1-i)) - somme(i=0..n-1,
a^i.b^(n-i)) = a^n + somme(i=0..n-2, a^(i+1).b^(n-1-i)) -
somme(i=1..n-1, a^i.b^(n-i)) - b^n = a^n + somme(j=1..n-1, a^j.b^(n-j))
- somme(i=1..n-1, a^i.b^(n-i)) - b^n = a^n - b^n
--
Nico.