outiat
2022-10-19 16:27:55
(<-> = équivaut)
Soient a et b deux réels plus grand que 0. On sait que a <= b <-> a^2 <= b^2.
Pour en revenir au problème posé, nous savons que
sqrt(Ksqrt(q)) = K + 1 <-> Ksqrt(q) = (K + 1)^2. (d'après le théorème du dessus)
Après simplification, nous obtenons k^2 + k(2 - sqrt(q)) + 1 = 0.
Le nombre de solutions d'une fonction de degré deux dépend de la valeur du discriminant qui est
delta = (2 - sqrt(q))^2 - 4 = q - 4sqrt(q).
Nous savons que l'équation a :
0 solution si delta < 0.
1 solution si delta = 0. (double solution)
2 solutions si delta > 0.
Nous résolvons donc l'inéquation delta >= 0. Nous avons
q - 4sqrt(q) >= 0 <-> -4sqrt(q) >= -q <-> 4sqrt(q) <= q.
Nous savons que q > 0 et que pour tout x >= 0, sqrt(x) >= 0.
Nous en déduisons 4sqrt(q) <= q <-> 4 <= q/sqrt(q).
Après rationalisation du dénominateur et simplification, nous obtenons
4 <= sqrt(q) <-> 16 <= q.
Nous en concluons que l'équation sqrt(Ksqrt(q)) = K + 1 admet au moins une solution si et seulement si q >= 16.