Sujet : Re: Prouver une inégalité pour tout x et y
De : samuel_dot_devulder (at) *nospam* laposte_dot_net.invalid (Samuel DEVULDER)
Groupes : fr.sci.mathsDate : 20. Aug 2021, 14:49:14
Autres entêtes
Organisation : Aioe.org NNTP Server
Message-ID : <sfo8cb$oma$1@gioia.aioe.org>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.0.1
Le 20/08/2021 à 12:49, MAIxxxx a écrit :
Evidemment on peut poser directement
z= (1-xy)/(x+y) c'est encore plus élégant, il faut le
voir.
C'est ca le sens profond des maths: Quand on voit le raccourci, c'est trivial, autrement c'est super laborieux et on est pas content de soi (comme ce que j'ai fait). C'est pour cela que les théorèmes démontrés par force brute sur ordi (exemple: théorème des 4 couleurs) sont intellectuellement insatisfaisants(*).
En maths tout n'est qu'affaire de raccourcis en fait...
https://www.youtube.com/watch?v=BdEWCxt8C0Msam.
____
(*) encore que celui des 4 couleurs a été démontré formellement en Coq en 2005, mais je crois pas qu'il y a de l'astuce dedans, juste une application hyper laborieuse des règles du noyau du moteur. Ca marche, mais c'est enthousiasmant.