Voici comment je traiterais le problème.
On doit résoudre l'inéquation :

Il faut tout d'abord que la racine soit définie, donc que

. Il faut a priori exclure l'intervalle
]-1,+1[.
On se place tout d'abord dans la zone où
 \ge 0)
, soit pour

Alors, il est clair que -2x-3 est négatif ou nul et comme

est lui positif ou nul forcément

!
Cela nous donne donc déjà toute la zone de

à

comme solution, d'où l'on doit bien sûr retirer la zone où la racine n'est pas définie, c'est-à-dire l'intervalle ]-1,+1[. Donc pour cette zone où
 \ge 0)
on a pour solutions

Voyons à présent le reste : la zone où
 0)
Les deux expressions de gauche sont positives. Et on peut dire que

On tombe alors sur les expressions que tu as trouvées :


Ceci se résoud classiquement : si

et

sont les deux racines de ce trinôme, avec

, on trouve :


Le trinôme

est négatif où nul pour

.
Mais nous nous sommes restreint à la zone où

et comme

, la solution de notre problème dans la zone où

se réduit à l'intervalle

L'ensemble des solutions de notre problème est la réunion des solutions obtenues dans la zone où

et de celles obtenues dans la zone où

:

J'ai envisagé d'étudier la fonction f définie par
=\sqrt(x^2-1)+2x+3)
pour résoudre le problème, mais la dérivée f ' de cette fonction est du même genre et étudier son signe pose exactement le même type de problème qu'étudier le signe de f : cela n'avance donc à rien.
On peut cependant vérifier l'exactitude de cette solution en tracant le graphe de la fonction f. On constate effectivement que la courbe semble couper une seule fois l'axe des x en un point d'abscisse

. J'ai également tracé sur le même graphique la fonction définie pas g(x)=2x+3 en rouge.

Je rappelle une règle essentielle, euh, plutôt l'absence essentielle d'une règle :
Aucune règle ne dit que

A fortiori, Aucune règle ne dit non plus que
Ceci est FAUX !Par contre on démontre que si

, cela
implique que

mais la réciproque est fausse.