Additions/clarifications/corrections.

1 files changed, 30 insertions, 11 deletions

diff --git a/rappels-maths.tex b/rappels-maths.tex
index 60660fd..15c307f 100644
--- a/rappels-maths.tex
+++ b/rappels-maths.tex
@@ -356,11 +356,16 @@ entiers est $0$),
 \subsection{Entiers premiers entre eux}
 
 Lorsque $\pgcd(m_1,\ldots,m_\ell)=1$, on dit que les $m_i$ sont
-\textbf{premiers entre eux} \emph{dans leur ensemble}.
+\textbf{premiers entre eux} \emph{dans leur ensemble}.  Cela signifie
+qu'il n'existe aucun nombre premier (ou : aucun nombre autre que $\pm
+1$) qui divise tous les $m_i$ à la fois.
 
 Lorsque $\pgcd(m_i,m_j)=1$ pour tous $i\neq j$, on dit que les $m_i$
 sont premiers entre eux \emph{deux à deux}.
 
+Bien entendu, pour seulement deux nombres, ces définitions coïncident,
+et on dit simplement qu'ils sont premiers entre eux.
+
 Exemple : $6, 10, 15$ sont premiers entre eux dans leur ensemble, mais
 pas deux à deux.
 
@@ -368,17 +373,27 @@ pas deux à deux.
 eux, être multiple de $m$ et de $n$ équivaut à être multiple de $mn$.
 
 \textbf{Dirichlet :} La probabilité pour que deux entiers « tirés au
-  hasard » soient premiers entre eux est $\frac{6}{\pi^2}$.
+  hasard » soient premiers entre eux est $\frac{6}{\pi^2}$
+(c'est-à-dire que la probabilité que deux entiers tirés au hasard
+entre $0$ et $N-1$ soient premiers entre eux tend vers
+$\frac{6}{\pi^2}$ quand $N \to +\infty$).
 
 %
 \subsection{PPCM}
 
-Définition analogue au pgcd.  Exemple : le ppcm de $6$ et $10$
-est $30$ ; le ppcm de $6$, $10$ et $15$ est aussi $30$.  Lien avec la
-DFP (pour un nombre fini d'entiers).  Le ppcm d'une famille infinie
+Définition analogue au pgcd (un ppcm de $m_1,\ldots,m_\ell$ est un
+multiple commun à tous les $m_i$ qui divise n'importe quel autre
+multiple commun ; par convention, on prend celui qui est positif).
+Exemple : le ppcm de $6$ et $10$ est $30$ ; le ppcm de $6$, $10$ et
+$15$ est aussi $30$.  Lien avec la DFP (pour un nombre fini
+d'entiers) : $v_p(\ppcm(m_1,\ldots,m_\ell)) =
+\max(v_p(m_1),\ldots,v_p(m_\ell))$.  Le ppcm d'une famille infinie
 d'entiers est défini, mais parfois surprenant (quel est le ppcm de
 tous les nombres premiers ?).
 
+Remarque : pour deux nombres, on a $\ppcm(m,m') \times \pgcd(m,m') =
+|mm'|$.
+
 %
 \subsection{Relation de Bézout}
 
@@ -406,9 +421,10 @@ Si $au + bv = \pm 1$ on dit parfois que les rationnels $a/b$ et $-v/u$
 \medbreak
 
 Plus généralement, si $\pgcd(a,b) = d$, on peut trouver $u$ et $v$
-tels que $au+bv = d$ (en fait, $a/d$ et $b$ sont premiers entre eux,
-et si $(a/d)u+bv' = 1$ est une relation de Bézout entre eux, alors on
-a $au+b(v'd) = d$).
+tels que $au+bv = d$ (en fait, il existe $d',d''$ avec $d=d'd''$ tels
+que $a/d'$ et $b/d''$ soient premiers entre eux, et si
+$(a/d')u_0+(b/d'')v_0 = 1$ est une relation de Bézout entre eux, alors
+on a $a(d''u_0)+b(d'v_0) = d$).
 
 %
 \subsection{Algorithme d'Euclide}
@@ -494,6 +510,9 @@ Si $x$ et $x'$ sont entiers, on dit que $x$ et $x'$ sont
 $x-x'$ est multiple de $m$.  Relation réflexive, symétrique,
 transitive.
 
+Dire $x \equiv 0 \pmod{m}$ signifie simplement que $x$ est multiple
+de $m$.
+
 Compatibilité avec les opérations : (à $m$ fixé,) si $x\equiv x'$ et
 $y \equiv y'$ alors $x+y \equiv x'+y'$ et $xy \equiv x'y'$.  À $m$
 variable : si $m|m'$ alors $x \equiv x' \pmod{m'}$ implique $x\equiv
@@ -719,9 +738,9 @@ Généralisations du théorème chinois :
   suffit, pour cela, que $x$ et $y$ soient « compatibles »,
   c'est-à-dire congrus modulo $d = \pgcd(m,n)$).  Lorsque $x$ et $y$
   sont compatibles, alors on retrouve une unique classe modulo
-  $\ppcm(m,n)$ (pour faire le calcul en pratique, diviser l'un des
-  deux nombres $m,n$ par $d$ pour se ramener à deux nombres premiers
-  entre eux).
+  $\ppcm(m,n)$ (pour faire le calcul en pratique, diviser les nombres
+  $m,n$ par $d',d''$ tels que $d'd''=d$ pour se ramener à deux nombres
+  $m/d'$ et $n/d''$ premiers entre eux).
 \item Si $m_1,\ldots,m_k$ sont premiers entre eux \emph{deux à deux},
   alors la donnée d'une classe modulo le produit $m_1\cdots m_k$
   équivaut à la donnée de classes modulo chacun des $m_i$ (pour faire