BJR!
Je pense que c'est façile, Df est clairement: x>=1 et x=<-3
Prenons:(x,y)£[1,+00[ tel que: x>y donc: x>1 et y>=1
=> x²>y² => x²+2x-3>y²+2y-3 => V(x²+2x-3)>V(y²+2y-3)
Cela veut dire que: f(x)>f(y) ! et: x>y
D'ou: f est strictement croissante sur [1,+00].
f est une fonction polynome, donc f est strictement décroissante sur ]-00,-3].
CQFD.