Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!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: Sun, 22 Aug 2021 15:06:36 +0200
Organization: Aioe.org NNTP Server
Message-ID: <sfti4t$ksv$1@gioia.aioe.org>
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>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="21407"; 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
X-Antivirus-Status: Clean
X-Antivirus: Avast (VPS 210822-0, 22/8/2021), Outbound message
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: fr
Bytes: 2249
Lines: 25

Le 22/08/2021 à 12:15, Samuel DEVULDER a écrit :
>>
>>
>> Ce que tu fais est dans la ligne de la solution. Pour ma part je 
>> procéderais comme ceci:
>>
>> M:matrix(L(a),L(b),L(c),L(a+x),L(b+y),L(c+z),L(a+u),L(b+v));
> 
> Heu je ne pige pas le passage de L'(a) à L(a+x) c'est trop rapide pour 
> moi là.

Ah je pense comprendre.. tu pars d'un cas général avec la matrice:

	tr[L(a),L(b),L(c),L(a+x),L(b+y),L(c+z),L(a+u),L(b+v)]

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
	x y z u² v²

Je ne vois pas encore d'où ca sort mais ca fait penser aux séries 
génératrices ce truc.

Comment on montre que ce coef est pile le déterminant de départ?

sam.