Bonjour hauwe,
tes solutions dépendent quand même de
:
si
est négatif, tes solutions sont fausses car
n'a pas de sens, du coup il faut aussi traiter ce sous-cas.
A moins qu'on te dise, par exemple, que
est compris entre
et
?
Pour la suite, j'imagine que c'est le module de z'2 qui est égal à ce que tu écris?
Si oui, c'est bien ce que j'ai prouvé.
En revanche, il faut quand même prouver auparavant que
,
c'est-à-dire
est bien positif, sans quoi il ne peut pas être le module d'un complexe!
Pour ceci, dans le cas où
est compris entre
et
, on a
et
,
de plus avec l'identité:
il vient:
.
Or pour a et b positifs,
implique
, d'où
, et donc comme a+b et
sont positifs, il vient bien:
.
Ce n'est qu'alors qu'on peut affirmer que l'argument de z'2 est bien
.
Un raisonnement analogue (mais plus immédiat) s'impose pour z'1.
Tigweg