Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: efji <efji@efi.efji>
Newsgroups: fr.sci.maths
Subject: Re: Racines multiples
Date: Sat, 17 May 2025 17:58:46 +0200
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <100abnm$f5tr$1@dont-email.me>
References: <o6KyIry4wY-h7Jbpf_Zi0vOMeD4@jntp> <vvn83b$fvkj$1@solani.org>
 <O5Lkig-ukrEuctkQgULTUkJWglQ@jntp>
 <0108cffb7716cb1334b8274855419d8fd6cd9194@i2pn2.org>
 <X9eulHqFazVwnAyv685SqBNSGIQ@jntp>
 <824787ad63fef02fae139f7a99225be81c98e97e@i2pn2.org>
 <DSWLQVDmd_qPEad403wWPmeLXJU@jntp> <aAhUMe41MC6RG8OxRyM9xT68pek@jntp>
 <Yy1mlIcYSNuxP9UK5oxT5T5Gw7w@jntp> <bOoo5N_S35YclI67GA6F5unEHoE@jntp>
 <KAt8ax2mouH_u131h5Rom1Rf9ws@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 May 2025 17:58:47 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5f70b1620d29fa17dee48a82b23d48ad";
	logging-data="497595"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/mA5wNqTFLipfYYAfV2sAx"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:I8Zfzh+u5+mTgLLcm/WBJuyoFVM=
Content-Language: fr, en-US
In-Reply-To: <KAt8ax2mouH_u131h5Rom1Rf9ws@jntp>

Le 17/05/2025 à 16:18, Julien Arlandis a écrit :
> Le 17/05/2025 à 12:38, Python a écrit :
>> [correction d'une erreur à la fin]
>>
>> Le 17/05/2025 à 03:11, Julien Arlandis a écrit :
>>> Le 10/05/2025 à 17:16, Python a écrit :
>> ...
>>>> si a = b (peut importe leur nature) alors f(a) = f(b)
>>>
>>> Je reviens sur cette proposition qui paraît logique en première 
>>> analyse mais difficile à justifier.
>>
>> Sans cette implication on ne peut plus faire ni calcul, ni démonstration.
>>
>> Imagine que tu as pu établir une certaine proposition faisant 
>> intervenir un certain terme a (qui peut être une forme quelconque. 
>> Puis tu arrives à prouver que ce terme a est égal à un terme b 
>> (syntaxiquement différent, a pourrait être une intégrale, par exemple, 
>> et b une somme de série).
>>
>> Si tu n'as pas a = b => f(a) = f(b) tu ne peux PAS substituer la forme 
>> b à a dans la proposition établie au départ. Tout calcul, toute 
>> simplification, toute identité, inégalité, etc. se démontre en 
>> utilisant à un moment ou un autre une telle manipulation. 
> 
> Sauf que je ne comprends toujours pas comment tu peux admettre que 
> exp(x)^y = exp(x*y)
> et en même temps que exp(4iπ*1/2) = 1 = exp(2iπ*1/2) = -1
> Pour le moment personne n'a apporté de réponse claire et intelligible.

Je ne comprend pas très bien ce que tu ne comprends pas. Tu es juste en 
train de dire que 1^2 = (-1)^2 = 1. Il n'y a que l'abruti du coin qui 
conteste ça.

Je pense que tu as l'air de croire que ()^(1/2) c'est comme le signe 
radical des réels, alors que non. On a justement introduit ce signe 
radical pour lever toute ambiguité.



-- 
F.J.