Y'a peut-être plus simple mais en théorie ceci doit marcher :
- Si n est pair tu dois montrer que le PGCD c'est 1. Donc il suffit de trouver une relation de Bezout, c'est-à-dire trouver deux entiers a et b (qui vont sûrement dépendre de n) tels que a(n²+1) + bn(n²-1) = 1. D'après le théorème de Bezout ça montre que n²+1 et n(n²-1) sont premiers entre eux.
- Si n est impair, pour montrer que 2 divise Dn t'as dû écrire n = 2k+1, puis montrer que n²+1 = 2*chose et n(n²-1) = 2*bidule. Si t'arrives à montrer que chose et bidule sont premiers entre eux, ça montrera que le PGCD c'est 2. Et pour ça tu peux faire pareil, trouver une relation de Bezout entre eux.