Question sur les démonstrations mathématiques

Discussion générale entre passionnés et amateurs de mathématiques sur des sujets mathématiques variés
Yezu
Membre Relatif
Messages: 334
Enregistré le: 14 Fév 2018, 14:29

Question sur les démonstrations mathématiques

par Yezu » 01 Mar 2019, 21:37

Salut à tous,

Une petite curiosité qui me survient après quelques cours de maths et quelques recherches sur le net.

J'ai l'impression que tout théorème mathématique peut toujours se démontrer de plusieurs façons différentes. Par exemple, je trouve que la démonstration constructive (même si je suis trop débutant pour maîtriser toutes les étapes) du théorème de Stone-Weierstrass en passant par les probabilités avec Bernstein est grandiose et révèle presque une mathématique descartienne ! Je ne suis pas chercheur en mathématique donc c'est très clairement une impression qui peut être complètement fausse !
Je me demande ainsi si vous aviez connaissance de certains théorèmes pour lesquels il y a unicité au niveau de la preuve, dans le sens où aucune autre preuve n'est connue à ce jour. Y a t-il un thème de la branche des logiciens qui traite de cette question et de la possibilité de 'multi-preuve' pour tout théorème ?

Merci pour vos réponses,



Sylviel
Modérateur
Messages: 6367
Enregistré le: 20 Jan 2010, 14:00

Re: Question sur les démonstrations mathématiques

par Sylviel » 01 Mar 2019, 21:55

Je pense qu'il est très difficile de parler d'unicité de preuve : tu peux toujours démontrer un truc qui ne sers à rien, et quasisystématiquement utiliser des arguments qui ont eux-même plusieurs preuve.

Ce qui est potentiellement intéressant c'est de considérer un théorème A et un théorème B, et de savoir si on peut démontrer A "sans B" et B "sans A", donnant ainsi deux construction différentes de A et B.
Merci de répondre aux questions posées, ce sont des indications pour vous aider à résoudre vos exercices.

Yezu
Membre Relatif
Messages: 334
Enregistré le: 14 Fév 2018, 14:29

Re: Question sur les démonstrations mathématiques

par Yezu » 01 Mar 2019, 22:41

Merci beaucoup de ta réponse Sylviel.
Effectivement cette question ressemble un peu à la mienne tout en étant fondamentalement différente.

Sinon je me suis rappellé d'un théorème où on ne connait globalement qu'une preuve .. Fermat. Si je ne dis pas de conneries, une unique démonstration est connue à ce jour même si Fermet se vantait posséder une démo si élégante mais qu'il n'avait plus de place pour l'écrire dans ses cahiers.

pascal16
Membre Légendaire
Messages: 6657
Enregistré le: 01 Mar 2017, 14:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Question sur les démonstrations mathématiques

par pascal16 » 01 Mar 2019, 22:43

C'est normal de trouver que les maths tournent rond. Les résultats de géométrie euclidienne restent vrais pour de la géométrie vectorielle.

Une démonstration directe vaut 100 fois une démo par contraposée ou absurde car intrinsèquement, la négation pose des problèmes de cadre (soit n un non nombre entier n'a pas de sens).

On peut toujours chercher le cadre minimal pour qu'une démonstration tienne debout. Il arrive un moment où en enlevant quelque chose, on perd une partie du résultat. Déjà, juste en travaillant dans Q et les limites, il faut vraiment se gratter la tête pour savoir ce qui reste vrai (s'y intéresser, c'est mieux approcher les problèmes de l'infiniment petit en physique).

Yezu
Membre Relatif
Messages: 334
Enregistré le: 14 Fév 2018, 14:29

Re: Question sur les démonstrations mathématiques

par Yezu » 01 Mar 2019, 22:54

Effectivement, il y a aussi la question de savoir ... laquelle est la plus 'élégante' et la plus 'directe'.
Je trouve franchement fascinant ce côté "on peut prouver un même théorème avec des outils qui n'ont quasimment aucun rapport" par exemple le Th fondamental de l'Algèbre ou encore Weierstrass-Stone comme je le mentionnais précédemment.
La question du 'Essai-erreur' a aussi eu son importance pour certains théorèmes avec le partitionnement progressif des hypothèses.

