Pour {m\in\mathbb{N}^{*}}, on note {\varphi(n)=\text{card}\{k\in E_{n},\;k\wedge n=1\}} (indicatrice d’Euler).

Soient {m,n} dans {\mathbb{N}^{*}}, avec {m\wedge n=1}.

Soit {f : E_{m}\times E_{n}\rightarrow E_{mn}} définie par {f(x,y)=xn+ym\ [mn]}.

Montrer que {f} est bijective. En déduire que {\varphi(mn)=\varphi(m)\varphi(n)}.

1. Soient {m} et {n} deux entiers premiers entre eux. Soient {a} et {b} deux entiers.
   On considère le système {(S):\ \begin{cases}x\equiv a\pmod m\cr x\equiv b\pmod n\end{cases}}
   Montrer que l’ensemble des solutions de (S) est une classe d’entiers modulo {mn}.
2. Résoudre le système {\begin{cases}x\equiv 3\pmod {12}\cr x\equiv 5\pmod 9\end{cases}}