Bonjour, à priori peu d'espoir de trouver une solution exacte.
tu peux toujours étudier la courbe :

qui te montrera qu'il y a une seule solution.
Puis utiliser des méthodes itératives pour trouver une solution approchée (x ≈ 1.9057)

Bonjour,
A moins d'un oubli de parenthèse : sinx - xcos(x - /2) = 0 ?

Merci pour vos réponses mais je confirme l'énoncé :
Pour tout x appartenant à (0;pi)
Résoudre : sin(x) - x*cos(x) - (pi/2) = 0.
Pour ma part j'ai réussi à prouver l'existence d'une unique solution par l'étude de la fonction, mais pas à trouver la solution de manière probante ...

utilise des méthodes approchées genre dichotomies successives. je t'ai donné la valeur dans mon premier post.

Voui je vais faire ça. Merci à vous pour vos réponses ! 🤓👍