Opérations et fonctions sur les nombres
complexes
Le programme Java [Link] permet de visualiser les opérations de base
dans ℂ ainsi que le comportement d'un certain nombre de fonctions de ℂ vers ℂ.
1. Lancer le programme
Avec un peu de chance, un double clic sur l'icône du fichier suffira.
Si cela ne fonctionne pas, ouvrir un terminal, se placer dans le répertoire où se
trouve la fichier, et taper java -jar [Link] .
Si cela ne fonctionne toujours pas, j'en suis navré. Allez plutôt faire une partie de
World of Warcraft.
Au lancement, on obtient la fenêtre suivante.
2. Options
La molette de la souris permet de faire un zoom avant / arrière du graphique. Au bas
de la fenêtre se trouve un menu permettant de faire quelques choix :
Sur la gauche, un menu déroulant permettant de choisir la fonction ou
l'opération à visualiser. Les premiers choix choix sont
Juste à côté, un menu déroulant libellé "n", utilisé pour les choix ROOT
(racines nièmes) et INTPOW (puissance entière zn ).
La case à cocher "Grille" permet d'afficher ou pas la grille des coordonnées.
La case à cocher "Images" affiche (si on a choisi une fonction d'une variable z )
les images directes par la fonction choisie des droites d'équations x = cte et
y = cte.
Les coordonnées de z (et éventuellement z′ ) sont affichées en bas à droite.
3. Remarques mathématiques
Un certain nombre de fonctions sont des prolongements à ℂ des fonctions usuelles
bien connues sur ℝ .
3.1 Fonctions trigonométriques
On définit pour tout z ∈ ℂ
1 iz
2(
cos z = e + e−iz )
et
1 iz
sin z = (e − e−iz )
2i
3.2 Logarithme
On définit, pour z complexe non nul,
log z = ln |z| + i arg z
où arg z est l'unique argument de z appartenant à ]−π, π]. C'est ce que l'on appelle la
détermination principale du logarithme.
La fonction log est un inverse à droite de l'exponentielle complexe. On a ainsi, pour
tout z ∈ ℂ∗ ,
exp(log z) = z
En revanche, ce n'est pas un inverse à gauche de exp . Précisément, soit
z = x + iy ∈ ℂ, où x, y ∈ ℝ. On a
log(exp z) = log(ex eiy ) = ln ex + iy + 2ikπ = z + 2ikπ
où k ∈ ℤ est l'unique entier tel que y + 2kπ ∈] − π, π].
3.3 Puissances quelconques
À partir de là, on pose pour z ∈ ℂ∗ et z′ ∈ ℂ ,
′
zz = ez
′
log z
Par exemple, que vaut ii ? Eh bien
π
log i = ln |i| + i arg i = i
2
De là,
π
ii = exp(i log i) = e− 2
3.4 Les autres fonctions
Je ne détaillerai pas ici les choix faits pour définir les autres fonctions (arc sinus, arc
cosinus, etc.). Les fonctions DL01 et ARCDL01 sont présentes pour des raisons
historiques. Essayer de deviner ce qu'elles sont 😀 .