
L'addizione (denotata normalmente dal simbolo del più, "+") è una delle quattro operazioni fondamentali dell'aritmetica, insieme alla sottrazione, alla moltiplicazione e alla divisione. L'addizione di due numeri naturali può essere definita in termini insiemistici. Per sommare due numeri naturali "a" e "b", si considerano due insiemi "A" e "B" che abbiano, rispettivamente, "a" e "b" come numero di elementi, e che siano disgiunti (cioè non abbiano elementi in comune). Allora il risultato dell'addizione di "a" e "b" è il numero di elementi dell'insieme unione di "A" e "B" (l'insieme "A" ∪ "B").
Ad esempio, se in un sacchetto abbiamo tre mele e in un altro sacchetto abbiamo due mele, mettendo insieme il contenuto dei due sacchetti avremo cinque mele. Questa osservazione è equivalente all'espressione matematica "3 + 2 = 5", ovvero "3 più 2 è uguale a 5".
L'addizione può essere definita anche su quantità più astratte, quali i numeri interi relativi, i numeri razionali, i numeri reali e i numeri complessi, e su altri oggetti matematici quali i vettori e le matrici.
L'addizione gode di alcune proprietà basilari. È commutativa, ovvero cambiando l'ordine degli addendi la somma non cambia. È associativa, ovvero quando si sommano più di due numeri, il risultato è lo stesso indipendentemente dall'ordine in cui vengono effettuate le addizioni. Lo zero è l'elemento neutro dell'addizione, ovvero sommare zero ad un numero lascia quel numero invariato.
I numeri o termini coinvolti nell'addizione sono collettivamente detti addendi, e il risultato dell'addizione è la loro somma.
Se gli addendi sono scritti individualmente, l'addizione è rappresentata dal carattere "+", che si interpone tra un termine e l'altro. Tra la sequenza degli addendi e la loro somma si interpone il simbolo dell'uguaglianza, "=". Sono addizioni valide:
e la prima di queste si legge, indifferentemente,
Negli scritti precedenti al XVI secolo è possibile trovare un altro simbolo indicante l'addizione. Si tratta di una "P" in corsivo che rimpiazzava la parola "più".
Se i termini non sono scritti individualmente, ma la sequenza degli addendi si ricava facilmente dalla scrittura, la somma si può indicare con un'ellissi ("...") per indicare i termini mancanti: la somma dei numeri naturali da 1 a 100 si può dunque scrivere come 1 + 2 + … + 99 + 100 = 5050.
In alternativa, la somma può essere rappresentata con il simbolo di sommatoria, rappresentato dalla lettera greca Sigma maiuscola. In particolare, data una sequenza di numeri denotati con formula_4, la somma degli "n-m+1" compresi fra quello di posizione "m" e quello di posizione "n" può essere espressa con la scrittura
Il simbolo "+" è un'abbreviazione della parola latina "et", che significa "e". Il suo uso in opere a stampa è attestato sin dal 1486.
Una delle interpretazioni dell'addizione è quella della combinazione di insiemi: 
Questa interpretazione, facile da visualizzare, è anche alla base della definizione formale di addizione tra numeri cardinali.
Una seconda interpretazione dell'addizione è data dall'estensione di una lunghezza (intera) di partenza in termini di una lunghezza (intera) data: 
Questa interpretazione è alla base della definizione formale di addizione tra numeri ordinali.
L'addizione è un'operazione "commutativa", ovvero cambiando l'ordine degli addendi il risultato non cambia: 
Ad esempio: formula_7
L'addizione è un'operazione "associativa", ovvero quando si sommano tre o più addendi, l'ordine delle operazioni non influisce sul risultato:
Ad esempio: formula_9
Aggiungere zero ad un numero qualunque lascia quel numero invariato; in altre parole, lo zero è l'elemento neutro dell'addizione. In formule,
Per eseguire velocemente un'addizione fra numeri naturali, si allineano in colonna gli addendi, partendo dalla cifra delle unità a destra. Dopodiché si sommano le cifre di ciascuna colonna, da destra verso sinistra, e nell'eventualità che il risultato della somma su di una colonna sia maggiore o pari a dieci, si "riportano" le decine in eccesso come ulteriore addendo sulla colonna immediatamente a sinistra a quella appena calcolata.
Ad esempio, nell'addizione 27 + 59,
7 + 9 = 16, e la cifra 1 è il riporto.
Il metodo discusso sopra può essere applicato per sommare due qualunque numeri naturali ad "n" cifre "A"=a...aa e "B"=b...bb (nel caso il numero di cifre di "A" e "B" sia diverso, è sufficiente aggiungere il numero appropriato di zeri in testa al numero con meno cifre). In pseudocodice, l'algoritmo è il seguente:
Seguendo un metodo simile a quello descritto sopra si possono sommare anche due frazioni decimali. Si allineano i due numeri decimali in modo tale che la virgola sia nella stessa posizione. Se necessario, si aggiungono degli zeri in coda al numero più corto perché abbia lo stesso numero di cifre di quello più lungo. Infine, si segue il procedimento visto sopra, con l'unica accortezza di aggiungere la virgola al risultato nella stessa posizione in cui compare nei due addendi. Ad esempio, 45,1 + 4,34 si svolge nel seguente modo:
Questa estensione del metodo fu divulgata da Simone Stevino.
Nella teoria dell'algebra astratta si può chiamare "addizione" una qualunque operazione associativa e commutativa definita su un insieme, che sia dotata di un elemento neutro. Una struttura algebrica che includa una simile operazione è detta "monoide commutativo".
Già gli antichi Egizi avevano un semplice metodo per sommare numeri naturali. Nella notazione geroglifica, i numeri venivano indicati ripetendo una quantità appropriata di simboli rappresentanti le unità, le decine, le centinaia, eccetera. Per ottenere la somma di due numeri, quindi, era sufficiente combinare le unità, poi le decine, poi le centinaia, e così via, con l'accortezza di rimpiazzare eventuali gruppi di dieci simboli identici con un simbolo del tipo successivo. 
Ad esempio, per sommare 783 e 275, si combina
Il metodo di addizione posizionale moderno era sicuramente già noto in India intorno all'anno 600 d.C., ma è assai plausibile che lo stesso genere di algoritmo fosse già utilizzato dai Babilonesi in Mesopotamia nel 1700 a.C., anche se in un sistema sessagesimale anziché decimale.
In Europa, l'algoritmo di addizione moderno fu introdotto nel XII secolo attraverso la traduzione degli scritti del matematico persiano al-Khwarizmi.


