{{위키데이터 속성 추적}}
[[파일:Addition01.svg|섬네일|오른쪽|100px|덧셈을 설명할 때 자주쓰는 그림]]
'''덧셈'''(현대 수학에서 [[더하기표와 빼기표|더하기표]] {{char|+}}로 자주 표현된다.)은 [[산술]]의 기본 [[계산|연산]] 중의 하나로, [[뺄셈]]과 [[곱셈]], [[나눗셈]]과 함께 대표되는 [[사칙연산]]이다. 두 개의 수를 받아서 두 수의 [[합]]인 하나의 수를 내는 연산이다. 옆의 그림에서 위쪽의 3개의 사과와 아래쪽의 2개의 사과를 덧셈하면(더하면) 사과 5개가 된다. 이를 수학적으로 표현하면 3+2=5가 된다.(말로 표현할 때는 "삼 더하기 이는 오"라고 한다.)

== 수의 덧셈 ==
덧셈은 보통 덧셈기호 +의 양 옆에 숫자를 넣는 [[중위 표기법]]으로 표현한다. 그리고 그 결과를 등호기호 =의 오른쪽에 넣어서 표현한다.
:<math>1+1=2</math>
:<math>1+2+3=6</math>

관습적으로 [[대분수]]의 경우 따로 덧셈기호가 없어도 앞의 수와 뒤의 분수가 더해진 수라고 생각한다.

:<math>3\frac{1}{2}=3+\frac{1}{2}</math>

두 [[자연수]]의 덧셈은 자연수의 순서에 맞게 그 순서를 더한다.

:<math>3+4=</math>세번째 수+네번째 수=일곱번째 수<math>=7</math>

두 자리수 이상의 자연수의 덧셈은 각각의 자리수를 더해서 구할 수 있다.

:<math>145+231=100+200+40+30+5+1=300+70+6=376</math>

두 [[분수 (수학)|분수]]의 덧셈은 분모가 같은 경우 분자끼리 더한다.

:<math>\frac{1}{4}+\frac{3}{4}=\frac{1+3}{4}=\frac{4}{4}=1</math>

분모가 다른 경우 두 분모가 [[최소공배수]]가 되는 값을 각각의 분수의 분모와 분자에 곱해서 더한다.

:<math>\frac{3}{7}+\frac{2}{5}=\frac{3\times 5}{7\times 5}+\frac{2\times 7}{5\times 7}=\frac{15}{35}+\frac{14}{35}=\frac{29}{35}</math>

== 받아올림 ==
{{본문|받아올림}}
두 자리 수 이상의 자연수를 더할 때, 같은 자리의 숫자끼리의 합이 10 이상이 되면 [[받아올림]]이 필요하다. 예를 들어 {{nowrap|27 + 59}}를 계산할 때, 먼저 일의 자리 숫자끼리 계산하면 16이 되므로 6을 일의 자리 숫자에 적고, 1을 받아올린다. 그리고 십의 자리 숫자끼리 계산할 때 일의 자리에서 받아올린 수까지 함께 더하여 8이 되므로 8을 십의 자리 숫자에 적는다.
   ¹
   27
 + 59
 ————
   86

== 소수의 덧셈 ==
[[소수점 표기|소수]]의 덧셈은 다음과 같다. 소수점이 같은 위치에 오도록 적고, 한 수에만 빈 자리가 있으면 그 자리에 0을 적는다. 그 다음에는 자연수의 덧셈과 마찬가지로 같은 자리의 숫자까리 더하되 필요한 경우 받아올림을 한다. 소수점은 더한 수와 같은 위치에 찍는다. 예를 들어 45.1 + 4.34는 다음과 같이 계산한다.
    4 5 . 1 0
 +  0 4 . 3 4
 ————————————
    4 9 . 4 4

