La fonction exponentielle imaginaire

Après une brève réflexion sur la nature abstraite des notations mathématiques impliquant des exposants (exposants fractionnaires et exposants négatifs) nous introduisons la notion d'exposant imaginaire. Nous montrons que tout nombre élevé à une puissance imaginaire peut être calculé grâce à la fonction exponentielle imaginaire. L'objectif de la séquence se limite donc à expliquer ce que représente la fonction "f(x) = e^ix" où x est un argument réel. Pour cela nous exploitons les propriétés de base de la fonction exponentielle, à savoir : la fonction exponentielle est l'unique fonction qui est égale à sa dérivée et qui vaut l'unité en l'origine x = 0. Cette deuxième propriété est exploitée dans l'étude du module carré de "e^ix". En généralisant aux nombres complexes la règle d'addition des exposants dans le produit de deux puissances de e, nous arrivons très simplement à la conclusion que le module carré de "e^ix" est égal à l'unité pour tout x. Ce résultat indique que "e^ix" est un nombre complexe situé sur un cercle de rayon unité centré sur l'origine du plan complexe. Il nous reste alors à exploiter la propriété de la dérivée de la fonction exponentielle pour arriver à la conclusion que l'argument du nombre complexe "e^ix" est égal à x. Ce qui nous conduit directement à la formule d'Euler "e^ix = cos(x) + i sin(x)". L'interprétation et les illustrations de ce résultat sont laissés à la séquence suivante.