Risoluzione di un'equazione

trovare valori per le variabili che rendono verificate le equazioni
Voce principale: Equazione.

In matematica, per risolvere un'equazione si intende la ricerca degli elementi (numeri, funzioni, insieme, ecc.) che soddisfino la rispettiva equazione (due espressioni unite da un'uguaglianza). Queste espressioni contengono una o più incognite, che sono variabili libere per le quali sono cercati i valori che fanno sì che la condizione espressa dall'equazione sia soddisfatta. Per essere precisi, di solito si intende che questi valori non sono necessariamente valori reali, ma, in realtà, spesso sono espressioni matematiche. Una soluzione dell'equazione è un'assegnazione di espressioni alle incognite che soddisfi l'equazione, in altre parole, quando questi risultati vengono sostituiti alle incognite, l'equazione diventa una tautologia (un'affermazione dimostrabilmente vera).

Per esempio, l'equazione

è risolvibile nell'incognita da

in quanto sostituendo con l'equazione sarà , un'affermazione vera. È anche possibile prendere in considerazione la variabile , e quindi la soluzione questa volta sarà . Oppure and possono essere trattate entrambe come incognite, e in questo caso ci sono più soluzioni dell'equazione, tra cui, ad esempio, (cioè e ), , ed in generale per ogni valore possibile .

A seconda del problema, il compito potrebbe essere quello di trovare una soluzione, o qualche soluzione, o tutte le soluzioni. L'insieme di tutte le soluzioni è detto insieme delle soluzioni. È anche possibile che l'obiettivo sia quello di trovare, tra le possibili, la soluzione migliore sotto qualche aspetto. Problemi di questo tipo sono chiamati problemi di ottimizzazione; risolvere un problema di ottimizzazione non è in genere chiamato "risoluzione di un'equazione".

Un'affermazione come "un'equazione in e ", o "risolvere per e ", significa che le incognite sono quelle indicate: in questo caso e .

Principi di equivalenza modifica

  • Primo principio di equivalenza: data un'equazione, aggiungendo o sottraendo ad entrambi i membri uno stesso numero o una stessa espressione contenente l'incognita si ottiene un'equazione equivalente, a patto che, nel caso di aggiunta di un'espressione dipendente da un'incognita, non vengano ristrette le condizioni di esistenza.
    Esempio:
 
 
 
  • Regola del trasporto: data un'equazione, trasportando un termine da un membro all'altro e cambiandolo di segno si ottiene un'equazione equivalente.
    Esempio:
 
 
  • Regola di cancellazione: data un'equazione, se ci sono termini uguali presenti in entrambi i membri, essi possono essere cancellati ottenendo un'equazione equivalente
    Esempio:
 
 
  • Secondo principio di equivalenza: data un'equazione, moltiplicando o dividendo ambedue i membri per un numero diverso da zero, o per un'espressione contenente l'incognita che non si annulli qualunque sia il valore dell'incognita stessa, e che non restringa le condizioni di esistenza, si ottiene un'equazione equivalente.
    Esempio:
 
 
 
 
  • Regola del cambiamento di segno: data un'equazione, cambiando segno a tutti i termini di entrambi i membri si ottiene un'equazione equivalente.
    Esempio:
 
 
 

Panoramica modifica

In un caso generale, abbiamo una situazione come:

 

dove   è una costante, che ha un insieme delle soluzioni   della forma:

 

