pour le premier
si je mets
evalb(simplify(sum(2*k*(k-1)/n(n-1), k = 2 .. n)) = simplify(2*(sum(k^2-k, k = 2 .. n))/n(n-1)))
ca renvoie bien true
en fait j´ai bien peur que si on ne met pas le simplify (enlevez les, oh ca renvoie false) il soit incapable de voir les résultats sont égaux (pas exactement la meme écriture), c´est lamentable
j´en arrive a me demander pourquoi tu utilises maple en dehors de problemes qu´il peut résoudre et pas toi