Jusqu'où réduire/développer une dérivée?

mais ça ne nous avance pas beaucoup

Si tu cherches les 0, ce sera nettement plus facile comme ça.

(Je ne vois pas non plus d'identité remarquable. Je suis déçu, de loin, j'aurais dit…)

L'éponge avait pourtant l'air certain…

Je pensais à $e^{-2x}-e^{2x}=(e^{-x}+e^x)(e^{-x}-e^x)$ permettant d'aboutir à $4(1-2\sinh(x)\cosh(x))$ au numérateur, mais en fait c'est idiot parce que $4(1-\sinh(2x))$ est plus simple à étudier de tout façon…

Hum, je ne savais pas qu'on pouvait aboutir à des fonctions trigonométriques, tu peux expliquer?

De manière similaire à $\cos x=\dfrac{e^{ix}+e^{-ix}}{2}$, le cosinus hyperbolique est définit comme $\cosh x=\dfrac{e^{x}+e^{-x}}{2}$ (et de façon similaire pour les sinus). Je suis en train de penser que tu es encore au lycée si je me trompe pas, donc tu n'as probablement pas encore vu tout ça, en fait… Désolé.

Tout simplement en partant des définitions des sinus et cosinus hyperboliques

$\sinh x = \frac{{{e^x} - {e^{ - x}}}}{2}$ et $\sinh x = \frac{{{e^x} + {e^{ - x}}}}{2}$

Petit moyen mémo-technique que j'utilise: le cosinus est la "corde" (cf. graphe) ce qui correspond à la moyenne des deux exponentielles. Voir ici pour plus d'infos.

Edit: Trop tard

Oui, début de TS. Je n'ai pas encore abordé les complexes, ni les fonctions trigo. Je voudrais bien m'avancer mais je ne pense pas avoir le temps aujourd'hui. Sujet résolu!