Salut !
Il faudrait en effet commencer par prouver que s(m)s(n)=s(mn) des que m et n sont premier entre eux.
Pour cela il s'agit d'un calcule tres géneral, utilisant essentiellement le fait que l'application:
D(n)*D(m) -> D(mn)
(u,v) -> (uv)
est une bijection des que m et n sont premier entre eux, ou D(k) désigne l'ensemble des diviseur de k
à partir de la vu que s(n)= somme pour x dans D(n) de x.
on s(n)s(m) = somme pour (u,v) dans D(n)*D(m) de u*v = somme pour x dans D(nm) de x = s(mn)
Et pour prouver que c'est bien une bijection, ba faut faire un peu d'arthmétique elementaire, on peut par exemple montrer que l'application
g : k -> (pgcd(k,n) , pgcd(k,m) )
est l'application récproque... enfin je te laisse réfléchir un peu à ca...