ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 21 — Dénombrement et probabilités · Variables aléatoires et lois

Exercice 63

Démonstration

Soit n∈ℕ∗n \in \mathbb{N}^{*}. On choisit quatre entiers aa, bb, cc, dd dans ⟦−n ,n⟧\llbracket -n\,,n \rrbracket, indépendamment et selon la loi uniforme, et l'on note p(n)p(n) la probabilité que la matrice (abcd)\begin{pmatrix} a & b \\ c & d \end{pmatrix} soit inversible. Montrer que 1−p(n)⩽22n+11 - p(n) \leqslant \frac{2}{2n + 1}, et en déduire la limite de p(n)p(n). On pourra distinguer selon que aa est nul ou non.

Corrigé

Modèle. On munit Ω=⟦−n ,n⟧4\Omega = \llbracket -n\,,n \rrbracket^{4} de la probabilité uniforme, chaque quadruplet (a,b,c,d)(a, b, c, d) ayant la probabilité 1(2n+1)4\frac{1}{(2n + 1)^{4}} ; c'est le modèle de la proposition 17 pour quatre tirages indépendants uniformes. La matrice n'est pas inversible si et seulement si son déterminant ad−bcad - bc est nul (chapitre 17).

Majoration. L'événement (ad=bc)(ad = bc) est contenu dans la réunion des événements (a=0)(a = 0) et (a≠0, ad=bc)(a \neq 0,\ ad = bc). Le premier a la probabilité (2n+1)3(2n+1)4=12n+1\frac{(2n + 1)^{3}}{(2n + 1)^{4}} = \frac{1}{2n + 1}. Pour le second, on fixe (a,b,c)(a, b, c) avec a≠0a \neq 0 : l'égalité ad=bcad = bc impose d=bcad = \frac{bc}{a}, et il y a au plus un dd convenable. Il y a 2n(2n+1)22n(2n + 1)^{2} triplets (a,b,c)(a, b, c) avec a≠0a \neq 0, donc l'événement contient au plus 2n(2n+1)22n(2n + 1)^{2} issues, et P(a≠0, ad=bc)⩽2n(2n+1)2(2n+1)4=2n(2n+1)2⩽12n+1.\mathrm{P}(a \neq 0,\ ad = bc) \leqslant \frac{2n(2n + 1)^{2}}{(2n + 1)^{4}} = \frac{2n}{(2n + 1)^{2}} \leqslant \frac{1}{2n + 1}. Par la sous-additivité (proposition 7 (iv)), 1−p(n)=P(ad−bc=0)⩽22n+1d’ouˋ1−22n+1⩽p(n)⩽1,lim⁡n→+∞p(n)=1\boxed{1 - p(n) = \mathrm{P}(ad - bc = 0) \leqslant \frac{2}{2n + 1}} \qquad\text{d'où}\qquad 1 - \frac{2}{2n + 1} \leqslant p(n) \leqslant 1, \qquad \boxed{\lim_{n \to +\infty} p(n) = 1} par encadrement. Les valeurs exactes, obtenues par énumération, confirment la majoration : 1−p(n)1 - p(n) vaut 1127≈0,407\frac{11}{27} \approx 0{,}407 pour n=1n = 1 (majorant 23\frac{2}{3}), 129625≈0,206\frac{129}{625} \approx 0{,}206 pour n=2n = 2 (majorant 0,40{,}4) et 83314 641≈0,057\frac{833}{14\,641} \approx 0{,}057 pour n=5n = 5 (majorant 211≈0,18\frac{2}{11} \approx 0{,}18).

À retenir. Une matrice à coefficients entiers pris au hasard dans un grand intervalle est presque sûrement inversible : être non inversible impose une relation entre les coefficients, qui détermine l'un d'eux en fonction des autres. La distinction selon aa sert à pouvoir diviser par aa ; sans elle, l'équation 0⋅d=bc0 \cdot d = bc laisserait dd libre, et la majoration par « au plus une valeur de dd » tomberait.

Ouvrir dans l'atlas interactif →