bonjour,
sin(x)=ax
si x est solution, -x est solution. On se restreint à

.
si ax>1 , pas de solution réelle.
on se restreint à

intervalle compact.
On se restreint à

L'ensemble des solutions est un fermé de

, donc un
ensemble compact.
admis: Les solutions forment un ensemble discret (chaque zéro est isolé)
Un ensemble discret d'un compact est un ensemble fini.
résultat des courses, pour chaque

, il y a un nombre fini de solutions.(*)
@Ben314: (*) y a moyen de montrer ça rigoureusement ?