Una disequazione irrazionale è una disequazione che chiede a un radicale di stare sotto, sopra o
uguale a qualcosa: la chiave è leggere bene chi è positivo e chi negativo, prima di pensare al
quadrato.”
Dopo le equazioni irrazionali (capitolo 52) e le disequazioni di secondo grado e fratte
(capitoli 53, 54), arriviamo all’ultimo grande capitolo di algebra del biennio: le disequazioni
irrazionali, in cui l’incognita compare sotto radice e si chiede non un’uguaglianza ma una
disuguaglianza.
La differenza rispetto alle equazioni irrazionali è sottile ma fondamentale: \(\sqrt {f(x)}\ge g(x)\) non si risolve
semplicemente elevando al quadrato. Il segno del membro destro è decisivo: se \(g(x)<0\), la disuguaglianza è
automaticamente vera (un radicale è sempre \(\ge 0\), dunque sicuramente \(\ge \) qualcosa di negativo); se \(g(x)\ge 0\), allora
possiamo elevare al quadrato in modo equivalente. L’analisi va condotta separatamente nei due
casi.
In questo capitolo presentiamo la tecnica per casi per le due strutture fondamentali \(\sqrt {f}\le g\) e \(\sqrt {f}\ge g\), il caso \(\sqrt {f}\ge \sqrt {g}\),
e il caso con indice dispari. Sono gli ultimi strumenti che ci servono per affrontare lo studio delle
funzioni razionali e irrazionali in analisi (capitoli 139 e seguenti).
(il primo blocco copre il caso \(g(x)<0\), in cui basta esistere il radicale; il secondo blocco gestisce
\(g(x)\ge 0\) con elevamento al quadrato).
Dimostrazione (idea).
Se \(g(x)<0\): \(\sqrt {f(x)}\ge 0 > g(x)\) è automaticamente vera, basta che il radicale esista (\(f(x)\ge 0\)).
Se \(g(x)\ge 0\): entrambi i membri \(\ge 0\), si può elevare al quadrato in modo equivalente, \(\sqrt {f}\ge g\iff f\ge g^2\). (Nota: \(f\ge g^2\ge 0\) implica
\(f\ge 0\), dunque la condizione di esistenza è automatica.)
Esempio 55.2
Risolvere \(\sqrt {x+5} \ge x - 1\).
Soluzione. Caso 1: \(x-1 < 0\), ossia \(x<1\). Servono \(x+5\ge 0\) (i.e. \(x\ge -5\)) e \(x<1\). Intersezione: \(-5\le x<1\).
Caso 2: \(x-1\ge 0\), ossia \(x\ge 1\). Servono \(x+5\ge (x-1)^2\), ossia \(x+5\ge x^2-2x+1\), cioè \(x^2-3x-4\le 0\). \(\Delta = 9+16=25\), radici \(-1, 4\). Quindi \(-1\le x\le 4\), intersezione con \(x\ge 1\): \(1\le x\le 4\).
Unione dei due casi: \(-5\le x\le 4\), cioè \([-5, 4]\).
Figura 55.1: Schemi risolutivi per le due forme fondamentali di disequazione irrazionale. La
forma \(\sqrt {f}\le g\) richiede un unico sistema di tre condizioni. La forma \(\sqrt {f}\ge g\) richiede l’unione di due sistemi
distinti, uno per ogni segno di \(g\).
Per le disuguaglianze strette (\(<\) o \(>\)) la struttura è la stessa, con qualche aggiustamento:
\(\sqrt {f(x)} < g(x)\): stesso sistema di \(\le \), ma con \(g(x)>0\) stretto (perché \(g(x)=0\) darebbe \(\sqrt {f}<0\) impossibile) e \(f(x)<g(x)^2\) stretto.
\(\sqrt {f(x)} > g(x)\): stessa unione di sistemi del \(\ge \), con \(g(x)<0\) (la condizione \(g\le 0\) è incorporata) e \(f(x)>g(x)^2\) stretto nel secondo
caso.
Nota — Caso \(g(x)<0\) stretto
Quando il secondo membro è strettamente negativo e abbiamo \(\sqrt {f(x)}\ge g(x)\) o \(\sqrt {f(x)}>g(x)\), la disuguaglianza
è automaticamente vera (basta che il radicale esista). È un caso “gratis” che rende la
soluzione spesso più ampia di quanto ci si aspetterebbe.
(prima si verifica l’esistenza dei radicali, poi si confrontano i radicandi).
Dimostrazione (idea). Entrambi i membri sono \(\ge 0\) per la definizione dei radicali, dunque
l’elevamento al quadrato è equivalente: \(\sqrt {f}\ge \sqrt {g}\iff f\ge g\). Va però imposta l’esistenza di entrambi i radicali.
Sapendo che \(\sqrt {f}\ge 0\) sempre, deduci immediatamente la soluzione di: (a) \(\sqrt {x^2+1}\ge -3\) (cosa puoi dire
subito?); (b) \(\sqrt {x^2+1}\le -3\).
8.
Per quali \(x\) vale \(\sqrt {x+1}<x-1\)? (Caso \(\sqrt {f}<g\).)
9.
(Discussione.) Spiega perché nel caso \(\sqrt {f}\ge g\) servono due sistemi alternativi, mentre nel caso
\(\sqrt {f}\le g\) ne basta uno solo. (Suggerimento: ragiona sul segno di \(g\) e su cosa succede quando \(g<0\).)
Una disequazione irrazionale ha l’incognita sotto radice. Il segno del secondo membro
è determinante perché un radicale (indice pari) è sempre \(\ge 0\).
Caso \(\sqrt {f(x)}\le g(x)\): equivalente a un unico sistema