par GaBuZoMeu » 14 Mai 2019, 15:41
Je déterre ce fil. Mon but est de donner une démonstration vraiment sans calcul.
PS. Vu que Beagle a saboté son fil, je remets l'énoncé. Un jeu de 32 cartes ordinaire, qu'on distribue aux deux joueurs Yves et Pierre. 16 tours de distribution, pour chaque tour d'abord une carte à Yves puis une carte à Pierre. Comparer sans calcul les probas suivantes :
1) proba que Yves ait les huit coeurs
2) proba que Yves ait les huit coeurs, sachant qu'il n'y a aucun tour avec deux cartes de même couleur (couleur = trèfe, carreau, coeur, pique)
3) proba que Yves ait les huit coeurs, sachant qu'il n'y a aucun tour avec deux coeurs
4) proba que Yves ait les huit coeurs, sachant qu'il n'y a pas deux coeurs successifs dans la distribution.
Soit E l'univers de toutes les distributions possibles. Elles sont équiprobables. Le problème de probabilités est donc en fait un problème de dénombrement.
Soit A l'évènement "les 8 coeurs sont chez Yves".
Soit B l'évènement "aucun tour n'a les deux cartes de même couleur".
Soit C l'évènement "aucun tour n'a deux coeurs"
Soit D l'évènement "pas deux coeurs successifs"
On a P(1)=P(A), P(2)=P(A|B), P(3)=P(A|C), P(4)=P(A|D).
On a clairement A contenu dans D qui est contenu strictement dans C qui est contenu strictement dans E.
Donc P(1) = #A/#E < P(3) = #A/#C < P(4) = #A/#D. (# veut dire "nombre d'éléments de")
Reste le problème de P(2). Là c'est plus compliqué. On a clairement B strictement contenu dans C.
Soit f l'application qui à tout élément c de C associe l'ensemble f(c) des places des coeurs, que l'on code par le n° du tour et un bit 0 ou 1 suivant que le coeur est chez Yves ou Pierre. De manière précise, f est une surjection de C sur le produit cartésien U de l'ensemble des parties à 8 éléments de {1,2,...,16} par l'ensemble {0,1}^8.
L'élément c de C appartient à A si et seulement si f(c) appartient au sous-ensemble V de U formé des couples dont la deuxième composante est (0,0,0,0,0,0,0,0).
Le nombre d'éléments de f^{-1}(u) est le même pour tous les u de U (1e affirmation). Donc P(3) = #A/#C = #V/#U.
Le nombre d'éléments de f^{-1}(u) intersecté avec B est le même pour tous les u de U (2e affirmation). Donc P(2) = #(A inter B)/#B = #V/#U.
On a montré que P(2)=P(3).
Il n'y a que les affirmations 1 et 2 qui n'ont pas été démontrées. Je peux le faire , si quelqu'un le réclame (c'est un peu chiant).
Aucun calcul n'a été fait pour cette démonstration.
Modifié en dernier par
GaBuZoMeu le 14 Mai 2019, 17:44, modifié 2 fois.