Parfait exemple d'un théorème qui paraît très simple mais qui ne l'est pas du tout.
Les mathématiques demandent une rigueur infinie.
Ça me fait penser à cette histoire qu'on raconte souvent dans les études de maths. Un jour, un prof réalise une démonstration devant ses élèves. Il laisse alors une petite partie de la démonstration en disant « ça, je ne le démontre pas, c'est évident ». Habitude de l'enseignant plus que du mathématicien.
Il regarde alors son tableau, part de la salle sans dire mot, et laisse les étudiants seuls, rejoignant son bureau. Finalement, il revient 45 minutes plus tard en disant « oui, comme je le disais, cette partie là est évidente ! »
Bref, méfions-nous des évidences. C'est vrai en mathématiques (même et surtout en probas et stats) en sciences, mais également dans la vie de tous les jours.
Incroyable. C'est la première fois que je vois une démonstration aussi simple et concluante de ce fait : créer une collision MD5 en rajoutant du padding, puis par analyse différentiel sur le résultat du hash.
Je garde sous la main les deux fichiers, pédagogiquement, ça cause.