Bonjour à tous voila j'ai une petite question (enfin deux petites questions concernant cet exercice:
Démontrer que léquation cosx-2/=0 admet une solution unique sur [0;/2]

J'ai commencé par prouver qu'elle est strictement monotone et pour cela j'obtiens
f'(x)=-sinx, mais voila j'ai une petite question après, je sais que sinx est strictment positif que [0,/2] et s'annule en 0
Mais pour -sinx , comment prouver que c'est toujour négatif sur ce même intervalle(et s'annule en 0)?
Cette question peut paraître bête mais je bloque pour le prouver

Merci d'avance!