Addizione

operazione aritmetica
Disambiguazione – Se stai cercando la reazione chimica di addizione, vedi Reazione di addizione.

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 AB).

1+1=2

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".

3 + 2 = 5 usando le mele.

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.

Notazione

modifica

I numeri o termini coinvolti nell'addizione sono collettivamente detti addendi, e il risultato dell'addizione è la loro somma.[1]

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:

 
Il simbolo dell'addizione
 
 
 

e la prima di queste si legge, indifferentemente,

  • "tre più due è uguale a cinque",
  • "tre più due uguale cinque",
  • o anche, sottintendendo il segno di uguale, soprattutto nelle addizioni brevi, nella forma "tre più due cinque"; oppure usare il monosillabo "fa" "tre più due fa cinque".

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ù".[2]

 
Il precedente simbolo dell'addizione. Una P in corsivo.

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  , 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.[3]

Interpretazione intuitiva

modifica

Combinazione di insiemi

modifica

Una delle interpretazioni dell'addizione è quella della combinazione di insiemi:

  • Quando due o più collezioni disgiunte vengono combinate in un'unica collezione, il numero di oggetti nella collezione risultante è la somma dei numeri di oggetti nelle collezioni originali.[4]

Questa interpretazione, facile da visualizzare, è anche alla base della definizione formale di addizione tra numeri cardinali.[5]

Estensione di lunghezze

modifica
 
Una rappresentazione grafica dell'addizione 2 + 4 = 6. Una traslazione di 2 unità seguita da 4 traslazioni di 1 unità è equivalente ad una traslazione di 6 unità.

Una seconda interpretazione dell'addizione è data dall'estensione di una lunghezza (intera) di partenza in termini di una lunghezza (intera) data:

  • La lunghezza corrispondente alla somma di due lunghezze a e b è ottenuta aumentando la lunghezza a di una unità per b volte.[1]

Questa interpretazione è alla base della definizione formale di addizione tra numeri ordinali.

Definizione formale

modifica

A partire dalla funzione successore, introdotta dagli assiomi di Peano per definire un modello per i numeri naturali, si può formulare ricorsivamente una definizione rigorosa di addizione tra naturali.

Sia pertanto   un modello per i numeri naturali dove   è la funzione successore che soddisfa gli assiomi di Peano. L'addizione in   è quindi l'operazione binaria interna

 

tale che:

  • per ogni   vale  
  • per ogni   si ha che  

Proprietà

modifica

Commutatività

modifica
 
La proprietà commutativa: aggiungere tre mele ad un gruppo di due equivale ad aggiungerne due ad un gruppo di tre

L'addizione è un'operazione commutativa, ovvero cambiando l'ordine degli addendi il risultato non cambia:[6]

 

Ad esempio:  

Associatività

modifica
 
Esempio visivo dell'associatività: 2+(1+3) = (2+1)+3

L'addizione è un'operazione associativa, ovvero quando si sommano tre o più addendi, l'ordine delle operazioni non influisce sul risultato:[6]

 

Ad esempio:  

Esistenza dell'elemento neutro

modifica

Aggiungere zero ad un numero qualunque lascia quel numero invariato; in altre parole, lo zero è l'elemento neutro dell'addizione.[7] In formule,

 

Questa proprietà fu identificata nel Brahmasphuta Siddhānta di Brahmagupta nel 628 d.C., anche se formulata a parole ed in termini di tre leggi separate a seconda che a fosse negativo, positivo o zero. Altri matematici indiani elaborarono successivamente l'idea; intorno all'830 d.C., Mahāvīra scriveva che "lo zero diventa ciò che viene sommato ad esso", il che equivale alla proprietà 0 + a = a. Nel XII secolo, Bhāskara II scriveva: "Con l'addizione dello zero, o con la sua sottrazione, la quantità, positiva o negativa, rimane la stessa", il che equivale alla proprietà a + 0 = a.[8]

Calcolo dell'addizione

modifica

Il riporto

modifica

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 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.[9]