LB2
Habitué(e)
Messages: 1492
Enregistré le: 05 Nov 2017, 18:32

Re: Question sur les démonstrations mathématiques

par LB2 » 02 Mar 2019, 16:54

A un niveau un peu plus modeste (L1), je connais un théorème qui admet de nombreuses preuves, différentes, ou pas si différentes que ça : le théorème de Bolzano-Weierstrass!

https://culturemath.ens.fr/content/le-t ... eierstrass

Yezu
Membre Relatif
Messages: 334
Enregistré le: 14 Fév 2018, 14:29

Re: Question sur les démonstrations mathématiques

par Yezu » 02 Mar 2019, 20:10

Effectivement, je n'y avais pas pensé à celui là ! Merci LB2.

Avatar de l’utilisateur
mathelot
Habitué(e)
Messages: 11945
Enregistré le: 08 Juin 2006, 09:55

Re: Question sur les démonstrations mathématiques

par mathelot » 02 Mar 2019, 20:31

Et le théorème de Pythagore qui a plus de dix démonstrations

Avatar de l’utilisateur
anthony_unac
Habitué(e)
Messages: 1099
Enregistré le: 30 Juin 2007, 01:31

Re: Question sur les démonstrations mathématiques

par anthony_unac » 02 Mar 2019, 21:19

Bonsoir,

Je ne sais pas s'il existe un théorème qui ne peut être démontré que par une seule et unique démo en revanche il existe des résultats non démontrés et des résultats présentant une seule et unique démo connu à ce jour (ce qui ne signifie pas qu'il y en a nécessairement qu'une seule). Il faudrait explorer toutes les branches du possible en partant d'un système d'axiomes donné pour être catégorique. Et puis il y a des énoncés qui sont indécidables (et que c'est parfaitement "normal").
Peut être qu'un jour des IA suffisamment entraînées mettront la main sur des démos qu'on imaginait même pas en créant des outils ou des concepts que nous ignorons à ce jour.
Modifié en dernier par anthony_unac le 03 Mar 2019, 21:24, modifié 1 fois.

Yezu
Membre Relatif
Messages: 334
Enregistré le: 14 Fév 2018, 14:29

Re: Question sur les démonstrations mathématiques

par Yezu » 03 Mar 2019, 19:26

Ah oui Pythagore en a vraiment beaucoup bien vu Mathelot. Mais la plupart se ressemblent assez avec de petites manips géométriques à faire n'est-ce pas ?

Merci beaucoup de ta contribution anthony_unac ! Effectivement, cela semble trop complexe d'établir l'unicité d'une preuve partant d'un système d'axiomes ... Sais tu s'il y a des branches de la logique qui traitent de ce genre de questions si vagues ?

Très cordialement,

Avatar de l’utilisateur
anthony_unac
Habitué(e)
Messages: 1099
Enregistré le: 30 Juin 2007, 01:31

Re: Question sur les démonstrations mathématiques

par anthony_unac » 03 Mar 2019, 21:37

Non je l'ignore et en même temps je serais curieux de lire une démonstration démontrant qu'une démonstration donnée est la seule et unique possible pour démontrer un énoncé mathématique.

Sylviel
Modérateur
Messages: 6367
Enregistré le: 20 Jan 2010, 14:00

Re: Question sur les démonstrations mathématiques

par Sylviel » 04 Mar 2019, 14:31

pascal16 a écrit:Une démonstration directe vaut 100 fois une démo par contraposée ou absurde car intrinsèquement, la négation pose des problèmes de cadre (soit n un non nombre entier n'a pas de sens).


Ce n'est pas un avis universellement partagé. Le principal avantage d'une démonstration "directe" est qu'elle est généralement "constructive", et donc qu'en plus de donner l'existence d'une solution par exemple elle montre comment effectivement l'obtenir.
Merci de répondre aux questions posées, ce sont des indications pour vous aider à résoudre vos exercices.

 

Retourner vers ⚜ Salon Mathématique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 6 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite