Hum je bloque sur cet exo depuis qq temps.

Pour tout entier naturel n non-nul, on note Un l'ensemble des nombres complexes z tels que z^n=1.
Soient m et n deux entiers naturels non nuls.
Mq si mIn alors Um C Un (où C=inclus)

Soit d=PGCD(m,n)
Mq Ud= Um intervalle Un

Raisonne avec la forme exponentielle.

Ok... mais ça m'avance pas trop.

Un définit par z^n=1 et Um définit par z^m=1

Je vois pas où je peux utiliser la forme exponentielle

Um = {e^(i2kpi/m), k appartenant à Z}
Voilà par exemple comment tu peux l'utiliser.

Je crois qu'il a pas encore vu la forme exponentielle des racines n-ième de l'unité en Terminale.

Ta rien a voir,
z^n = a équivaut à
IzI = racine nième de (a)
arg(z) = arg(a)/n + 2kPI/n avec 0<=k<n