y'/y=-cos(x) et primitive de chaque membre

oui mais là c'est une équa diff ac condition initiale et je ne sais pas comment démarrer

une résolution possible:
y'/y=-cos(x)
ln(|y|)=-sin(x)+c
|y|=exp(c-sin(x))
y=K*exp(-sin(x))
Or y(pi/2)=1 cad K=e
donc y=exp(1-sin(x))