dove   è il dominio della funzione. Si noti che l'insieme delle soluzioni può avere cardinalità arbitraria. Ad esempio:

  • può essere vuoto (cioè non ci sono soluzioni). L'insieme vuoto è indicato con il simbolo   oppure  ,
  • può essere un singoletto (cioè c'è esattamente una soluzione),
  • può essere un insieme con un numero finito di elementi (ad esempio, ci sono 2, 7 o 101 soluzioni),
  • può essere un insieme con un numero infinito di elementi (ci sono infinite soluzioni). L'infinito è indicato con il simbolo " ".

Ad esempio, un'espressione come:

 

può essere risolto, per prima cosa si cerca di riscriverla in modo più leggibile matematica senza però modificare l'uguaglianza ad esempio possiamo portare tutto al primo membro sottraendo   da entrambi i lati dell'equazione ottenendo:

 

In questo caso particolare non vi è solo uno soluzione dell'equazione, ma un insieme infinito di soluzioni, che può essere scritto:

 

Una particolare soluzione è  ,  ,  . In realtà, questo particolare insieme di soluzioni descrive un piano in tre dimensioni, che passa per il punto  

Insieme delle soluzioni modifica

se l'insieme delle soluzioni è vuoto, allora non ci sono   tali che:

 

diventa vera per un determinato  .

Per esempio, esaminiamo il classico caso di una variabile, data una funzione:

 

Consideriamo l'equazione:

 

L'insieme soluzione è  , in quanto nessun numero reale positivo risolve l'equazione. Tuttavia nel tentativo di trovare la soluzioni per l'equazione, se si modifica la definizione della funzione, più specificamente, della funzione del dominio, siamo in grado di trovare la soluzioni a questa equazione. Quindi, se definiamo:

 
 

ha una serie di soluzioni  , dove   è l'unità immaginaria. Questa equazione ha esattamente due soluzioni.

Abbiamo già visto che alcuni insiemi di soluzioni sono in grado di descrivere le superfici. Per esempio, nello studio della matematica elementare, si sa che l'insieme delle soluzioni di un'equazione in forma   con  ,  , e   numeri reali a valori costanti, rappresenta una linea in uno spazio vettoriale   (cioè bidimensionale). Tuttavia, non sempre è facile rappresentare graficamente l'insiemi delle soluzioni. Per esempio, la soluzione di un'equazione della forma   (con  ,  ,  ,  , e   valori reali costanti) è un iperpiano  .

Metodi risolutivi modifica

I metodi per risolvere le equazioni, in generale, dipendono dal tipo di equazione, sia il tipo di espressioni nell'equazione che il tipo di valori che possono assumere le incognite. La varietà di tipi di equazioni è vasta, tanto quando i corrispondenti metodi risolutivi. Di seguito saranno trattati solo alcuni tipi specifici, un completo esame non è possibile.

In generale, data una classe di equazioni, può accadere che non esista un metodo sistematico (algoritmo) che garantisce la soluzione. Ciò può essere dovuto ad una mancanza di conoscenze matematiche, infatti alcuni problemi sono stati risolti solo dopo secoli di sforzo. Ma questo fa riflettere anche che, in generale, tale metodo non può esistere: alcuni problemi sono noti per essere irrisolvibili da un algoritmo, come il decimo problema di Hilbert, che è stato dimostrato irrisolvibile nel 1970.

Per le diverse classi di equazioni sono stati trovati algoritmi per risolverli, alcuni dei quali sono stati attuati e inseriti in sistemi di algebra computazionale, ma spesso richiedono solo carta e penna. In altri casi, i metodi euristici conosciuti hanno spesso successo, ma non è garantito che portino al successo.

Forza bruta, a tentativi ed errori, intuizione ispirata modifica

Se la soluzione di un'equazione è limitata, cioè è un insieme finito (come nel caso delle equazioni in aritmetica modulare, per esempio), o può essere limitata a un numero finito di possibilità (come nel caso di alcune equazioni diofantee), l'insieme delle soluzioni può essere trovato con la forza bruta, cioè verificando tutti i possibili valori e controllando se essi risolvono l'equazione. Può succedere, però, che il numero di possibilità da considerare, anche se finito, sia così grande che una ricerca con questo metodo è praticamente impossibile; su questa difficoltà si basano alcuni metodi di crittografia.

Come con tutti i tipi di problemi, procedere per tentativi ed errori può talvolta produrre una soluzione, in particolare quando la forma di un'equazione, o la sua somiglianza ad un'altra equazione nota (già risolta), possa portare ad un'intuizione ispirata della soluzione. Se un'intuizione, quando venga testata, non porta una soluzione, lo studio del modo in cui essa non funziona può portare ad una modifica e quindi alla soluzione.

Algebra elementare modifica

Equazioni che coinvolgono semplici funzioni razionali o lineare, con una sola incognita appartenente al insieme dei reali, diciamo  , come:

 

può essere risolta con metodi di algebra elementare, e applicando i principi di equivalenza.

Sistema di equazioni lineari modifica

I piccoli sistemi di equazioni lineari possono essere risolti con i metodi dell'algebra elementare. Per la risoluzione di sistemi di grandi dimensioni numeriche, gli algoritmi utilizzati si basano sull'algebra lineare.

Equazioni polinomiali modifica

  Lo stesso argomento in dettaglio: Polinomi e Teorema di Abel-Ruffini.

I polinomi con grado minore al quinto possono essere risolte con metodi algebrici, tra cui ad esempio la formula quadratica è la più semplice. Equazioni polinomiali con un grado superiore al quinto richiedono metodi numerici (vedi sotto) o funzioni speciali come il trasporto di radicali.

Equazioni diofantee modifica

Nelle equazioni diofantee le soluzioni devono appartenere ai numeri interi. In alcuni casi per risolverle può essere utilizzato un approccio mediante forza bruta, come indicato sopra. In altri casi, in particolare se l'equazione è ad una incognita, è possibile risolvere l'equazione per i valori razionali dell'incognita (vedi Teorema delle radici razionali), e quindi per trovare le soluzioni dell'equazione diofantea si limita la soluzione solo ai valori interi dell'insieme delle soluzioni. Ad esempio, l'equazione polinomiale

 

ha come soluzioni razionali   e  , ma essendo un'equazione diofantea l'unica soluzione è  .

Funzione inversa modifica

  Lo stesso argomento in dettaglio: Problema inverso.

Nel semplice caso di una funzione ad una variabile, per esempio,  , possiamo risolvere un'equazione con la forma:

 , con   costante

considerando che è nota la funzione inversa di  .

Infatti, data una funzione  , la funzione inversa (indicata con  ) e determinata da   è funzione tale che:

 

Ora, se applichiamo la funzione inversa a entrambi i membri della funzione:

 , con   costante

otteniamo

 
 

e abbiamo trovato la soluzione dell'equazione. Tuttavia, a seconda della funzione, la funzione inversa può essere difficile da definire, o non può essere una funzione inversa se tutti i valori dell'insieme di   (o un sottoinsieme) non hanno un solo valore in  .

Esempi di funzioni inverse includono la radice n-esima (l'inverso di  ), il logaritmo (l'inverso di  ), le funzioni trigonometriche inverse, e la funzione W di Lambert (l'inversa di  ).

Fattorizzazione modifica

Se il membro sinistro, cioè l'espressione  , di un'equazione   può essere fattorizzato in  , l'insieme delle soluzioni originale è costituito dall'unione della soluzione dei due insiemi di equazioni   e  .
Ad esempio, l'equazione goniometrica:

 

può essere riscritta in:

 

che può essere fattorizzata, utilizzando l'identità   (a condizione che i componenti siano definiti), diventando:

 

Le due equazioni   e   hanno l'identico insieme delle soluzioni

 

che è, quindi, la soluzione dell'equazione originale.

Metodi numerici modifica

Con equazioni più complesse in reali o numeri complessi, i metodi semplici per risolvere l'equazioni possono fallire. Spesso, si può calcolare uno zero della funzione con metodi numerici come il metodo di Newton-Raphson che, per alcune applicazioni, può essere completamente sufficiente per risolvere certi problemi.

Serie di Taylor modifica

Un importante studio della matematica è volto ad esaminare se sia possibile generare qualche semplice funzione per approssimare un'equazione molto complessa ad punto dato. In effetti, polinomi in una o più variabili possono essere utilizzati per approssimare in questo modo le funzioni: queste sono note come serie di Taylor.

Equazioni matriciali modifica

Le equazioni che coinvolgono matrici e vettori di numeri reali possono spesso essere risolte utilizzando metodi di algebra lineare.

Equazioni differenziali modifica

C'è un vasto elenco di metodi per risolvere vari tipi di equazioni differenziali, sia numericamente che analiticamente. Un metodo per la ricerca di soluzioni analitiche a tempo indeterminato è l'algoritmo di Risch - che purtroppo è troppo complicato per l'uso con carta e penna.

Collegamenti esterni modifica

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