Racines complexes d'un polynôme irréductible dans Q.

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 18:32
Localisation: Deux-Sèvres (79) // Paris (75)

Racines complexes d'un polynôme irréductible dans Q.

par Waax22951 » 09 Avr 2016, 17:17

Bonjour,
Je publie ce post car il y a une exo qui me pose quelques problèmes...
Je donne l'énoncé ci-dessous:

Montrer que tout polynôme irréductible dans Q ne possède pas de racines doubles dans C.


II est clair que c'est vrai lorsque son degré est 1, donc on peut supposer que le polynôme considéré (noté P) ne possède pas de racines dans Q.
Mais je ne vois pas comment continuer: que la racine soit réelle ou complexe non réelle, je ne vois pas vraiment pourquoi elle doit être simple.
J'ai pensé aussi raisonné par contraposée, mais ça ne m'aide pas véritablement..!

Des idées ? :)

Merci d'avance et bonne journée !



Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 14:31

Re: Racines complexes d'un polynôme irréductible dans Q.

par zygomatique » 09 Avr 2016, 17:53

salut

il vit où ton polynome ?
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 18:32
Localisation: Deux-Sèvres (79) // Paris (75)

Re: Racines complexes d'un polynôme irréductible dans Q.

par Waax22951 » 09 Avr 2016, 18:20

Ah oui j'ai oublié de le précisé: il est bien sûr à coefficients dans Q !

Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 14:31

Re: Racines complexes d'un polynôme irréductible dans Q.

par zygomatique » 09 Avr 2016, 18:59

par contraposée ::

soit P dans Q[x]; alors :

1/ si z complexe est racine alors son conjugué z* aussi

2/ si z est racine double alors son conjugué z* aussi

c'est donc évidemment vrai pour tout polynome de degré < 4

si deg P >= 4 et admet la racine double z

il faut alors montrer que [(x - z)(x - z*)]^2 est a coefficient rationnel

...
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 20442
Enregistré le: 11 Nov 2009, 23:53

Re: Racines complexes d'un polynôme irréductible dans Q.

par Ben314 » 09 Avr 2016, 22:16

Salut,
Perso, je le ferais plutôt par de "l'algèbre pure" :
Les racines double (ou plus) d'un polynôme de Q[X] sont très exactement les racine dans C du pgcd(P,P') qui bien entendu est lui aussi dans Q[X] (algorithme d'Euclide).
Or pgcd(P,P') divise P et est évidement de degré strictement plus petit que celui de P, donc s'il est différent de 1, c'est que P n'est pas irréductible.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

Avatar de l’utilisateur
zygomatique
Habitué(e)
Messages: 6928
Enregistré le: 20 Mar 2014, 14:31

Re: Racines complexes d'un polynôme irréductible dans Q.

par zygomatique » 10 Avr 2016, 11:41

bien sur ... c'est surtout tellement plus simple ....
Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE

Waax22951
Membre Relatif
Messages: 442
Enregistré le: 29 Mai 2013, 18:32
Localisation: Deux-Sèvres (79) // Paris (75)

Re: Racines complexes d'un polynôme irréductible dans Q.

par Waax22951 » 10 Avr 2016, 18:31

Bonjour,
En effet, c'est court et efficace..!
Merci beaucoup ! :)

Hehugo
Messages: 8
Enregistré le: 24 Aoû 2017, 16:53

Re: Racines complexes d'un polynôme irréductible dans Q.

par Hehugo » 25 Jan 2018, 22:21

zygomatique a écrit:par contraposée ::


il faut alors montrer que [(x - z)(x - z*)]^2 est a coefficient rationnel

...


Bonsoir, il me semble que ce n'est pas le cas en général, après avoir posé la chose (Par exemple le coef du cube vaut 2Re(z) qui n'a pas de raison particulière d'appartenir à Q non ?)

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 46 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite