Path: ...!eternal-september.org!feeder3.eternal-september.org!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: Sun, 11 May 2025 21:25:58 +0200
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <vvqtk9$js4h$1@dont-email.me>
References: <o6KyIry4wY-h7Jbpf_Zi0vOMeD4@jntp>
 <OdUbHdhjcSbubrF3YCXhmHpGg-o@jntp> <sFw0Zb0dpxrPKzH0rnwTZT3L0Ew@jntp>
 <vvn83b$fvkj$1@solani.org> <O5Lkig-ukrEuctkQgULTUkJWglQ@jntp>
 <0108cffb7716cb1334b8274855419d8fd6cd9194@i2pn2.org>
 <X9eulHqFazVwnAyv685SqBNSGIQ@jntp>
 <824787ad63fef02fae139f7a99225be81c98e97e@i2pn2.org>
 <DSWLQVDmd_qPEad403wWPmeLXJU@jntp> <aAhUMe41MC6RG8OxRyM9xT68pek@jntp>
 <tZLSiLrjV-350nja00-NJ9-IEIA@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 11 May 2025 21:26:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9f4fe2c47abb089fc4676bf98fa2aa67";
	logging-data="651409"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/znCWnV4OS6BeEE99ITDb3"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:qCOft1xANzx4x4J08z0du/R/0uY=
Content-Language: fr, en-US
In-Reply-To: <tZLSiLrjV-350nja00-NJ9-IEIA@jntp>
Bytes: 2481

Le 11/05/2025 à 20:08, 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)
>>
>> Comment n'arrives-tu pas à voir que sans cette implication AUCUNE 
>> suite de calculs ne peut être logiquement fondée ? C'est tout 
>> bonnement hallucinant.
> 
> Je n'ai pas lu la discussion mais j'interviens juste sur ce point qui 
> m'a toujours interpelé lorsque l'on considère les nombres complexes sous 
> forme polaire.
> 
> Soit f(x) = x^(1/2)
> a = exp(2iπ) et b = exp(4iπ)
> si a = b, peut on affirmer que f(a) = f(b) ?

La racine carrée n'est pas une fonction univoque. Dans \R on dit par 
convention que le signe radical désigne la racine positive d'un nombre 
réel positif. Dans \C c'est la même chose : il y a deux racines carrées 
d'un nombre complexe, de signes opposés, mais la "détermination 
principale" n'est pas aussi évidente que dans \R.

Dans ton exemple, les racines carrées de a sont ±exp(iπ) et celles de b 
sont ±exp(2iπ), et, oh miracle, ce sont les mêmes :)


-- 
F.J.