Path: ...!news.mixmin.net!sewer!alphared!2.eu.feeder.erje.net!feeder.erje.net!fdn.fr!usenet-fr.net!.POSTED!not-for-mail
From: Olivier Miakinen <om+news@miakinen.net>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re:_Polyn=c3=b4me_=c3=a0_coefficients_entiers_de_degr?=
 =?UTF-8?Q?=c3=a9_minimal_ayant_une_racine_donn=c3=a9e?=
Date: Mon, 16 Sep 2024 14:50:44 +0200
Organization: There's no cabale
Lines: 57
Message-ID: <vc99j5$130n$1@cabale.usenet-fr.net>
References: <66e81d7f$0$3280$426a34cc@news.free.fr>
NNTP-Posting-Host: 200.89.28.93.rev.sfr.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1726491045 35863 93.28.89.200 (16 Sep 2024 12:50:45 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Mon, 16 Sep 2024 12:50:45 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Firefox/52.0 SeaMonkey/2.49.4
In-Reply-To: <66e81d7f$0$3280$426a34cc@news.free.fr>
Bytes: 2781

Bonjour,

Le 16/09/2024 13:58, ast a écrit :
> 
> Si je vous demande le polynôme à coefficients entiers de degré minimal 
> ayant comme racine r = (1 + sqrt(5))/2, alors:

Dans ce cas, c'est assez facile.

r = (1 + sqrt(5))/2
2r = 1 + sqrt(5)
2r − 1 = sqrt(5)
(2r − 1)² = 5
4r² − 4r + 1 = 5
4r² − 4r − 4 = 0
r² − r − 1 = 0

> En fouinant sur la toile, j'ai trouvé l'exercice avec
> r = (1+sqrt(3))^(1/5) + (1-sqrt(3))^(1/5)

Essayons.

r = (1+sqrt(3))^(1/5) + (1-sqrt(3))^(1/5)
r⁵ = ((1+sqrt(3))^(1/5) + (1-sqrt(3))^(1/5))⁵

Avant d'aller plus loin, je vais poser x = (1+sqrt(3))^(1/5) et
y = (1-sqrt(3))^(1/5). Bien sûr on a r = x + y.

Une chose intéressante est que :
 x⁵ + y⁵ = 1+sqrt(3) + 1-sqrt(3) = 2
 x⁵ × y⁵ = (1+sqrt(3)) × (1-sqrt(3)) = 1 − 3 = −2
 xy = (−2)^(1/5)

Je vais aussi poser A = xy = −2^(1/5) qui est une constante.

r⁵ = (x + y)⁵
   = x⁵ + 5x⁴y + 10x³y² + 10x²y³ + 5xy⁴ + y⁵
   = 2 + 5xy(x³ + y³) + 10(xy)²(x + y)
   = 2 + 5A(x + y)(x² − xy + y²) + 10A²(x + y)
   = 2 + 5Ar(x²+y² − A) + 10A²r
   = 2 + 5Ar((x+y)² − 2xy − A) + 10A²r
   = 2 + 5Ar(r² − 2A − A) + 10A²r
   = 2 + 5Ar(r² − 3A) + 10A²r
   = 2 + 5Ar³ − 15A²r + 10A²r
   = 2 + 5Ar³ − 5A²r

Si je ne me suis pas trompé, on a donc :

r⁵ − (5A)r³ + (5A²)r − 2 = 0

Bien sûr, outre le fait que j'ai pu me tromper, je ne peux pas assurer qu'il
s'agisse bien du polynôme de degré minimal. Ah, et puis il n'est pas non plus
à coefficients entiers à cause de A = −2^(1/5). Enfin je suppose que tu
cherchais une méthode générale. Mais ça, je ne sais pas le faire à priori.

-- 
Olivier Miakinen