Discriminant

Infos
En mathématiques, il existe plusieurs notions de discriminant. Cette notion n'est pas à confondre avec celle du déterminant.
Discriminant

En mathématiques, il existe plusieurs notions de discriminant. Cette notion n'est pas à confondre avec celle du déterminant.

Le discriminant d'un polynôme

Le discriminant d'un polynôme P à coefficients dans un anneau est une fonction polynomiale des coefficients de P qui a pour but de discriminer les cas de racines multiples. Par exemple, il y a une racine multiple lorsque le graphe de P(x) touche l'axe des abscisses "sans le traverser", i.e., semble rebondir sur cet axe. Le discriminant d'un polynôme P de degré n et de coefficient dominant a est donné par la formule : \Delta(P) = \frac(-1)^\fracR(P, P') où R(P, P') est le résultant du polynôme P et de son polynôme dérivé. Le calcul du discriminant pour les polynômes du second degré se généralise pour les polynômes de tout degré supérieur.
- Pour les polynômes du second degré à une variable, de la forme P(x) = ax^2 + bx + c, où les coefficients a, b, c sont des nombres réels, le discriminant est défini par \Delta = b^2 - 4ac. Pour plus de détails, voir l'article sur les équations du second degré.
- Les courbes elliptiques sont un cas particulier de polynômes du troisième degré à deux variables. Pour le cas simple d'une courbe elliptique de la forme y^2 = x^3 + ax + b, où les coefficients a, b sont des nombres réels, le discriminant est défini par \Delta = -16(4a^3 + 27b^2).
- Pour un polynôme à une variable de degré général n, dénoté P(x) = x^n + a_ x^ + ... + a_1 x + a_0 où les coefficients sont des nombres réels, le discriminant est défini comme le déterminant de la matrice de dimension (2n-1)×(2n-1) suivante, voir aussi résultant. (Noter que le polynôme est normalisé pour que a_n = 1 .) \begin 1 & a_ & a_ & a_ & \cdots & a_ & 0 & \cdots & 0 \\ &&&&&&&\\ 0 & 1 & a_ & a_ & a_ & \cdots & a_ & \ddots &\vdots \\ &&&&&&&\\ \vdots & \ddots & \ddots & \ddots & \ddots & \ddots & \cdots & \ddots & 0 \\ &&&&&&&\\ 0 & \cdots & 0 & 1 & a_ & a_ & a_ & \cdots & a_ \\ &&&&&&&\\ n & (n\!-\!\!1)a_n\!-\!1 & (n\!-\!\!2)a_n\!-\!2 & \cdots & 1\cdot a_ & 0 & \cdots & 0 & 0 \\ &&&&&&&\\ 0 & n & (n\!-\!\!1)a_n\!-\!1 & (n\!-\!\!2)a_n\!-\!2 & \cdots & 1\cdot a_1 & \ddots & \vdots & \vdots \\ &&&&&&&\\ 0 & 0 & n & (n\!-\!\!1)a_n\!-\!1 & (n\!-\!\!2)a_n\!-\!2 & \cdots & 1\cdot a_1 & 0 & 0 \\ &&&&&&&\\ \vdots & \vdots & \ddots & \ddots & \ddots & \ddots & \cdots & \ddots & 0 \\ &&&&&&&\\ 0 & 0 & \cdots & 0 & n & (n\!-\!\!1)a_n\!-\!1 & (n\!-\!\!2)a_n\!-\!2 & \cdots & 1\cdot a_1 \\ \end Par exemple, pour un polynôme de degré n=4, le discriminant est égal à : \begin & 1 & a_3 & a_2 & a_1 & a_0 & 0 & 0 &\\ & 0 & 1 & a_3 & a_2 & a_1 & a_0 & 0 &\\ & 0 & 0 & 1 & a_3 & a_2 & a_1 & a_0 &\\ & 4 & 3a_3 & 2a_2 & a_1 & 0 & 0 & 0 &\\ & 0 & 4 & 3a_3 & 2a_2 & a_1 & 0 & 0 &\\ & 0 & 0 & 4 & 3a_3 & 2a_2 & a_1& 0 &\\ & 0 & 0 & 0 & 4 & 3a_3 & 2a_2 & a_1 &\\ \end où les barres verticales collatérales dénotent le calcul du déterminant. Pour n=2, on retrouve le discriminant d'une équation du second degré : Soit P=aX^2+bX+c, alors \Delta(P) = \frac(-1)^\frac\times\begin & a & b & c &\\ & 2a & b & 0 &\\ & 0 & 2a & b &\\ \end = b^2 - 4ac

Le discriminant d'un corps de nombres algébriques

Il existe également une notion de discriminant pour certains corps. C'est un invariant numérique, qui permet notamment d'estimer la complexité de certains calculs arithmétiques dans ce corps. Un corps de nombres algébriques K étant fixé, et son anneau des entiers, noté A, soit ωi' une base du \mathbb-module A. Le discriminant du corps est alors défini comme le déterminant de la matrice : :Det((\omega_i^\sigma_j)_) où \omega_i^\sigma_j désigne les éléments conjugués aux ωi'. Un changement de base ne change pas le discriminant. Seuls les diviseurs du discriminant sont susceptibles de se ramifier dans l'extension K/Q. Des minorations du discriminant, en fonction du degré du corps considéré, peuvent être obtenues par des méthodes relevant de la géométrie des nombres.

Référence

Catégorie:Polynôme Catégorie:Déterminant Catégorie:Théorie algébrique des nombres bg:Дискриминанта cs:Diskriminant da:Diskriminant de:Diskriminante en:Discriminant es:Discriminante fi:Diskriminantti he:דיסקרימיננטה ko:판별식 lv:Diskriminants nl:Discriminant ru:Дискриминант th:ดิสคริมิแนนต์
Sujets connexes
Coefficient   Complexité algorithmique   Corps (mathématiques)   Corps de nombres algébriques   Courbe elliptique   Déterminant (mathématiques)   Fonction polynôme   Graphe d'une fonction   Mathématiques   Matrice (mathématiques)   Nombre réel   Polynôme   Racine (mathématiques)   Résultant   Variable  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^