Descripteurs
![]() démonstration mathématique |
Documents disponibles dans cette catégorie (41)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
Article : texte imprimé
Démonstration mathématique et illustration du fonctionnement du théorème de Routh en utilisant les coordonnées barycentriques pour le calcul de l'aire d'un triangle et ses applications particulières dans le cadre du théorème de Ceva, du théorème[...]![]()
Article : texte imprimé
Présentation de résolutions de problèmes mathématiques célèbres relatifs à la théorie de Galois et aux travaux de Niels Abel qui révolutionnèrent l'algèbre ; au théorème de Gödel, qui remit en cause le fondement de la mathématique ; aux travaux [...]![]()
Article : texte imprimé
Présentation des travaux de John Nash, qui a résolu le problème du plongement isométrique et celui de la continuité des solutions de l'équation de la chaleur dans des milieux discontinus.![]()
Article : texte imprimé
Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat.![]()
Article : texte imprimé
Présentation des travaux de Grigori Perelman qui démontra la conjecture de Poincaré, relative à la compréhension des objets à trois dimensions fermées.![]()
Article : texte imprimé
Le point sur les apports de la notion de barycentre à la démonstration de l'alignement des points et du concours de droites (droite concourante) dans un système de n points pondérés grâce à sa propriété d'associativité. Encadré : un exemple de r[...]![]()
Article : texte imprimé
Présentation de cinq énigmes mathématiques et de leurs solutions parfois étonnantes.![]()
Article : texte imprimé
Le point sur la mise au point, au cours de l'histoire, de la démonstration mathématique relative à la classification des groupes finis simples appelée théorème de classification - ou théorème géant ou encore énorme théorème - ayant ouvert la voi[...]![]()
Article : texte imprimé
Présentation par un chercheur en mathématiques du problème de vérification des longues démonstrations mathématiques : exemple de domaines où il existe de très longues démonstrations mathématiques ; les notions de calcul et de démonstration et l'[...]![]()
Article : texte imprimé
Explication, en 2012, par un mathématicien, d'un point de la théorie des nombres : la conjecture ABC. Démonstration non encore réalisée, mais pistes de recherches. Théorèmes découlant de la conjecture ABC : le théorème de Fermat notamment.![]()
Article : texte imprimé
Retour sur la résolution de la conjecture de Poincaré par le mathématicien russe Grigori Perelman, en 2002 : un problème de topologie, l'énoncé de la conjecture de Poincaré, la conjecture de Thurston, les travaux d'Hamilton et de Perelman.![]()
Article : texte imprimé
Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théor[...]![]()
Article : texte imprimé
Rappel du problème des pentagones convexes pouvant remplir complètement une surface et présentation de la démonstration. Encadrés : schémas des quinze types de pentagones qui pavent le plan ; les pavages apériodiques.![]()
Article : texte imprimé
Le point sur l'importance que revêt le contre-exemple dans le domaine des mathématiques, en termes de démonstration et d'outil pédagogique, illustrée à partir de plusieurs exemples (conjectures, hypothèses mathématiques, support pédagogique, bij[...]![]()
Article : texte imprimé
Historique de la démonstration de la conjecture de Poincaré, qui énonçait en 1904 : "Toute variété compacte de dimension 3 simplement connexe est homéomorphe à la sphère" ; démonstration faite en 2003 par Gregori Perelman qui mena à bien le prog[...]![]()
Article : texte imprimé
Présentation de la deuxième partie du 16e problème de Hilbert, portant sur le nombre de cycles limites des équations différentielles dans le plan, problème non encore résolu. Définition du comportement d'une équation différentielle, d'après les [...]![]()
Article : texte imprimé
Le point, en mathématiques, sur la résolution de la conjecture de la sensitivité par un jeune mathématicien chinois, Hao Huang : la conjecture de la sensitivité portant sur la complexité des fonctions booléennes, l'utilisation des hypercubes pou[...]![]()
Article : texte imprimé
Cédric Villani, Personne interviewée ; Maurice Mashaal, Intervieweur | Pour la Science |Interview de Cédric Villani, mathématicien, sur les différents essais de démonstrations du grand théorème de Fermat jusqu'à la réussite, en 1995, du mathématicien Andrew Wiles.![]()
Article : texte imprimé
En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamme[...]![]()
Article : texte imprimé
Présentation de la disjonction de Gödel qui propose une réflexion mathématique sur la nature même de l'esprit humain : les deux termes de la disjonction énoncée par Kurt Gödel, l'indécidabilité mathématique et les théorèmes d'incomplétude de Göd[...]![]()
Article : texte imprimé
Le point sur les contre-exemples concernant plusieurs conjectures découverts par le mathématicien Adam Zsolt Wagner ayant mobilisé l'intelligence artificielle pour ce faire, dans le domaine de la théorie des graphes en général et des graphes con[...]![]()
Article : texte imprimé
Le point sur des contre-exemples mis à jour dans le domaine de l'étude des fonctions et de leur utilité, notamment pour définir mieux certaines notions et propriétés mathématiques (ex : continuité et dérivabilité). Encadrés : l'exemple d'une bij[...]![]()
Article : texte imprimé
Problème posé pour une démonstration définitive de la conjecture de Syracuse qui énonce qu'en soumettant un entier quelconque à certaines opérations précises, on finit par obtenir 1. Présentation des tentatives de démonstrations mathématiques : [...]![]()
Article : texte imprimé
Présentation de huit énigmes mathématiques et de leurs solutions parfois étonnantes.![]()
Article : texte imprimé
Exemples illustrant l'esthétique de certaines démonstrations mathématiques : l'hexagramme mystique de Blaise Pascal ou théorème sur l'alignement de points d'intersection de droites, le théorème de Desargues en géométrie projective, la formule d'[...]