Caitre 0 Nombres comlexes : raels et comléments 0.1 Définitions et notations On raelle qu un nombre comlexe z est défini comme la somme d un nombre réel x et d un nombre dit imaginaire noté i y, où y est un réel, et i est un nombre tel i 2 = 1 : z = x + i y x = Re[z], y = Im[z]. Les oérations d addition, de multilication abituelles dans IR s aliquent également dans CI, en sorte que si z = x + i y et z = x + i y, alors z + z = x + x + i (y + y ) et z z = (x x y y ) + i (x y + x y). Les nombres comlexes euvent être rerésentés comme des vecteurs d un lan (e.v. à 2 dimensions, cf.infra) avec deux vecteurs de base 1 et i. Cette rerésentation est bijective. Le nombre z = x + i y est aelé affixe du oint de coordonnées (x, y). Le conjugué de z CI est le nombre noté z ou z tel que : z = Re[z] i Im[z]. Le conjugué d un nombre réel est aussi réel, et le conjugué d un nombre imaginaire est le nombre imaginaire oosé. Dans la rerésentation géométrique, le nombre z est le symétrique de z ar raort à l axe réel. Le conjugué de z est évidement z (la symétrie est involutive). Le conjugué de la somme ou du roduit sont la somme ou le roduit des conjugués. Le module de z est défini ar la relation : z = z z = x 2 + y 2 IR +. Axe imaginaire i y 1 z z Arg(z) Axe réel x Dans la rerésentation géométrique z est la longueur du vecteur associé à z. Le module de z est le même que celui de z ou de z. On note Fig. 1 Paramétrisation cartésienne et que le module constitue en quelque sorte une généralisation le la valeur olaire du lan comlexe. absolue des nombres réels, et c est our cela que l on utilise la même notation. On a bien sûr z 1 z 2 = z 1 z 2. L argument de z est l angle qui, dans la rerésentation géométrique, séare l axe des réels du vecteur rerésentatif de z. En d autres termes, le coule ( z, Arg(z)) est donné ar les coordonnées olaires de ce vecteur. On a donc les deux égalités suivantes : Re(z) = z cos(arg(z)) et Im(z) = z sin(arg(z)), (1) qui euvent encore être rises comme définition de l argument. On note Arg(z) = Arg(z). 1
UPMC LM100 Année 2007 08 Jean Hare 2 0.2 Fonction exonentielle 0.2.1 Fonction exonentielle réelle et comlexe Série entière Pour des nombres réels, l exonentielle est définie ar la série entière : ex(x) = n=0 x n n! = 1 + x 1! + x2 2! + + xn n! +. (2) Cette série ossède un rayon de convergence infini, c est à dire qu elle ossède une limite our tout x IR. On eut démontrer que cette fonction vérifie la relation : ex(a + b) = ex(a) ex(b). (3) N.B. Plutôt que de déveloer les termes de caque monôme, il est lus simle d utiliser la relation : ex(x) = lim n (1 + x n )n car on en déduit ex(x + y) = lim n (1 + (x + y)/n) n et our n max( x, y ) on eut écrire : (1 + (x + y)/n) (1 + x/n)(1 + y/n), d où le résultat. Équation différentielle On eut obtenir la dérivée de l exonentielle en dérivant la série terme à terme : ex (x) = n=0 n xn 1 n! = x! = ex(x). (4) Pour obtenir la deuxième égalité, on a noté que le remier terme est nul (n = 0), et que l indice n étant muet, on eut re-numéroter avec = n 1. En anticiant sur un cours ultérieur, on en déduit que le fonction exonentielle vérifiée l équation différentielle f (x) = f(x). N.B. On eut aussi utiliser la relation (3) our écrire : ex(x + ) ex(x) = ex(x) ex() 1 ex(x) 1 + + 2 /2 + 1 et constater que la fraction tend vers 1 lorsque tend vers 0, d où le résultat. Si l on utilise la règle de dérivation des fonctions comosées (f g) (x) = f g(x) g (x) on eut en déduire que toute fonction f de la forme f(x) = A ex(α x), où A et α sont des constantes réelles quelconques, est solution de l équation : f (x) = df(x) = α ex(α x) = α f(x). (5) dx On eut en outre montrer que toutes les solutions de cette équation sont de cette forme. Exonentielle comlexe On eut remarquer que la série (2) our être étendue aux nombres comlexes, en remlaçant le nombre x IR ar un nombre z CI. Nous admettrons qu elle ossède effectivement une limite dans CI, en général non réelle. Nous admettrons aussi que la fonction ainsi définie ossède toutes les roriétés évoquées ci-dessus. En articulier, l équation (5) est vraie même si le nombre α est comlexe (N.B. : on dérive toujours ar raort à la variable x réelle). Il est alors intéressant de considérer la fonction comlexe g(x) de la variable réelle définie comme suit et d évaluer sa dérivée : g(x) = cos x + i sin x g (x) = ( sin x) + i (cos x) = i(i sin x + cos x) = i g(x). En vertu de ce qui récède, nous devons en conclure que g(x) = A ex(i x), et il suffit de considérer le cas x = 0 our en déduire que A = 1. On en tire la relation très imortante, valable our tout x IR :
UPMC LM100 Année 2007 08 Jean Hare 3 cos x + i sin x = ex(i x). (6) Cette relation ossède nombre de conséquences, dont nous allons résenter les rinciales dans le rocain aragrae, mais dont nous ouvons déjà mettre en avant la lus sectaculaire : e iπ = 1. 0.2.2 Proriétés de l exonentielle comlexe Module Tout d abord, nous ouvons constater que le nombre comlexe ex(iθ) est de module 1, uisque cos 2 θ + sin 2 = 1, et que ex(iθ) arcourt tout le cercle unité lorsque θ varie de 0 à 2π, ou de π à π, ou tout autre intervalle de longueur 2π. Il s ensuit que la relation (1), s écrit our tout nombre comlexe z : z = z z = z ex(i Arg(z)), z = z ex( i Arg(z)) et z = z ex(i(arg(z) + π)). (7) z Interrétation géométrique de la multilication Considérons maintenant le roduit de deux nombres comlexes z 1 et z 2. On eut les écrire : z 1 = z 1 e iθ 1 et z 2 = z 2 e iθ 2 z 1 z 2 = z 1 z 2 ex(i(θ 1 + θ 2 ) ce qui montre que le roduit ar un nombre comlexe réalise une similitude, qui est le roduit d une rotation (d angle=argument) ar une omotétie (raort=module). On comrend donc ourquoi le roduit z z donne un nombre réel. On eut bien sûr s en assurer en considérant la définition à artir des arties réelles (à faire en exercice), en utilisant les formules trigonométriques sur cos(θ 1 + θ 2 ) et sin(θ 1 + θ 2 ). Racines carrées et d ordre n La notion de racine carrée est définie dans IR comme une fonction réelle ositive d un réel ositif. Pourtant, l équation x 2 = a où a IR + ossède bien dans IR deux solutions oosées, et c est de façon conventionnelle que l on coisit celle qui est ositive. On ne eut as établir de convention similaire dans CI (as de relation d ordre), et à titre d exemle, 1 eut désigner aussi bien i que i, sans qu un coix articulier s imose de façon naturelle. Il en est de même our les racines d ordre n > 2. On eut en articulier s intéresser aux racines d ordre n IN de 1, dites racines n-ièmes de l unité. Il s agit des solutions de l équation : x n = 1. On eut dans un remier tems noter que les solutions sont nécessairement de module 1, et s écrivent donc sous la forme ex(iθ). L équation à résoudre s écrit alors our θ sous la forme : n θ = 2π où Z. 2π/5 = 72 On en déduit que tout comlexe de la forme z = ex( i2π/n) est solution de cette équation, mais on constate aisément que des valeurs de différant de n ou d un multile de n donnent la même solution. En conclusion, les racines n-ièmes de l unité sont au nombre de n, équiréarties sur le cercle unité, formant les sommets d un olygone régulier, avec l un des sommets Fig. 2 Les cinq racines cinquièmes de l unité. en z 0 = 1 (cf.figure). Ce olygone est toujours symétrique ar raort à l axe des réels car z n = 1 z n = 1 = 1 ; our n air il est en outre symétrique ar raort à l origine (symétrie centrale) car z n = 1 ( z) n = 1.
UPMC LM100 Année 2007 08 Jean Hare 4 Déveloement en série des fonctions trigonométriques En rarocant les équations (2) et (6), et en constatant que les termes d ordre air sont réels et ceux d ordres imair sont imaginaires, on obtient le déveloement en série des fonctions trigonométriques cos θ et sin θ : cos θ = ( 1) x2 et sin θ = ( 1) x 2+1 (2)! (2 + 1)!. (8) 0.2.3 Formules de Moivre La relation (6) ermet de calculer les fonctions trigonométriques des cos(n x)et de sin(n x) sous la forme d un olynôme en cos(x) et de sin(x). On a en effet : cos(nx) + i sin(nx) = ex(i nx) = (cos x + i sin x) n soit en utilisant ar formule du binôme et en séarant les arties réelles et imaginaires corresondant resectivement aux uissances aires et imaires de i sin(x) : ( ) n (e iθ ) n = cos n x (i sin x) ( ) = ( 1) n ( ) 2 cos n x sin x + i ( 1) 1 n 2 cos n x sin x,air,imair E( n 2 ) ( ) E( = n n 1 ( 1) q cos n 2q x sin 2q x + i 2 ) ( ) n ( 1) q cos n 2q 1 x sin 2q+1 x, 2q 2q + 1 q=0 où la fonction E(x) désigne la artie entière de x. On note bien que le cosinus comorte une uissance aire de sin x, et est donc une fonction aire, tandis que le sinus qui comorte une uissance imaire de sin x est une fonction imaire. 0.2.4 Fonction logaritme Il est naturel de comléter la définition de l exonentielle comlexe ar celle du logaritme, en tant que fonction réciroque de la récédente. Cette fonction doit bien sûr coïncider avec son omologue réel our un argument réel ositif, et osséder la roriété symétrique de (3), à savoir log(z 1 z 2 ) = log(z 1 ) + log(z 1 ). En utilisant la décomosition (7) our z CI, il vient alors : q=0 log(z) = log( z ) + log(ex(i Arg(z))) = log( z ) + i Arg(z). (9) On notera que, dans la mesure où l argument du nombre comlexe z n est défini que modulo 2π, la fonction, logaritme ne sera une vraie fonction que si l on imose en outre une condition sur les valeurs rises ar Arg(z). 0.3 Polynômes et racines L ensemble CI des nombres comlexes ossède de remarquables roriétés vis à vis des équations olynomiales. Nous commencerons ar les équations du second degré, qui sont les seules à osséder une solution générale exlicite simle. 0.3.1 Équation du second degré La réécriture du trinôme sous sa forme canonique urement algébrique, n est évidement en rien modifiée si l on suose, contrairement à ce qui a u être fait jusqu ici, que les coefficients a, b et c sont des nombres comlexes, et que l inconnue x le soit aussi : [ ( a x 2 + b x + c = a x + b ) 2 + c ( ) ] [ 2 ( b a = a x + b ) ] 2 b2 4ac. 4a
UPMC LM100 Année 2007 08 Jean Hare 5 Lorsqu on résout une telle équation dans IR, le remier terme dans les [ ]est un réel ositif, et le second terme doit donc être ositif aussi ( 0) our que l équation a x 2 +b x+c = 0 ossède des solutions réelles (deux dans le cas général). Lorsqu on travaille dans CI, il n en n est rien, le second terme ossède toujours deux racines carrées, et l équation a deux solutions de la forme : x 1 = b + r et x 1 = b r, où r est l une quelconque des deux racines carrées de = b 2 4ac. Dans le cas articulier où l on a un olynôme à coefficients réels, mais que l on accete une (des) solution(s) comlexe(s), on a donc deux cas : 0 : on retrouve alors les solutions réelles usuelles, éventuellement confondues si = 0. < 0 : les deux racines carrées de s écrivent ±i, et les solutions sont donc : x ± = b ± i. On observe que dans le second cas les deux solutions sont conjuguée l une de l autre. 0.3.2 Cas général On démontre, et nous admettrons ici, le téorème de Gauss-d Alembert selon lequel tout olynôme de degré n à coefficients comlexes P (x) ossède exactement n racines r ( = 1 n) dans CI, éventuellement confondues, en sorte que l on uisse le factoriser entièrement, c est à dire écrire : P (x) = α(x r 1 ) (x r n ). A défaut de démonstration, nous en avons vu deux exemles, le cas du degré 2, et le cas articulier de degré n où P (x) = x n 1. Dans le cas articulier où les coefficients du olynôme sont réels, les éventuelles racines comlexes se classent ar aires de valeurs conjuguées l une de l autre, ainsi que nous l avons observé dans le cas articulier où n = 2. En effet, si P (z) = 0, on a P (z) = 0, où P (x) est le olynôme déduit de P en remlaçant caque coefficient ar son conjugué. Pour un olynôme à coefficients réels, P = P, d où le résultat. Un autre exemle est fourni ar le olynôme du troisième degré : P (x) = x 3 3x 2 + 4x 2, dont le grae est donné sur la figure ci-contre. Comme sa dérivée est P (x) = 3x 2 6x + 4 est toujours ositive, P (x) est croissant et ne ossède qu une seule racine réelle, x = 1 en l occurrence. On eut alors cercer les racines de P (x)/(x 1) = x 2 2x + 2, qui sont 1 ± i, comlexes conjuguées l une de l autre. 2 0-2 -4-6 -8-1 -0.5 0 0.5 1 1.5 2 Fig. 3 Polynôme du troisième degré ossédant une racine réelle et deux racines comlexes.