ExerciceMaths Sup – MPSI, chapitre 21 — Dénombrement et probabilités · Exercices de synthèse
Exercice 103
L'indicatrice d'Euler par les probabilités. Pour , on note le nombre d'entiers de premiers avec . Soit , de diviseurs premiers , …, . On choisit un entier au hasard dans , selon la loi uniforme ; pour , on note l'événement « divise », et l'événement « est premier avec ».
1. Exprimer à l'aide des événements , …, .
2. Calculer lorsque divise .
3. Montrer que les événements , …, sont mutuellement indépendants. Le premier exemple du cours qui suit la proposition 10 traitait le cas .
4. En déduire , puis la formule
5. Que vaut lorsque est un nombre premier, ou une puissance d'un nombre premier ? Retrouver directement ces valeurs.
Corrigé
L'univers est , muni de la probabilité uniforme : pour toute partie .
1. D'après le chapitre 12, et ne sont pas premiers entre eux si et seulement s'ils ont un diviseur premier commun, c'est-à-dire si et seulement si l'un des divise , puisque les diviseurs premiers de sont exactement , …, . Ainsi
2. Si divise , les multiples de dans sont , , …, ; il y en a , et
3. Soit une partie non vide de et . Les étant des nombres premiers distincts, donc premiers entre eux deux à deux, un entier est divisible par chacun d'eux si et seulement s'il est divisible par leur produit (chapitre 12). Ainsi , et divise ; la question 2 donne
Pour , on retrouve l'exemple du cours. L'hypothèse que les divisent est essentielle : sur , le cours a montré que et ne sont pas indépendants, puisque diffère de .
4. Par la proposition 10 (iii), les contraires , …, sont mutuellement indépendants, de probabilités . La question 1 donne et, comme , Pour , on trouve , et la formule a été contrôlée pour ✓.
5. Si est premier, et : directement, les entiers , …, sont premiers avec , et ne l'est pas. Si avec , on a encore , et Directement, un entier n'est pas premier avec si et seulement s'il est multiple de , et il y a multiples de dans .
À retenir. Une formule d'arithmétique devient une conséquence de l'indépendance : être divisible par et être divisible par sont deux « informations indépendantes » sur un entier tiré au hasard dans , dès que divise . La formule montre aussi que lorsque et sont premiers entre eux, puisque les diviseurs premiers de sont alors ceux de et ceux de , sans répétition. La fonction intervenait déjà dans l'exercice 62 de la feuille du chapitre 20.