Un'equazione (dal latino "aequatio") è una uguaglianza matematica tra due espressioni contenenti una o più variabili, dette "incognite". L'uso del termine risale a Leonardo Fibonacci.
Se un'equazione ha formula_1 incognite, allora ogni formula_1-upla (ordinata) di elementi che sostituiti alle corrispondenti incognite rendono vera l'uguaglianza è una "soluzione" dell'equazione. Risolvere un'equazione significa individuare l'insieme di tutte le sue soluzioni.
Il "dominio" (o "insieme di definizione") delle variabili incognite è l'insieme degli elementi per cui le espressioni ad ambo i membri dell'equazione sono definite, ovvero quell'insieme di numeri per cui l'equazione esiste. L'insieme delle soluzioni è condizionato dal dominio: per esempio l'equazione
non ammette soluzioni se il dominio è l'insieme dei numeri razionali, mentre ammette due soluzioni nei numeri reali, che possono essere scritte come formula_4. Analogamente, l'equazione
non possiede soluzioni reali ma è risolvibile se il dominio è il campo dei numeri complessi.
Due equazioni si dicono "equivalenti" se i rispettivi insiemi delle soluzioni coincidono. Vi sono due principi che consentono di manipolare le equazioni per trovare l'insieme delle soluzioni; essi sono una conseguenza diretta delle proprietà delle uguaglianze:
Tipicamente in un'equazione compaiono, oltre alle incognite, dei coefficienti noti che moltiplicano le incognite stesse e dei termini noti che sono ad esse applicati tramite somma algebrica: questi elementi, se non sono esplicitati nel loro valore numerico, sono indicati in genere con le lettere formula_13, formula_14, formula_15... mentre alle variabili incognite sono convenzionalmente attribuite le ultime lettere dell'alfabeto (formula_16, formula_17, formula_18...).
Le soluzioni di un'equazione vengono generalmente indicate esplicitando le incognite delle espressioni che contengano le costanti ed eventuali parametri arbitrari. Ad esempio, la soluzione dell'equazione
dove formula_13 è un parametro non nullo, e il dominio è l'insieme dei numeri reali, si scrive come
Un'equazione si dice:
Dal teorema fondamentale dell'algebra, segue immediatamente che un'equazione polinomiale (cioè formata da un polinomio uguagliato a zero, in una variabile) di grado formula_1 ammette sempre formula_1 soluzioni nel campo complesso, di cui alcune possono essere multiple. In altre parole, un'equazione di grado formula_1 ammette almeno formula_25 soluzione e al massimo formula_1 soluzioni complesse differenti.
Per il teorema di Abel-Ruffini, non esiste una formula generale per esprimere le radici delle equazioni polinomiali di grado formula_27 o superiore tramite una formula per radicali. Viceversa le equazioni di primo grado, secondo grado, terzo grado e quarto grado ammettono una formula risolutiva generica. Casi particolari di equazioni di grado superiore al quarto possono comunque essere risolti tramite radicali.
Il metodo delle tangenti di Newton, sotto determinate ipotesi, fornisce un algoritmo per la risoluzione numerica delle equazioni. Un altro algoritmo con ipotesi più generali è il metodo di bisezione. Le soluzioni trovate mediante metodi numerici vengono chiamate "approssimate" in contrapposizione alle soluzioni date da formule chiuse che vengono chiamate "esatte". La nomenclatura è in parte fuorviante perché i metodi approssimati possono, in alcuni casi, determinare in maniera più precisa e più veloce le soluzioni numeriche di una equazione rispetto alle formule chiuse.
Una prima classificazione delle equazioni può avvenire in questo modo:
Le equazioni algebriche possono essere divise in vari gruppi in base alle loro caratteristiche; è necessario ricordare che un'equazione deve appartenere ad almeno e solo una delle categorie per ogni gruppo.
In base al grado del polinomio:
Possono inoltre essere divise in base alla presenza di incognite al radicando di radici:
Si definisce "equazione omogenea", un'equazione algebrica in più variabili i cui termini hanno tutti lo stesso grado. Un'equazione omogenea ammette sempre la soluzione banale con tutte le variabili uguali a formula_28 e, su un campo algebricamente chiuso, ammette sempre infinite soluzioni, infatti da ogni soluzione se ne ottengono infinite altre alterandole per un fattore di proporzionalità. Ad esempio:
ha per soluzioni, sul campo dei numeri complessi la coppia formula_30 e formula_31 e la coppia formula_32 e formula_33 con formula_34 e formula_35 numeri complessi qualsiasi.
Non è vero su un campo non algebricamente chiuso, infatti l'equazione omogenea
ammette come unica soluzione, sul campo dei numeri reali, la coppia formula_37 e formula_38.
Le equazioni trascendenti coinvolgono almeno un'incognita come argomento di una funzione non polinomiale. Le più comuni categorie di equazioni trascendenti sono:
Le equazioni con valori assoluti contemplano oltre le incognite la presenza del valore assoluto di espressioni algebriche o trascendenti. Possiamo aver quindi:
Le equazioni funzionali hanno almeno un'incognita che è una funzione. Le più comuni categorie di equazioni funzionali sono:
In base alla presenza di altre espressioni letterali tutte le equazioni possono essere divise in:
