Minorer le module d'une expression complexe

[invite97a526b6]

Bonjour,
Quelqu'un pourrait-il me donner un moyen simple pour trouver un minorant voire déterminer la borne inférieure de l'expression:

|exp(e^it/2) - 1|

Cela doit être facile mais je n'ai pas trouvé de moyen simple et astucieux...

Merci d'avance.
-----

[NicoEnac]

Bonjour,

Quel est le domaine de définition de t ?

Sinon j'ai essayé de le faire à la bourrin et ça a l'air de donner quelque chose d'exploitable.
Pour commencer, j'ai utilisé le fait que :

Ensuite, il suffit de transformer et le module se trouve facilement.

Mais j'insiste sur le fait de donner un domaine sur lequel on cherche la borne inférieure.

[invite179e6258]

on diraît que c'est 0.5