Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!usenet.pasdenom.info!usenet-fr.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp1-1.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> <6120012c$0$6468$426a34cc@news.free.fr>
 <sfqgsu$uun$1@cabale.usenet-fr.net> <61210958$0$27447$426a74cc@news.free.fr>
 <sfrb08$1b44$1@gioia.aioe.org> <sfs2tu$12nk$1@gioia.aioe.org>
 <6121ff11$0$6452$426a74cc@news.free.fr> <sft838$eie$1@gioia.aioe.org>
 <sfti4t$ksv$1@gioia.aioe.org>
From: Michel Talon <talon@niobe.lpthe.jussieu.fr>
Date: Sun, 22 Aug 2021 15:17:02 +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: <sfti4t$ksv$1@gioia.aioe.org>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Lines: 23
Message-ID: <61224e4f$0$5006$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 22 Aug 2021 15:17:03 CEST
NNTP-Posting-Host: 88.161.173.7
X-Trace: 1629638223 news-3.free.fr 5006 88.161.173.7:23518
X-Complaints-To: abuse@proxad.net
Bytes: 2082

Le 22/08/2021 à 15:06, Samuel DEVULDER a écrit :
> Ah je pense comprendre.. tu pars d'un cas général avec la matrice:
oui
> 
>      tr[L(a),L(b),L(c),L(a+x),L(b+y),L(c+z),L(a+u),L(b+v)]
det pas tr
> 
> qui est un Vandermonde dont le déterminant est un polynôme en 
> (x,y,z,u,v). Le déterminant d'origine est donné par le coef de

En fait le déterminant d'origine est obtenu en faisant les dérivées 
d'ordre 1 en x,y,z, et 2 en u,v puis en mettant toutes ces variables à 0
ce qui revient au même (pense formule de Taylor).

>      x y z u² v²
> 





-- 
Michel Talon