Mathématiques · l'expérience
Coupe en dimension 4
Une question posée en 1933, une dimension où personne ne connaît la réponse, sept boules et 23 494 boîtes. Quatre questions, du débutant à l'expert, sur la nouvelle borne du nombre de Borsuk.
1 · Le résultat2 · L'ancienne borne3 · La machine4 · L'écart
1 · Dis ce qui est démontré
Débutant
Qu'ont démontré les quatre mathématiciens en dimension 4 ?
2 · Calcule la borne de Lassak
La borne générale de Lassak dit que b_n ≤ 2ⁿ⁻¹ + 1, où n est la dimension.
Intermédiaire
Que donne cette borne en dimension 4 ?
3 · Explique pourquoi c'est une preuve
Expert
Pourquoi le calcul sur ordinateur vaut-il démonstration, et pas simple simulation ?
4 · Situe le nombre de Borsuk
Expert
Après cet article, que sait-on du nombre de Borsuk b₄ ?
Forme découpée
—