Racine évidente
L'expression racine évidente est une expression consacrée par l'usage[réf. souhaitée]. Elle désigne une racine d'une équation que l'on peut trouver sans faire appel à une méthode élaborée comme la méthode de Cardan pour les équations du troisième degré ou bien encore la méthode de Ferrari ou la méthode de Descartes pour les équations du quatrième degré. De nos jours, l'usage d'une calculatrice graphique donne la courbe de la fonction, et en montre ainsi les racines. Une vérification s'impose toutefois, car des approximations peuvent apparaitre.
Racine rationnelle
La recherche de racines rationnelles dans une équation à coefficients entiers est basée sur la propriété suivante, qui se déduit du lemme de Gauss[1] :
Si les entiers a0 et an sont non nuls et si une fraction irréductible p/q est racine du polynômealors p est diviseur de a0 et q est diviseur de an.
En conséquence, pour rechercher une éventuelle racine rationnelle d'un polynôme, on établit la liste de tous les diviseurs de a0 et celle de tous les diviseurs de an et l'on essaye de remplacer l'inconnue dans l'équation par un rationnel de la forme p/q de toutes les façons possibles en choisissant p parmi les diviseurs de a0 et q parmi les diviseurs de an jusqu'à ce que l'équation soit vérifiée (une rapide étude de variations permet souvent de limiter ces essais en écartant d'emblée la plupart des « candidats » p/q).
En particulier si le polynôme est unitaire, ses seules éventuelles racines rationnelles sont nécessairement des entiers.
Exemple de détection d'une racine rationnelle
L'équationa une unique solution réelle, strictement comprise entre 0 et 1.
Les diviseurs positifs du coefficient dominant sont 1 et 3. Ceux du coefficient constant sont 1, 2, 5 et 10.
Par conséquent, les seuls rationnels susceptibles d'être des racines sont et .
En remplaçant x par chacune de ces deux valeurs, on trouve que est la solution.
Exemple de preuve d'irrationalité
Par application de l'identité et de l'égalité , les trois réels , et (strictement compris entre et ) sont les solutions de l'équation.Montrons qu'ils sont irrationnels[2],[3]. Si une fraction irréductible était solution, on aurait et et même (en remarquant que le polynôme de degré 3 n'a pas de terme de degré 2), donc . Mais et sont différents des trois réels solutions. Ces derniers sont donc irrationnels.
Application à la résolution d'équations
L'avantage de trouver une racine d'une équation de degré n est de pouvoir se ramener à la résolution d'une équation de degré n – 1. En effet, si un polynôme P de degré n a une racine α, il peut se factoriser sous la forme P(X) = (X – α)Q(X), où Q est de degré n – 1. La résolution de l'équation (de degré n) P(x) = 0 se ramène alors à celle de l'équation (de degré n – 1) Q(x) = 0.
Racine de la forme a√b/c
Une équation est susceptible d'avoir une racine de la forme a√b/c si l'on constate, soit dans les coefficients de degré pair, soit dans les coefficients de degré impair de l'équation, la présence de .
Si c'est le cas, on pose alors :
et l'on est alors ramené au cas précédent, c'est-à-dire à chercher, dans une équation d'inconnue z, une racine rationnelle.
Exemple
Cherchons une racine de l'équation :
Posons :
On obtient :
qui se simplifie sous la forme :
En procédant comme au premier paragraphe, on trouve comme racine :
et en reportant dans l'expression de x on trouve comme racine de l'équation en x :
Racine de la forme ai/b
Une équation est susceptible d'avoir une racine de la forme ai/b si l'on constate, soit dans les coefficients de degré pair, soit dans les coefficients de degré impair de l'équation, la présence de l'unité imaginaire i.
Si c'est le cas, on pose alors :
et on est alors ramené au premier cas, c'est-à-dire à chercher, dans une équation d'inconnue z, une racine rationnelle.
Références
- ↑ Voir par exemple cet exercice corrigé sur Wikiversité.
- ↑ Michèle Audin, Géométrie, EDP Sciences, , 420 p. (ISBN 978-2-86883-883-4, lire en ligne), p. 134.
- ↑ (en) Ivan Niven, Numbers : Rational and Irrational, The L. W. Singer Company, coll. « New Mathematical Library », , 136 p. (ISBN 978-0-88385-601-7), chap. 5, § 1 (« Irrational Values of Trigonometric Functions »), p. 65-67. Voir aussi, p. 67, une preuve analogue de l'irrationalité de , irrationalité qui se déduit aussi de celle de .
Article connexe
Portail de l’algèbre