Bonjour callo,
dans le cadre d'un exo sur les sous-groupes Z+2PiZ additifs de IR,
on doit montrer que {Cos(n): n£Z} est dense dans [-1,1]
Voilà comment je procède:
1/2Pi est irrationnel, donc le sous-groupe Zest dense dans IR.
A l'aide de la continuité de Cos, on en déduit aisément que
{Cos(n): n£Z}=Cos(Z)=Cos(Z+2PiZ) est dense dans[-1,1].
Comme Cos est paire on a de plus {Cos(n): n£Z}={Cos(n): n£IN}, CQFD.
Pour le cas de Sin je voudrais que tu m'éclaires car pour la dernière ligne j'ai pu conclure grâce a la parité de Cos !