== 수학적 정의 ==
덧셈은 두 개의 원소를 받아 하나의 원소를 내는 [[이항연산]]이다. [[자연수]], [[정수]], [[유리수]], [[실수]], [[복소수]]는 각기 다른 대수구조를 가지고 있기 때문에 수학적인 정의들이 각각이 다르다.

=== 자연수 ===
페아노 공리계에서 [[자연수]] 집합 <math>\mathbb{N}</math>은 다음 다섯개의 공리로 정해진다.
#<math>1 \in \mathbb{N}</math>
#<math>\forall n \in \mathbb{N}, \; \exists ':\mathbb{N} \to \mathbb{N}, \; n' \in \mathbb{N}</math>
#<math>!\exists n \in \mathbb{N}, \; n'=1</math>
#<math>\forall m \in \mathbb{N}, \; n'=m' \Rightarrow n=m</math>
#<math>S \subset \mathbb{N}, 1 \in S, s \in S, s' \in S \Rightarrow S=\mathbb{N}</math>

여기서 '는 계승자를 나타내는 사상으로 n'은 n의 다음 자연수를 의미한다. 자연수 집합에 [[0]]을 추가한 집합 <math>\mathbb{N}^+</math>에 대해서, 덧셈은 다음과 같이 귀납적으로 정의된다. 
* <math>n + 0 = n</math>, 
* <math>n + m' = (n + m)'</math>
임의의 자연수는 0 또는 다른 자연수의 다음 자연수이므로, 임의의 <math>n \in \mathbb{N}^+</math>의 오른쪽에 자연수를 더하는 것은 항상 두 경우 중 하나와 일치한다. 자연수 덧셈의 교환법칙과 결합법칙은 [[수학적 귀납법]]을 통해 증명할 수 있다.

=== 정수 ===
두 [[정수]]를 각각 자연수의 차 <math>n = a-b</math>, <math>m = c-d</math>로 표현할 때 (<math>a</math>, <math>b</math>, <math>c</math>, <math>d</math>는 자연수), 정수의 합은 <math>n + m = (a+c)-(b+d)</math>으로 정의한다. 이때, <math>a+c</math>와 <math>b + d</math>는 자연수에서 정의된 덧셈의 결과이다.

=== 유리수 ===
[[유리수]]에서는 덧셈을 다음과 같이 정의한다. 두 [[유리수]]를 정수의 비 <math>\frac{a}{b}</math>, <math>\frac{c}{d}</math> (<math>a</math>, <math>b</math>, <math>c</math>, <math>d</math>는 정수이고 <math>b</math>와 <math>d</math>는 0이 아니다) 로 표현할 때, 유리수의 합은 다음과 같다.
:<math>\frac{a}{b} + \frac{c}{d} = \frac{ad+bc}{bd}</math>
분수는 유리수의 표기법이므로, 이 정의를 사용하여 분수의 덧셈을 할 수 있다. 예를 들어, <math>\frac{2}{5} + \frac{3}{4} = \frac{2 \cdot 4 + 3 \cdot 5}{4 \cdot 5} = \frac{23}{20}</math>이다.

=== 실수 ===
[[실수]]를 유리수의 [[완비 거리 공간]]으로 생각하였을 때, 각 실수는 유리수의 [[코시 열]]의 극한값이다. 두 실수 <math>r = \lim_{n \to \infty} a_n</math>, <math>s = \lim_{n \to \infty} b_n</math>(<math>\{a_n\}, \{b_n\}</math>은 유리수의 코시 열) 에 대해 실수의 합은 각 유리수열에 대해 항 별로 덧셈을 하여 극한을 취한 결과인 <math>r + s = \lim_{n \to \infty} (a_n + b_n)</math>으로 정의한다.

=== 복소수 ===
[[복소수]]의 덧셈은 실수부와 허수부를 각각 더한 결과로 정의한다. 두 복소수 <math>z = a + bi</math>, <math>w = c + di</math> (<math>a, b, c, d</math>는 실수)에 대해, 복소수의 합은 <math>z + w = (a + c) + (b + d)i</math>으로 정의한다. 이때 <math>a+c, b+d</math>는 실수에서 정의된 덧셈의 결과이다.

