Path: ...!weretis.net!feeder8.news.weretis.net!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!cleanfeed3-a.proxad.net!nnrp4-2.free.fr!not-for-mail
Subject: =?UTF-8?Q?Re=3a_Prouver_une_in=c3=a9galit=c3=a9_pour_tout_x_et_y?=
Newsgroups: fr.sci.maths
References: <sfj4li$9mv$1@cabale.usenet-fr.net>
 <sfoia6$5ll$1@cabale.usenet-fr.net> <sfoond$o08$1@gioia.aioe.org>
 <sfor7r$8dg$1@cabale.usenet-fr.net>
From: Michel Talon <talon@niobe.lpthe.jussieu.fr>
Date: Fri, 20 Aug 2021 21:23:24 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.11.0
MIME-Version: 1.0
In-Reply-To: <sfor7r$8dg$1@cabale.usenet-fr.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Lines: 20
Message-ID: <6120012c$0$6468$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 20 Aug 2021 21:23:24 CEST
NNTP-Posting-Host: 88.161.173.7
X-Trace: 1629487404 news-4.free.fr 6468 88.161.173.7:21226
X-Complaints-To: abuse@proxad.net
Bytes: 2157

Le 20/08/2021 à 20:11, Olivier Miakinen a écrit :
>
>> Plus généralement, qu'est ce qui aurait guidé le premier gars à l'avoir
>> résolu ainsi à être passé par les tan() ? (je sais qu'on passe souvent
>> par tan() quand on doit intégrer des fractions rationnelles en sin/cos,
>> mais là il n'est pas trop question d'intégration.)

Je ne sais pas mais quand j'ai vu (x+y) et (1-xy) ça m'a fait tout de 
suite penser à la formule d'addition des tangentes (avec une variante, 
évidemment) donc j'ai testé la valeur de l''expression avec maxima et 
cette substitution. Je pense que si on ne voit pas des "astuces" de ce 
genre, ce n'est pas la peine de se présenter aux oraux des GE, 
spécialement les petits oraux de l'X.  Quand à savoir comment le gars a 
trouvé l'exo, il y a des tas d'astuces de ce genre dans les articles de 
recherche. Quand à l'autre exo avec le n! c'est un genre de calcul 
classique, voir par exemple les nombres de Liouville.


-- 
Michel Talon