solution exo 3 1)
2)
3) puisque (x^2-x)^2 est toujours positive il suffit d'étudier le signe (2x-1)
f' est positive dans l'intervalle [1/2,+inf[
f' est négative dans l'intervalle ]-inf,1/2]
d'où
f est croissante sur [1/2,+inf[
f est décroissante sur ]-inf,1/2]
la valeur maximale de f est 9 (*)
4)b) pour que sin^2+cos^2=1 on doit avoir au moins l'un d'eux cos^2>=1/2 (on peut la démontrer par l'absurde)
et posant x=cos^2 alors 1-x=sin^2
et puis on utilise (*) pour déduire que (puisque cos^2>=1/2)