Path: ...!2.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!cleanfeed3-a.proxad.net!nnrp1-2.free.fr!not-for-mail
Subject: =?UTF-8?Q?Re=3a_De_la_religiosit=c3=a9_en_math=c3=a9matique?=
Newsgroups: fr.sci.maths
References: <IZ_dbnzxClDW96LGprkISzQR_2I@jntp> <sh6vpl$1u20$1@gioia.aioe.org>
 <7tX8PVq-NGsp7ehrmAui7LYpJac@jntp> <sh8g0q$1duv$1@gioia.aioe.org>
 <KVlFngjrmphMwdCiLB4GxShXxvg@jntp>
From: Python <python@python.invalid>
Date: Wed, 8 Sep 2021 00:17:10 +0200
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:78.0)
 Gecko/20100101 Thunderbird/78.13.0
MIME-Version: 1.0
In-Reply-To: <KVlFngjrmphMwdCiLB4GxShXxvg@jntp>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: fr
Content-Transfer-Encoding: 8bit
Lines: 21
Message-ID: <6137e4ce$0$12688$426a34cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 08 Sep 2021 00:16:46 CEST
NNTP-Posting-Host: 176.150.91.24
X-Trace: 1631053006 news-4.free.fr 12688 176.150.91.24:63928
X-Complaints-To: abuse@proxad.net
Bytes: 1765

Richard Hachel (Lengrand) wrote:

>   Puis que l'on m'explique ce que c'est que la valeur i dont on me dit 
> qu'elle est égale à la racine carrée de i²=-1

C'est la classe d'équivalence du polynôme X dans l'ensemble des
classe d'équivalences prises dans le corps des polynômes à
coefficients réels R[X] selon la relation ~ définie par
P ~ Q ssi P - Q est divisible par (X^2+1).

Je laisse le lecteur démontrer (ou rechercher dans un manuel d'algèbre)
que ~ est une relation d'équivalence, est compatible avec + et * sur
R[X] et avec l'identification de R  avec les polynômes constants, je
suis pas payé à la pièce.