Disequazione

Una disequazione, in matematica, è una relazione di disuguaglianza tra due espressioni che contengono delle incognite^[1]. In altri termini, dette ${\displaystyle f}$ e ${\displaystyle g}$ due funzioni reali definite in un insieme ${\displaystyle A}$, una disequazione nella variabile ${\displaystyle x}$ (inclusa la possibilità che ${\displaystyle x=x_{1},\dots ,x_{n}}$ corrisponda a più variabili) è un'espressione che assume una delle quattro forme:

${\displaystyle f(x)>g(x),\qquad f(x)<g(x),\qquad f(x)\geq g(x),\qquad f(x)\leq g(x).}$

Risolvere una disequazione significa esplicitare l'insieme di valori ${\displaystyle x}$ che rendono la disuguaglianza soddisfatta. Tipicamente (quando ${\displaystyle x\in \mathbf {R} }$, ${\displaystyle f}$ e ${\displaystyle g}$ sono continue) l'insieme delle soluzioni è una unione (finita o numerabile) di intervalli disgiunti.

Due disequazioni si dicono equivalenti se i rispettivi insiemi delle soluzioni coincidono. Vi sono due principi che consentono di manipolare le disequazioni per trovare l'insieme delle soluzioni; essi sono una conseguenza diretta delle proprietà delle disuguaglianze^[2]:

1. Principio di addizione (o primo principio di equivalenza): aggiungendo o sottraendo ai due membri di una disequazione una stessa espressione, si ottiene una disequazione equivalente. Ciò implica che si può eliminare da entrambi i membri uno stesso termine oppure spostarlo da un membro all'altro cambiandolo di segno (che equivale ad aggiungere il suo opposto). Ad esempio, la disequazione ${\displaystyle x+2>3-x}$ è equivalente a ${\displaystyle 2x>1}$ (abbiamo sommato ${\displaystyle x-2}$ ad ambo i membri).
2. Principio di moltiplicazione (o secondo principio di equivalenza): moltiplicando o dividendo i due membri di una disequazione per una stessa espressione che sia sempre positiva si ottiene una disequazione equivalente alla data; moltiplicando o dividendo per un'espressione negativa, la disequazione sarà controversa alla data. Ciò implica che si può cambiare il segno a tutti i termini di entrambi i membri, purché si cambi anche il verso della disequazione (in effetti, ciò equivale a moltiplicare per ${\displaystyle -1\;}$). Ad esempio la disequazione ${\displaystyle 2x>1}$ è equivalente a ${\displaystyle x>{\frac {1}{2}}}$ (abbiamo moltiplicato ambo i membri per ${\displaystyle {\frac {1}{2}}}$).
3. Principio di invarianza: in generale applicando una funzione strettamente crescente ad ambo i membri di una disequazione, si ottiene una disequazione equivalente, applicando invece una funzione strettamente decrescente si inverte il segno della diseguaglianza. I due principi precedenti corrispondono ad applicare una funzione lineare ${\displaystyle mx+q}$.

Applicando il principio di addizione, e sottraendo il membro destro ad ambo i membri di una disequazione, lo studio di una qualunque disequazione si riconduce allo studio del segno di una funzione: ${\displaystyle f(x)>0}$, ${\displaystyle f(x)=0}$, ${\displaystyle f(x)<0}$.

Quando la funzione ${\displaystyle f(x)}$ di cui si vuole determinare il segno è un polinomio, si parla di disequazione algebrica. Nel caso in cui si riescano a determinare le radici del polinomio, il segno del polinomio può essere determinato facilmente: il polinomio si annulla nell'insieme delle radici, cambia segno ogni volta che si attraversa una radice di molteplicità dispari, mantiene il segno quando si attraversano radici di molteplicità pari. Una volta determinato il segno in un punto qualunque è quindi possibile derivare il segno in ogni intervallo delimitato da radici (compresi i due intervalli illimitati all'esterno della prima e ultima radice del polinomio). A seconda del grado del polinomio ${\displaystyle f(x)}$ si parlerà in particolare di: disequazioni lineari, disequazioni quadratiche, disequazioni cubiche, disequazioni intere, disequazioni fratte^[2].

Le disequazioni della forma ${\displaystyle {\sqrt[{n}]{f(x)}}\gtreqless g(x)}$ si chiamano disequazioni irrazionali^[3]. Le disequazioni della forma ${\displaystyle |f(x)|\gtreqless g(x)}$ sono dette disequazioni con il valore assoluto. Disequazioni che contengono funzioni trascendenti si chiamano invece disequazioni trascendenti e a seconda del tipo di funzioni coinvolte si possono classificare in disequazioni esponenziali, disequazioni logaritmiche, disequazioni trigonometriche.

• Massimo Bergamini, Anna Trifone, Graziella Barozzi, Matematica.Blu-Volume 2, Zanichelli, 2010, ISBN 978-88-08-31344-7.

• Disuguaglianza (matematica)
• Equazione
• Teoria degli ordini

• Wikizionario contiene il lemma di dizionario «disequazione»
• Wikimedia Commons contiene immagini o altri file sulle disequazione

• disequazione, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• Disequazione, in Dizionario delle scienze fisiche, Istituto dell'Enciclopedia Italiana, 1996.
• diṡequazióne, su Vocabolario Treccani, Istituto dell'Enciclopedia Italiana.
• disequazióne, su sapere.it, De Agostini.
• disequazione, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Eric W. Weisstein, Inequation, su MathWorld, Wolfram Research.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica