Exercices corrigés des Mines-Ponts sur le thème « arithmétique dans ℤ et dans K[X] », regroupés par filière.
MP–MPI
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que si {q^p-1} est premier, alors {p} est premier et {q=2}.
Si {p} est premier impair et {k} divise {2^p-1}, montrer {k\equiv1\pmod{2p}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Pour {F_n=2^{2^n}+1}, montrer {F_n=2+\prod\limits_{k=0}^{n-1}F_k}, puis que les {F_n} sont premiers entre eux deux à deux.
En déduire l’infinitude des nombres premiers.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Pour un premier {p\mid n}, montrer que {2} est inversible modulo {p} et que son ordre divise {n} et {p-1}.
En déduire une contradiction.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Si {A} est d’ordre fini et {A=I+pM} avec {p\geq3} premier et {M} entier, montrer {\operatorname{Sp}A=\left\{1\right\}} et conclure.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer, pour {\alpha>1}, {\sum\limits d(n)/n^\alpha=\zeta(\alpha)^2}, puis, pour {\alpha>2}, {\sum\limits\varphi(n)/n^\alpha=\zeta(\alpha-1)/\zeta(\alpha)}.
Étudier les autres valeurs réelles de {\alpha}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Si {p} est premier et {k\ge1} divise {2^p-1}, montrer {k\equiv1\pmod{2p}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {3} est son unique nombre premier et que toutes les puissances entières de {3} lui appartiennent.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Si {p_1\lt p_2\lt \cdots} sont les nombres premiers, montrer {p_1\cdots p_k\ge p_{k+1}+p_{k+2}} pour {k\ge3}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Interpréter cette valuation par les retenues de l’addition de {k} et {n-k} en base {p}.
3) {7} divise-t-il {\binom{1000}{500}} ?
4) Montrer que {2\mid\binom{2n}n} et étudier la divisibilité par {4} pour {n\ge2}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer {n=\sum\limits_{d\mid n}\varphi(d)}.
3) Montrer la multiplicativité de {\varphi} sur les entiers premiers entre eux et donner sa formule à partir des facteurs premiers.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Dénombrer {K}. Si {A,B} sont des variables à valeurs dans {\mathbb{Z}/p\mathbb{Z}}, {N} compte les solutions de {X^2+AX+B=0}.
Déterminer l’espérance et la variance de {N}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer {\varphi(n)\ge n\log2/(\log n+\log2)} pour {n\ge1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) En déduire l’infinité des nombres premiers.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Pour {\alpha=2^{1/3}}, montrer que {a+b\alpha+c\alpha^2=0} avec {a,b,c\in\mathbb{Q}} impose {a=b=c=0}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Que devient le résultat en intervertissant pair et impair ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer {A=I}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Résoudre l’équation {f(n)=n}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\sqrt n\le\frac1k\sum\limits_{i=1}^kd_i\le(n+1)/2}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe {n\ge1} et une liste strictement croissante {(a_1,\ldots,a_n)\in(\mathbb{N}^\star)^n} tels que {\frac pq=\sum_{k=1}^n\frac{(-1)^{k-1}}{a_k},\qquad a_1\le\left\lfloor\frac qp\right\rfloor.}
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Pour {k\in\left\{1,\ldots,p-1\right\}}, montrer qu’il existe un unique {k^{-1}\in\left\{1,\ldots,p-1\right\}} tel que {kk^{-1}\equiv1\pmod p}.
Montrer que {\sum\limits_{k=1}^{p-1}k^{-1}\equiv0\pmod p}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\sum\limits_{k=1}^{p-1}k^m\equiv0\pmod p}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que, pour {k\in\left\{1,\ldots,p-1\right\}}, il existe un unique {k^\star\in\left\{1,\ldots,p^2-1\right\}} tel que {kk^\star\equiv1\pmod{p^2}}.
Montrer que {\sum\limits_{k=1}^{p-1}k^\star\equiv0\pmod{p^2}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Qu’en déduire sur {(s_n)} ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\pi} est bien défini et est un morphisme surjectif d’anneaux.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que, si {M_n} divise {s_{n-2}}, alors {M_n} est premier. Indication : considérer le plus petit diviseur premier {q} de {M_n} et l’ordre de {(\bar2,\bar1)} dans {B^\times}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A} est intègre, puis que c’est un corps.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer l’équivalence : i) {\Lambda(Ax)=\Lambda(x)} pour tout {x\in\mathbb{R}^n} ;
ii) {\det A=\pm1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A} est inversible.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que toutes les masses sont égales.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PSI
Quel jour sera-t-on le 1er juin 2023 ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {P} est constant.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres