\[ \begin{aligned}
& \overline{C}_{3}^{12} = \frac{(3 + 12 - 1)!}{12!(3 - 1)!} = 91 \\
\end{aligned} \]
Où

est l'ensemble des solutions
possibles (sans dés dont une face vaut plus que 6).

est l'ensemble de
toutes les solutions (incluant les solutions impossibles comme 1 + 1 + 12)
et dont le cardinal précédemment calculé vaut 91.

est l'ensemble avec les solutions où les 3 dés valent plus que 6. Pour ce dernier, on sait qu'il est
vide car on aurait un résultat plus grand que 15 et on est dans un sous-ensemble de solutions où la
somme vaut 15.
Formule :
\[ \begin{aligned}
& |S| = |\Omega| - |A_1| - |A_2| - |A_3| + |A \cap B| + |B \cap C| + |C \cap A| + |A \cap B \cap
C|
\\
\end{aligned} \]
Calculer le cardinal des 3 premiers ensembles A :
\[ \begin{aligned}
& \text{remarque :} \quad |A_1| = |A_2| = |A_3| \\
& dé_1 + dé_2 + dé_3 + 6 = 15 \quad && 1 \le dé \le 6 \quad && dé \ge 1 \\
& && && \orange{dé \ge 0} && \quad
\Leftarrow \\
& o_1 + o_2 + o_3 + 6 = 12 && 0 \le o \le 5 \quad && o \ge 0 \\
& o_1 + o_2 + o_3 = 6 && 0 \le o \le 5 \quad && o \ge 0 \\
\end{aligned} \]
On peut poser :
\[ \begin{aligned}
& |A_1| = \overline{C}_{3}^{6} = \frac{(3 + 6 - 1)!}{6!(3 - 1)!} = 28 \\
\end{aligned} \]
Calculer le cardinal des 3 ensembles suivants :
\[ \begin{aligned}
& \text{même remarque :} \quad |A \cap B| = |B \cap C| = |C \cap A| \\
& dé_1 + dé_2 + dé_3 + 6 + 6 = 15 \quad && 1 \le dé \le 6 \quad && dé \ge 1 \\
& && && \orange{dé \ge 0} && \quad
\Leftarrow \\
& o_1 + o_2 + o_3 + 6 + 6 = 12 && 0 \le o \le 5 \quad && o \ge 0 \\
& o_1 + o_2 + o_3 = 0 && 0 \le o \le 5 \quad && o \ge 0 \\
\end{aligned} \]
On peut poser :
\[ \begin{aligned}
& |A \cap B| = \overline{C}_{3}^{0} = 1 \\
\end{aligned} \]
\[ \begin{aligned}
& |\Omega| - |A_1| - |A_2| - |A_3| + |A \cap B| + |B \cap C| + |C \cap A| + |A \cap B \cap C|
\\[1em]
& \text{devient :} \\[1em]
& 91 - 28 - 28 - 28 + 1 + 1 + 1 - 0 \quad = \quad \underline{\underline{10}}
\end{aligned} \]
Très compliqué... ce résultat peut être vérifié de la manière suivante :
Il n'y a que ces 3 manières d'obtenir 15 avec 3D6:
- 6 + 6 + 3, les permutations donnent 3 arrangements
- 6 + 5 + 4, les permutations donnent 6 arrangements
- 5 + 5 + 5, un seul arrangement
3 + 6 + 1 = 10, ce qui est bien juste.
Probabilité
\[ \begin{aligned}
& \mathbb{P} = \frac{10}{6^3} \simeq 4,63 \%
\end{aligned} \]