"Racines" de l'unité
dans Arithmétique
Bonjour à toutes et à tous,
Je voulais avoir votre confirmation (et plus) sur les différentes solutions de l'équation $x^a=1$ lorsque $a$ est un nombre :
- entier : il y a $a$ solutions, $x=e^{\frac{2i\pi k}{a}}$ avec $0\leq k \leq a-1$;
- rationnel (non entier) : si $a=\frac{p}{q}$, $pgcd(p,q)=1$, alors $x^a=1 \Rightarrow x^p=1$ donc on revient au premier cas : $p$ solutions;
-réel (irrationnel) : une infinité de solution $x=e^{\frac{2i\pi k}{a}}$, $k \in \mathbb{Z}$;
-imaginaire (non réel) : ?
Merci !
Je voulais avoir votre confirmation (et plus) sur les différentes solutions de l'équation $x^a=1$ lorsque $a$ est un nombre :
- entier : il y a $a$ solutions, $x=e^{\frac{2i\pi k}{a}}$ avec $0\leq k \leq a-1$;
- rationnel (non entier) : si $a=\frac{p}{q}$, $pgcd(p,q)=1$, alors $x^a=1 \Rightarrow x^p=1$ donc on revient au premier cas : $p$ solutions;
-réel (irrationnel) : une infinité de solution $x=e^{\frac{2i\pi k}{a}}$, $k \in \mathbb{Z}$;
-imaginaire (non réel) : ?
Merci !
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Quand je compte sur mes gros doigts, je trouve \( a+1 \) valeurs de \( k \), sachant qu'il y a un piquet de plus que d'intervalles...
e.v.
@Poirot : Si $a=i$ par exemple, $e^{\frac{2i\pi k}{a}} \neq 1$ ... non? ^^'
Allez je me lance : si $x=re^{i\theta}$ avec $r>0$ et $\theta \in \mathbb{R}$, on a :
$$ x^i=r^ie^{-\theta}=e^{-\theta+iln(r)} ~?$$
Comme $\theta$ est défini à 2 pi près, il y a une infinité de modules pour $x^i$ ?
Cordialement.
On veut définir les puissances à partir du logarithme via $z^\mathrm{i}=\mathrm{e}^{\mathrm{i}\log z}$. Mais que signifie $\log z$ ?
Par définition, on dit que $w$ est un logarithme de $z$ si $z=\mathrm{e}^z$. Pour un nombre complexe $z$ non nul de module quelconque, on vérifie que $a+\mathrm{i}b$ est un logarithme de $z$ SSI $a=\ln|z|$ et $b$ est un argument de $z$. Comme il y a une infinité d'arguments, il y a une infinité de logarithmes et donc en général une infinité de puissances.
Pour lever cette indétermination, il y a deux attitudes possibles :
- soit on se limite à une partie de $\C^*$ et on choisit une des valeurs possibles pour l'argument, ce qui détermine un logarithme. Par exemple, on se limite à $\C\setminus\R^-$ et on définit l'argument principal, celui qui appartient à $\left]-\pi,\pi\right[$ ;
- soit on décrète que le logarithme d'un nombre complexe et que la puissance $\mathrm{i}$-ème (ou $a$-ième, pour un complexe $a$ quelconque) n'est pas un nombre complexe mais un ensemble (en général infini) de nombre complexes.
La première attitude est essentiellement celle que l'on adopte dans $\R^+$ en décidant que la racine carrée est celle qui est positive. Quand on manipule des racines carrées pour calculer des distances, ce choix est plus commode mais c'est un argument « social », pas mathématique. On pourrait très bien développer les mêmes mathématiques avec la convention que $\sqrt{x}$ est le réel négatif ou nul dont le carré vaut $x$.Allons-y au fur et à mesure en commençant par $x \in \mathbb{R}$. Est-il possible que pour $a \in \mathbb{C}$ fixé, l'équation $x^a=1$ possède des solutions?
Par exemple, pour $a=i$, il y a une infinité de solutions : $x=e^{2k\pi}$. Pour le reste... je ne vois pas encore bien la chose!
- pour $x>0$, $x^i=e^{iln(r)} $ donc on se retrouve sur le cercle unité; ainsi si $Re(a) \neq 0$, l'équation $x^a=1$ n'a pas de solutions positives (autre que $x=1$) car il faudrait que $x^{Re(a)}=1$. Si $Re(a)=0$, on a une infinité de solutions vues plus haut.
- pour $x<0$, $x^i=...$ aucune idée !
Avant de rentrer dans le cas général, avez-vous un nombre complexe $a$ non réel pour lequel l'équation $x^a=1$ aurait un nombre fini de solution ? Si j'ai bien compris Math Coss il n'en existe pas, mais je veux vérifier si j'ai bien compris
Merci !
En fait, si lorsque $a$ est un complexe, il y a soit une infinité de solutions, soit aucune, vous avez répondu à ma question
A ce propos, j'aurais une petite dernière question pour être sûr : peut-on mettre - une bonne fois pour toute - une relation d'équivalence sur les angles ( du style $\alpha ~R ~\beta$ si $2\pi$ divise $\alpha-\beta$) de telle manière que l'on ait pas à se soucier de quel angle on choisit?
tu perds ton temps ... Il n'y a déjà pas de formalisme uniforme pour les puissances de réels, $a^x$ se calcule différemment suivant que a est strictement positif, nul, ou strictement négatif. Et tu voudrais des formules qui marchent pour des puissances complexes !!!
Cordialement.
La fonction logarithme de $z$, et donc la fonction puissance en base $z$, ne peuvent pas être définies de manière continu sur $\mathbb C^*$ tout au plus peut-on le faire sur $\mathbb C^*$ privé d'une demi-droite par exemple. C'est suffisant en pratique.
Pour résumer :
-$a$ entier ou rationnel non nul : nombre fini de solution;
-$a$ réel : infinité de solutions;
-$a$ imaginaire : infinité ou absence de solutions.
Donc le passage de rationnel à réel casse la finitude ! Merci !