Solution pour le challenge 39
La première chose à faire est sans doute un dessin.
Sur la figure ci-dessous, sont dessinées les deux paraboles d’équations respectives :

On dénombre quatre points d’intersection, qui sont autant de solutions pour notre système.
Bien sûr, cette simple lecture graphique ne constitue pas une preuve valide, quand bien même elle nous convainc de la réponse (du moins pour la première question). Alors que faire ?
On peut déjà remplacer le système proposé par le système équivalent :
c’est-à-dire :
On observe maintenant que est solution de l’équation
, à laquelle est associé
.
Vous aviez peut-être détecté, depuis le début, que le couple convient, puisque :
Mais alors l’équation se factorise (voir par exemple cet article) sous la forme :
A ce stade, on peut envisager (au moins) deux approches …
Approche 1 (cliquer pour déplier / replier)
Si l’on pose pour tout :


![Rendered by QuickLaTeX.com \left]-\infty,\alpha\right]](https://math-os.com/wp-content/ql-cache/quicklatex.com-cc8136f0aa3afaf07a6b46e5e51baa09_l3.png)
![Rendered by QuickLaTeX.com \left[\alpha,\beta\right]](https://math-os.com/wp-content/ql-cache/quicklatex.com-5ad5ad60fe4c9987c56b811180858bf1_l3.png)

En outre :
Comme les limites de en
et en
valent respectivement
et
, un corollaire bien connu du théorème des valeurs intermédiaires montre que
s’annule exactement trois fois.
Ces calculs sont assez lourds, techniquement parlant… et l’on peut faire plus simple !
Approche 2 (cliquer pour déplier / replier)
Il suffit d’observer que :
Vu que l’équation
En posant pour chaque
, on obtient trois couples solutions
,
et
, auxquels s’ajoute le couple
.
D’une manière ou d’une autre, on voit que notre système possède dans quatre couples solutions, parmi lesquels
. Vérifions que seul ce dernier appartient à
.
Pour cela, il suffit d’appliquer le test des racines rationnelles à l’équation :
Supposons qu’un rationnel soit solution de
, avec
et
premiers entre eux. Alors :
Une éventuelle solution rationnelle de doit figurer dans la courte liste :
Or, il s’avère (bon … il faut bien calculer un peu …) qu’aucun de ces huit rationnels n’est solution de . Ceci prouve que cette équation ne possède aucune solution rationnelle. Le système proposé possède donc
pour seule solution dans
.
Pour consulter l’énoncé, c’est ici
Problème très intéressant, merci! J’ai appris une nouvelle méthode : le test des racines rationnelles!
Bien à vous
Martin