Supposons qu'il existe f satisfaisant cette équation.
(fof)'=h'=a
a<0 nous donne (fof) décroissante sur IR.
h est bijective donc f l'est aussi.(paske c'est fof=bij donc f inj et surj)
On a donc f:IR -> IR
f est dérivable sur IR, donc continue sur IR. f est bijective de IR dans IR, donc on peut supposer f strictement monotone sur IR.
Donc, (fof) est strictement croissante sur IR.
Contradiction.