== 성질 ==
=== 교환법칙 ===
덧셈에서는 [[교환법칙]]이 성립한다. 이는 덧셈을 할 때 피연산자의 배치 순서를 바꾸어도 항상 같은 결과를 얻는다는 것을 의미한다. 즉, 모든 <math>a, b</math>에 대해
:<math>a+b=b+a\,</math>
가 성립한다.

=== 결합법칙 ===
덧셈에서는 [[결합법칙]]도 성립한다. 이는 세 피연산자에 대해 덧셈을 할 때 어떤 쌍을 처음 더한 후 다른 하나를 더할 때 항상 같은 결과를 얻는다는 것을 의미한다. 즉, 모든 <math>a</math>, <math>b</math>, <math>c</math>에 대해
:<math>a+(b+c)=(a+b)+c\,</math>
가 성립한다. 결합법칙에 의해, <math>a + b + c</math>라는 표현은 <math>(a + b) + c</math> 와 <math>a + (b + c)</math> 중 어느 것으로 해석되더라도 같은 결과를 얻으므로 의미가 모호하지 않다.

=== 항등원 ===
덧셈의 [[항등원]]은 0이다. 즉, 모든 <math>a</math>에 대해
:<math>a+0=0+a=a\,</math>
가 성립한다.

== 더하기표 ==

{| class="wikitable" | align = "right"
! + !! &nbsp;0 !! &nbsp;1 !! &nbsp;2 !! &nbsp;3 !! &nbsp;4 !! &nbsp;5 !! &nbsp;6 !! &nbsp;7 !! &nbsp;8 !! &nbsp;9
|-
! &nbsp;0
| style="background:#cff"| &nbsp;0 || &nbsp;1 || &nbsp;2 || &nbsp;3 || &nbsp;4 || &nbsp;5 || &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9
|-
! &nbsp;1
| &nbsp;1 || style="background:#cff"| &nbsp;2 || &nbsp;3 || &nbsp;4 || &nbsp;5 || &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9 || 10
|-
! &nbsp;2
| &nbsp;2 || &nbsp;3 || style="background:#cff"| &nbsp;4 || &nbsp;5 || &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9 || 10 || 11
|-
! &nbsp;3
| &nbsp;3 || &nbsp;4 || &nbsp;5 || style="background:#cff"| &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9 || 10 || 11 || 12
|-
! &nbsp;4
| &nbsp;4 || &nbsp;5 || &nbsp;6 || &nbsp;7 || style="background:#cff"| &nbsp;8 || &nbsp;9 || 10 || 11 || 12 || 13
|-
! &nbsp;5
| &nbsp;5 || &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9 || style="background:#cff"| 10 || 11 || 12 || 13 || 14
|-
! &nbsp;6
| &nbsp;6 || &nbsp;7 || &nbsp;8 || &nbsp;9 || 10 || 11 || style="background:#cff"| 12 || 13 || 14 || 15
|-
! &nbsp;7
| &nbsp;7 || &nbsp;8 || &nbsp;9 || 10 || 11 || 12 || 13 || style="background:#cff"| 14 || 15 || 16
|-
! &nbsp;8
| &nbsp;8 || &nbsp;9 || 10 || 11 || 12 || 13 || 14 || 15 || style="background:#cff"| 16 || 17
|-
! &nbsp;9
| &nbsp;9 || 10 || 11 || 12 || 13 || 14 || 15 || 16 || 17 || style="background:#cff"| 18
|}

== 곱셈과의 관계 ==
같은 수를 여러 번 더한 것을 곱셈이라고 한다.

== 같이 보기 ==
* [[암산]]
* [[복면산]]

{{사칙연산}}
{{전거 통제}}
{{토막글|수학}}

[[분류:덧셈| ]]