Programme de mathématiques MPSI, MP2I · semestre 1
Arithmétique dans l’ensemble des entiers relatifs
Rechercher dans cette partie du programmeTexte officiel du programme
L’objectif de cette section est d’étudier les propriétés de la divisibilité des entiers et des congruences. L’approche préconisée reste élémentaire en ce qu’elle ne fait pas appel au langage des structures algébriques.
- a) Divisibilité et division euclidienne 106
- b) PGCD et algorithme d’Euclide 87
- c) Entiers premiers entre eux 110
- d) Nombres premiers 72
- e) Congruences 139
exo7 2985
Soit \(G\) un groupe multiplicatif et \(a \in G\) d’ordre ...
exo7 2986
Soit \(G\) un groupe n’ayant pas de sous-groupe non trivial. Montrer que \(G\) es ...
exo7 299
Calculer, en précisant la méthode suivie, \[a=\text{pgcd} (720,252) \quad\quad b = \text{ppcm} (720,252)\] ainsi ...
exo7 2996
Soit \(G\) un groupe commutatif fini d’ordre \(n = ab\) avec ...
exo7 300
Démontrer : \[a\wedge(b_1b_2)=1 \Leftrightarrow (a\wedge b_1=1 \text{ et } a\wedge b_2 =1),\] puis par récurence ...
exo7 3002
On considère le groupe \(G = \Z^2\). Une base de ...
exo7 301
Démontrer pour \(m,n \in \Nn^*\) : ...
exo7 302
Déteminer deux entiers naturels connaissant leur somme, \(1008\), et leur pgcd, ...
exo7 3021
Soit \(A = \{ m/n \in \Q \text{ tel que } n \text{ est impair} \}\).
exo7 3024
Soit \(A = \{ a + bi \text{ tq } a,b \in \Z\}\).
exo7 3027
Soit \(K\) un corps fini. Pour \(x\in K^*\) on note ...
exo7 303
Notons \(a=1\;111\;111\;111\) et \(b=123\;456\;789\).
exo7 304
Soient \(m\) et \(n\) deux entiers ...
exo7 305
Résoudre dans \({\Zz}:1665x+1035y=45.\)
exo7 3053
Soient \(a,b \in \N\). On pose \(m = \text{ppcm}(a,b)\) et ...
exo7 3054
Soit \(b \in \N\setminus \{0,1\}\) et \(p \in \N\). Montrer que pour tout entier ...
exo7 3055
Soit \(n \in \N^*\). Montrer qu’il existe \(p \in \N\) et ...
exo7 3056
Soient \(n,p \in \N^*\) avec \(n < p!\). Montrer qu’il existe un unique ...
exo7 3057
On note \(a_n = 25^n + 2^{3n+4}\).
exo7 306
Montrer qu’il n’existe pas d’entiers \(m\) et \(n\) tels que ...
exo7 3065
Soient \(a\in\Z\) et \(b\in\N^*\). Montrer que : ...
exo7 307
Soit \(m\) et \(n\) deux entiers positifs.
exo7 308
Trouver une CNS pour que \(ax+b\equiv 0 \ \rm{mod} \ n\) ait une solution.
exo7 3086
Soit \(\sigma\) un \(k\)-cycle de \({\cal S}_n\) ...
exo7 309
Calculer \(\mbox{pgcd}(18,385)\) par l’algorithme d’Euclide, en déduire un couple ...
exo7 3090
Soit \(n\in\N\), \(n\ge 2\). Montrer que si ...
exo7 3091
Soit \(p \in \N\) premier. Montrer que pour \(1 \le k \le p-1\), ...
exo7 3092
Soit \(p \in \N^*\) premier et \(n \in \N^*\), ...
exo7 3093
Montrer que : \(\forall\ n \in \Z\), \(n^7 \equiv n (\mathrm{mod}\, {42})\).
exo7 3094
Vérifier \(10^6 \equiv 1 (\mathrm{mod}\, 7)\).
exo7 3095
Quel est le dernier chiffre de \(7^{7^{7^{7^{7^{7^7}}}}}\) ?
exo7 3096
Soient \(x,y\in \N\), \(y \ge 3\). Montrer par récurrence sur ...
exo7 3097
Montrer que pour tout \(n \in \N\), \(3^{2n+1} + 2^{n+2}\) est divisible par ...
exo7 3098
Déterminer le reste de la division euclidienne de \(2^{10n-7} + 3^{5n-2}\) par ...
exo7 3099
Soient \(a,b \in \Z\) et \(n \in \N^*\). Montrer que : ...
exo7 310
Trouver \(a\) et \(b\) entiers naturels tels que
exo7 3100
Montrer que : \(\forall\ a,b,c \in \Z\), ...
exo7 3101
Montrer que la somme de trois cubes consécutifs est toujours divisible par 9.
exo7 3102
Montrer que : \(\forall\ n \in \Z\), \(n^2 + 3n + 5\) n’est pas divisible par 121 ...
exo7 3103
Montrer que pour tout entier \(n\in\Z\), \(n(2n+1)(7n+1)\) est divisible par 6. ...
exo7 3104
Montrer sans calculatrice que \(2^{32} + 1\) est divisible par 641.
exo7 3105
Trouver tous les couples \((x,y) \in \N^2\) tels que \(3^x7^y\) se termine par 1 ...
exo7 3106
Soit \(a \in \N\) premier à 10.
exo7 3107
Montrer que pour tous entiers \(m\) et \(n\), le nombre ...
exo7 3108
Soient \(p,q\) premiers impairs tels que \(q\mid2^p-1\). Montrer que ...
exo7 3109
Infirmer ou justifier le critère de divisibilité par \(7\) suivant retrouvé ...
exo7 311
Résoudre dans \(\mathbb{Z}\) les équations : ...
exo7 3110
Soient \(a,b,c \in \Z\) tels que \(a\wedge b = 1\). Montrer que ...
exo7 3111
Soient \(a,b\) entiers, \(d = a \wedge b\), ...
exo7 3112
Soient \(a,b \in \Z\). Chercher \((a-b)^3 \wedge (a^3 - b^3)\).