Bonsoir,
plusieurs remarques :
1. Oui, il faut introduire une fonction comme vous l'avez fait, mais il faut toujours préciser son ensemble de définition et celui d'arrivée (sinon, comment voulez-vous parler de bijection?)
2. Le théorème de la bijection est plus fort : outre l'existence d'une solution de l'équation f(x)=0, il garantit l'unicité (et on vous la demande).
3. Plutôt que de dire que le produit de fonctions usuelles est une fonction continue, je dirais que le produit de fonctions continues est continu. Parce que tout dépend de ce qu'on entend par fonctions usuelles.
4. Enfin, pour déterminer un encadrement de
par deux entiers consecutifs, on cherche à l'aide de la calculatrice quel entier n vérifie f(n)0 si f est croissante (ou f(n)>0 et f(n+1)<0 si f est décroissante).