Ad esempio, nell'addizione 27 + 59,

  ¹
  27
+ 59
————
  86

7 + 9 = 16, e la cifra 1 è il riporto.

Algoritmo dell'addizione

modifica

Il metodo discusso sopra può essere applicato per sommare due qualunque numeri naturali ad n cifre A=an-1...a1a0 e B=bn-1...b1b0 (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:[9]

 function somma(an-1...a1a0, bn-1...b1b0)
     for i ← 0 to n-1 do
        r ← 0
        s ← ai + bi + r
        r ← s div 10     (calcolo del riporto)
        ci ← s mod 10
        return rcn-1...c1c0

Addizione di frazioni decimali

modifica

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:

   4 5, 1 0 +
   0 4, 3 4 =
——————————————
   4 9, 4 4

Questa estensione del metodo fu divulgata da Simone Stevino.[10]

Generalizzazioni

modifica

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.[11]

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.[12] Ad esempio, per sommare 783 e 275, si combina

Z1 Z1 Z1 V20 V20 V20 V20
V20 V20 V20 V20
V1 V1 V1 V1
V1 V1 V1
con
Z1 Z1 Z1
Z1 Z1
V20 V20 V20 V20
V20 V20 V20
V1 V1
ottenendo
Z1 Z1 Z1 Z1
Z1 Z1 Z1 Z1
V20 V20 V20 V20 V20 V20 V20 V20
V20 V20 V20 V20 V20 V20 V20
V1 V1 V1 V1 V1
V1 V1 V1 V1
che semplificato diventa
Z1 Z1 Z1 Z1
Z1 Z1 Z1 Z1
V20 V20 V20
V20 V20
M12
(cioè 1058).

Il metodo di addizione posizionale moderno era sicuramente già noto in India intorno all'anno 600 d.C.,[13] 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.[14]

In Europa, l'algoritmo di addizione moderno fu introdotto nel XII secolo[15] attraverso la traduzione degli scritti del matematico persiano al-Khwarizmi.[16]

  1. ^ a b Carboncini et al., p. 6.
  2. ^ Cajori, p. 118.
  3. ^ Cajori, p. 217.
  4. ^ Alberta De Flora, Teoria degli insiemi e analisi, Bologna, Zanichelli, 1976, p. 55.
  5. ^ Suppes, p. 110.
  6. ^ a b Carboncini et al., p. 10.
  7. ^ Carboncini et al., p. 11.
  8. ^ Robert Kaplan, The nothing that is: a natural history of zero, Oxford University Press, 2000, pp. 69-71, ISBN 0-19-512842-7.
  9. ^ a b Brent e Zimmermann, p. 2.
  10. ^ Simon Stevin, Disme: the Art of Tenths, Or, Decimall Arithmetike, London, Imprinted by S.S. for Hugh Astley, 1608.
  11. ^ Mac Lane e Birkhhoff, p. 40.
  12. ^ Katz, p. 4.
  13. ^ Katz, p. 233.
  14. ^ Katz, pp. 10-13.
  15. ^ Katz, pp. 326-327.
  16. ^ Katz, p. 268.

Bibliografia

modifica
  • Richard Brent e Paul Zimmermann, Modern Computer Arithmetic, Cambridge University Press, 2011, ISBN 978-0-521-19469-3.
  • Florian Cajori, A History of Mathematical Notations, Dover, 2003, ISBN 978-0-486-67766-8.
  • Victor J. Katz, A History of Mathematics, 3ª ed., Pearson Education, 2009, ISBN 0-321-38700-7.
  • Saunders Mac Lane e Garrett Birkhoff, Algebra, 3ª ed., American Mathematical Society, 1991, ISBN 0-8218-1646-2.
  • Patrick Suppes, Abstract Set Theory, Dover, 1973, ISBN 0-486-61630-4.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
Controllo di autoritàThesaurus BNCF 30949 · LCCN (ENsh85000817 · GND (DE4296282-1 · BNF (FRcb11976283t (data) · J9U (ENHE987007292953205171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica