Re: Puissance complexe

Liste des GroupesRevenir à fs maths 
Sujet : Re: Puissance complexe
De : julien.arlandis (at) *nospam* gmail.com (Julien Arlandis)
Groupes : fr.sci.maths
Date : 19. Dec 2021, 21:49:36
Autres entêtes
Organisation : Nemoweb
Message-ID : <ZE2IcSP84bsOIolTdC0QWKZTdr0@jntp>
References : 1 2 3 4 5 6 7 8
User-Agent : Nemo/0.999a
Le 19/12/2021 à 19:29, Python a écrit :
Le 19/12/2021 à 19:15, Julien Arlandis a écrit :
Le 19/12/2021 à 12:22, pehache a écrit :
Le 19/12/2021 à 12:00, Julien Arlandis a écrit :
Le 19/12/2021 à 11:27, pehache a écrit :
Le 19/12/2021 à 09:47, Julien Arlandis a écrit :
Le 19/12/2021 à 09:17, Samuel DEVULDER a écrit :
Le 19/12/2021 à 02:47, Julien Arlandis a écrit :
Peut on écrire :
1^x = (e^(2*i*pi))^x
= e^(2*i*pi*x)
= cos(2*pi*x) + i*sin(2*pi*x)
Pour x réel ?
>
x réel ? Ca colle pas au titre où tu parles d'une puissance complexe.
>
Ton calcul n'est vrai que pour x entier. Pour les x réels arbitraires (négatifs par exemple) ou complexe il faut plutôt passer par la définition de a^x = exp(x*ln(a)), donc 1^x = exp(x*ln(1)) or ln(1)=0, donc 1^x = exp(x*0) = exp(0) = 1 pour tout x réel ou complexe.
>
sam.
>
La règle (a^b)^c = a^(b*c) s'applique pour b et c réels. Ce qui nous empêche de passer de la première ligne à la seconde ce serait donc le fait que b est complexe (b = 2*i*pi) ?
>
>
La démonstration de cette règle à partir de la définition a^b=exp(b.ln(a)) implique forcément un ln() de complexe à un moment si b est complexe, or un ln() de complexe n'est pas défini de façon univoque, donc je suppose que c'est là que ça coince.
>
Pourtant quand on calcule (exp(i*pi/2))^i = exp(i^2*pi/2) on applique bien la propriété (a^b)^c = a^(b*c).
>
Je ne suis pas sûr que ce soit bien rigoureux, justement :)
 Oui si on suit la recette de Sam ça fait
(exp(i*pi/2))^i = e^(i*ln(e^(i*pi/2))) = e^(i*ln(i))
 Et ensuite... ?
  e^(-π/2)
La question c'est comment on le démontre sans passer par (a^b)^c = a^(b*c), sinon bien sûr le résultat est évident...

