Conjecture de Kepler

Conjecture de Kepler

La conjecture de Kepler est une conjecture formulée par le physicien, astronome et mathématicien Johannes Kepler en 1611. Cette conjecture énonce que, pour un empilement de sphères égales, la densité maximale est atteinte pour un empilement cubique à faces centrées. Cette densité vaut environ 74 %.

Empilement compact de 35 sphères.

Sommaire

Preuve par ordinateur

En 1998, Thomas Hales a annoncé avoir démontré cette conjecture. Elle réduit celle-ci à un nombre fini, mais élevé, de vérifications, qui ont été effectuées à l'aide de calculs par ordinateur. Les mathématiciens chargés de valider l'article de Hales ont affirmé être « certains à 99 % » que cette démonstration est valide[1]. Ils y ont consacré beaucoup plus de temps que pour un article habituel de mathématiques, et la publication de l'article de Hales sur le sujet a été acceptée, ce qui indique une confiance certaine dans sa correction. Cependant le fait que de nombreux cas soient vérifiés à l'aide de calcul par ordinateur, et de façon liée, la compréhension réduite des principes généraux qui gouvernent la preuve, font que le doute subsiste qu'une erreur de détail qui n'a pas été repérée puisse affecter l'ensemble de la démonstration[1] (contrairement à une démonstration mathématique plus usuelle qaund elle est soigneusement relue, même si elle est très complexe comme celle du théorème de Fermat-Wiles[1]).

Pour cette raison, Hales a lancé le projet Flyspeck, visant à établir une preuve formelle de son théorème, qui puisse être validée à l'aide d'un assistant de preuve sur ordinateur, capable de vérifier que les étapes de la démonstration sont logiquement valides. Ce projet réunit des informaticiens et mathématiciens de plusieurs laboratoires.


Note et références

Annexes

Articles connexes

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Conjecture de Kepler de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Conjecture De Kepler — La conjecture de Kepler est une conjecture formulée par le physicien, astronome et mathématicien Johannes Kepler en 1611. Cette conjecture énonce que, pour un empilement de sphères égales, la densité maximale est atteinte pour un empilement… …   Wikipédia en Français

  • Conjecture de kepler — La conjecture de Kepler est une conjecture formulée par le physicien, astronome et mathématicien Johannes Kepler en 1611. Cette conjecture énonce que, pour un empilement de sphères égales, la densité maximale est atteinte pour un empilement… …   Wikipédia en Français

  • Kepler — Johannes Kepler « Kepler » redirige ici. Pour les autres significations, voir Kepler (homonymie). Johannes Kepler …   Wikipédia en Français

  • Conjecture —  Ne doit pas être confondu avec Conjoncture. Sur les autres projets Wikimedia : « Conjecture », sur le Wiktionnaire (dictionnaire universel) En mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas… …   Wikipédia en Français

  • Kepler (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour l’article homophone, voir Keppler. Kepler peut vouloir désigner : Sommaire …   Wikipédia en Français

  • Kepler conjecture — In mathematics, the Kepler conjecture is a conjecture about sphere packing in three dimensional Euclidean space. It says that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing …   Wikipedia

  • Jean Kepler — Johannes Kepler « Kepler » redirige ici. Pour les autres significations, voir Kepler (homonymie). Johannes Kepler …   Wikipédia en Français

  • Johann Kepler — Johannes Kepler « Kepler » redirige ici. Pour les autres significations, voir Kepler (homonymie). Johannes Kepler …   Wikipédia en Français

  • Johannes Kepler — « Kepler » redirige ici. Pour les autres significations, voir Kepler (homonymie). Johannes Kepler Copie d’un portrait perdu de Johannes Kepler, peint en 1610, qui …   Wikipédia en Français

  • Honeycomb Conjecture — Théorème du nid d abeille  Ne doit pas être confondu avec Nid d abeille (géométrie). Pavage hexagonal régulier Le théorème du nid d abeille précéde …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”