Descripteurs
 > 1305 mathématiques > mathématique > logique mathématique > démonstration mathématique
démonstration mathématique |
Documents disponibles dans cette catégorie (39)
Ajouter le résultat dans votre panier Affiner la recherche
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 l’exactitude 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[...]
