Paradoxe de Simpson expliqué par un dessin

Il y a plusieurs mois, j’avais fait un billet sur le paradoxe de Simpson (ici). Pour reprendre un exemple simple, supposons que l’on a deux hôpitaux, affichant les statistiques suivantes, pour les personnes “saines”,

hôpital total survivants décès taux de
survie
hopital A 600 590 10 98%  x
hopital B 900 870 30 97%

et pour les personnes “malades” (on suppose vraiment que le critère est identique pour les deux hôpitaux)

hôpital total survivants décès taux de
survie
hopital A 400 210 190 53%  x
hopital B 100 30 70 30%

Bref, peu importe son état de santé, on a toujours intérêt à choisir l’hôpital A. D’où le paradoxe. En revanche, si on combine, on obtient “globalement”,

hôpital total survivants décès taux de
survie
hopital A 1000 800 200 80%
hopital B 1000 900 100 90%  x

on note que l’on a intérêt à choisir l’hôpital B. Étonnant non ? (l’exemple vient de Marco Scarsini, et je n’ai jamais trouvé plus élégant).

J’évoque souvent ce paradoxe en économétrie, et c’est ce que j’avais fait dans mon précédant billet (ici). En fait, Roger Nelsen propose un petit exemple simple permettant de comprendre comment on peut obtenir un tel paradoxe. L’idée est de noter que

et

et pourtant

Cela n’a a priori rien d’exceptionnel… On peut parfaitement avoir

et

tout en ayant,

C’est ce que l’on peut visualiser ci-dessous,

Merci Roger….

Dessins et preuves ?

Plusieurs personnes m’ont laissé des messages et des commentaires suites aux derniers dessins, disant en substance “c’est bien joli, mais est-ce que c’est vraiment une preuve ? “. Étant incompétent en épistémologie, je n’aurais pas la prétention d’apporter des lumières… En revanche, Olivier m’a forwardé (ici) le document en ligne (on l’on retrouve page 4 un dessin plus beau que celui que j’avais pu faire pour montrer que la loi géométrique est une vraie loi de proba), et surtout, il m’a fait découvrir ici la notion de “preuve sans mots“, où l’on retrouve une très jolie preuve animée (je me rends compte que l’animation aide vraiment à la compréhension, c’est ça que j’aurais du faire depuis le début) du théorème de Pythagore (que je continue de mentionner en cours, comme , lorsque je dois parler de formule de décomposition de la variance). Bref, sur la page wiki est mentionné des ouvrages de Roger Nelsen, que je dévore depuis ce matin.

(ainsi que quelques livres avec Claudi Alsina). Pour la petite histoire, c’est justement Roger qui m’avait expliqué comme obtenir ces propriétés de la loi géométrique, à l’époque où je faisais un short course à Samos, en 2004, sur advanced statistical methods in insurance. J’avais évoqué l’importance de la loi géométrique dans le concept de période de retour, et Roger m’avait expliquer comment retrouver l’histoire de l’espérance de la loi géométrique sans équations….

J’ai retrouvé plusieurs dessins que j’avais fait dans mes cahiers de prépas (que je commence à ressortir ces derniers temps, depuis que je dois revenir sur quelques concepts fondamentaux de convexité et de topologie… et qui m’avait servi pour les dessins que j’avais déjà pu faire, ici en particulier), et surtout j’en ai découvert un paquet d’autres, que je ne pourrais pas m’empêcher d’évoquer dans de futurs billets… D’ailleurs, je me suis rendu compte qu’on pouvait retrouver un bon nombre de ces exemples directement sur jstor, . Par exemple, il propose une interprétation de la comparaison de plusieurs moyennes (arithmétique, géométrique, etc), plus complète que ce que j’avais pu faire,

Sur la preuve par le dessin, Jean-Paul Delahaye apporte les éclaircissements suivant, ici, en citant David Hilbert qui disait : « les règles pour écrire une démonstration doivent être si claires que si quelqu’un vous propose une démonstration, alors une procédure mécanique doit pouvoir assurer que la démonstration est correcte, c’est-à-dire qu’elle obéit aux règles. ». Il détaille par ailleurs cet argument, “ce que les Grecs – par exemple Euclide – considéraient comme une démonstration est aujourd’hui encore, moyennant quelques adaptations dans le style et les notations, toujours considéré comme une démonstration. En revanche, nous avons beaucoup avancé sur les notations, la structure logique des arguments, et la compréhension de ce qu’il est possible d’attendre de la méthode axiomatique. Nos notations et la logique mathématique ont tellement progressé que, contrairement aux Grecs, nous savons formaliser les démonstrations que nous écrivons.”
Bref, pour ma part, je trouve cela tellement élégant (et surtout je sais que Roger est beaucoup plus compétent en maths que moi) que je ne m’empêcherais pas de mettre ici le compte rendu de mes lectures ! Merci Roger, et Olivier….