Date Sujet#  Auteur
19 Dec 21 * Puissance complexe69Julien Arlandis
19 Dec 21 +- Re: Puissance complexe1Richard Hachel
19 Dec 21 +* Re: Puissance complexe15Samuel DEVULDER
19 Dec 21 i`* Re: Puissance complexe14Julien Arlandis
19 Dec 21 i +* Re: Puissance complexe10pehache
19 Dec 21 i i`* Re: Puissance complexe9Julien Arlandis
19 Dec 21 i i `* Re: Puissance complexe8pehache
19 Dec 21 i i  `* Re: Puissance complexe7Julien Arlandis
19 Dec 21 i i   +* Re: Puissance complexe2Python
19 Dec 21 i i   i`- Re: Puissance complexe1Julien Arlandis
19 Dec 21 i i   `* Re: Puissance complexe4Samuel DEVULDER
19 Dec 21 i i    +* Re: Puissance complexe2Julien Arlandis
19 Dec 21 i i    i`- Re: Puissance complexe1Samuel DEVULDER
20 Dec 21 i i    `- Re: Puissance complexe1Julien Arlandis
19 Dec 21 i `* Re: Puissance complexe3Samuel DEVULDER
19 Dec 21 i  `* Re: Puissance complexe2Julien Arlandis
19 Dec 21 i   `- Re: Puissance complexe1Samuel DEVULDER
20 Dec 21 +* Re: Puissance complexe51Samuel DEVULDER
20 Dec 21 i`* Re: Puissance complexe50Julien Arlandis
20 Dec 21 i `* Re: Puissance complexe49Samuel DEVULDER
20 Dec 21 i  +* Re: Puissance complexe4Julien Arlandis
20 Dec 21 i  i`* Re: Puissance complexe3Samuel DEVULDER
20 Dec 21 i  i `* Re: Puissance complexe2Julien Arlandis
21 Dec 21 i  i  `- Re: Puissance complexe1Samuel DEVULDER
21 Dec 21 i  `* Re: Puissance complexe44Julien Arlandis
21 Dec 21 i   +* Re: Puissance complexe40Samuel DEVULDER
21 Dec 21 i   i`* Re: Puissance complexe39Julien Arlandis
21 Dec 21 i   i `* Re: Puissance complexe38Samuel DEVULDER
21 Dec 21 i   i  `* Re: Puissance complexe37Julien Arlandis
21 Dec 21 i   i   +* Re: Puissance complexe5Samuel DEVULDER
21 Dec 21 i   i   i`* Re: Puissance complexe4Julien Arlandis
21 Dec 21 i   i   i `* Re: Puissance complexe3Samuel DEVULDER
21 Dec 21 i   i   i  +- Re: Puissance complexe1Samuel DEVULDER
21 Dec 21 i   i   i  `- Re: Puissance complexe1Julien Arlandis
22 Dec 21 i   i   +* Re: Puissance complexe30Michel Talon
22 Dec 21 i   i   i`* Re: Puissance complexe29Julien Arlandis
23 Dec 21 i   i   i `* Re: Puissance complexe28Michel Talon
23 Dec 21 i   i   i  `* Re: Puissance complexe27Julien Arlandis
23 Dec 21 i   i   i   +* Re: Puissance complexe24Julien Arlandis
24 Dec 21 i   i   i   i`* Re: Puissance complexe23Samuel DEVULDER
24 Dec 21 i   i   i   i `* Re: Puissance complexe22Julien Arlandis
24 Dec 21 i   i   i   i  `* Re: Puissance complexe21Samuel DEVULDER
24 Dec 21 i   i   i   i   `* Re: Puissance complexe20Julien Arlandis
24 Dec 21 i   i   i   i    `* Re: Puissance complexe19Samuel DEVULDER
24 Dec 21 i   i   i   i     `* Re: Puissance complexe18Julien Arlandis
24 Dec 21 i   i   i   i      `* Re: Puissance complexe17Samuel DEVULDER
24 Dec 21 i   i   i   i       +* Re: Puissance complexe5Julien Arlandis
24 Dec 21 i   i   i   i       i`* Re: Puissance complexe4Samuel DEVULDER
24 Dec 21 i   i   i   i       i +- Re: Puissance complexe1Julien Arlandis
25 Dec 21 i   i   i   i       i `* Re: Puissance complexe2Michel Talon
25 Dec 21 i   i   i   i       i  `- Re: Puissance complexe1Samuel DEVULDER
24 Dec 21 i   i   i   i       `* Re: Puissance complexe11Julien Arlandis
24 Dec 21 i   i   i   i        `* Re: Puissance complexe10Samuel DEVULDER
24 Dec 21 i   i   i   i         `* Re: Puissance complexe9Julien Arlandis
24 Dec 21 i   i   i   i          `* Re: Puissance complexe8Samuel DEVULDER
24 Dec 21 i   i   i   i           `* Re: Puissance complexe7Julien Arlandis
24 Dec 21 i   i   i   i            `* Re: Puissance complexe6Samuel DEVULDER
25 Dec 21 i   i   i   i             `* Re: Puissance complexe5Julien Arlandis
25 Dec 21 i   i   i   i              `* Re: Puissance complexe4Samuel DEVULDER
26 Dec 21 i   i   i   i               `* Re: Puissance complexe3Julien Arlandis
26 Dec 21 i   i   i   i                `* Re: Puissance complexe2Samuel DEVULDER
27 Dec 21 i   i   i   i                 `- Re: Puissance complexe1Michel Talon
24 Dec 21 i   i   i   `* Re: Puissance complexe2Michel Talon
24 Dec 21 i   i   i    `- Re: Puissance complexe1Julien Arlandis
23 Dec 21 i   i   `- Re: Puissance complexe1Julien Arlandis
26 Dec 21 i   `* Re: Puissance complexe3MAIxxxx
26 Dec 21 i    `* Re: Puissance complexe2Python
5 Feb 22 i     `- Re: Puissance complexe1Samuel DEVULDER
1 Feb 22 `- Re: Puissance complexe1MAIxxxx

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal