Path: ...!news.mixmin.net!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail
From: Samuel DEVULDER <samuel_dot_devulder@laposte_dot_net.invalid>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re=3a_Prouver_une_in=c3=a9galit=c3=a9_pour_tout_x_et_y?=
Date: Fri, 20 Aug 2021 14:49:14 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sfo8cb$oma$1@gioia.aioe.org>
References: <sfj4li$9mv$1@cabale.usenet-fr.net> <sfo1be$s9t$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="25290"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.0.1
Content-Language: fr
X-Antivirus-Status: Clean
X-Antivirus: Avast (VPS 210820-2, 20/8/2021), Outbound message
X-Notice: Filtered by postfilter v. 0.9.2
Bytes: 1930
Lines: 23

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=BdEWCxt8C0M

sam.

____
(*) 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.