Zweig a écrit:Non, je veux juste essayer de comprendre les grandes lignes ...
bonjour,
j'arrive sans doute après la bataille...
le principe de la démonstration est simple: les entiers naturels
forment un ensemble discret, ie, deux entiers naturels restent au moins à une distance
Si l'on arrive à exhiber une suite de naturels qui restent strictement positifs,
donc situés à une distance de 0 plus grande ou égale à 1, et qui a pour limite zéro, ou qui admet zéro comme point d'accumulation, cela constitue une contradiction.
ceci dit, les calculs doivent être très techniques et lus lignes par lignes
de manière qu'une erreur ne vienne pas bouziller le raisonnement par l'absurde
par