Σ 시그마(Σ) — 합을 간결하게

💡 왜 필요할까요?

ChatGPT가 단어 하나를 생성할 때 $\displaystyle\sum_{k=1}^{n} w_k x_k$ 형태의 시그마 연산이 수십억 번 실행됩니다. 통계의 평균 공식 $\bar{x} = \frac{1}{n}\displaystyle\sum_{k=1}^{n} x_k$ , 물리학의 파동 중첩 원리, 컴퓨터 알고리즘의 시간 복잡도 분석 모두 시그마 언어로 쓰입니다.

Σ🔢

📜 역사 이야기

🔢

카를 프리드리히 가우스

1755년 · 독일 괴팅겐 / 스위스 바젤

1787년, 독일 브라운슈바이크의 한 초등학교에서 전설이 탄생했습니다. 담임 뷔트너 선생님이 학생들에게 1부터 100까지 더하는 문제를 냈을 때, 10살의 카를 프리드리히 가우스는 눈 깜짝할 새 "5050"이라고 답했습니다. 선생님이 어떻게 그렇게 빠른지 묻자, 가우스는 이렇게 설명했습니다. "1과 100을 더하면 101, 2와 99를 더하면 101, ..., 50과 51을 더해도 101. 이런 쌍이 50개이므로 $50 \times 101 = 5050$ 입니다." 이 직관이 바로 시그마 공식 $\displaystyle\sum_{k=1}^{n} k = \dfrac{n(n+1)}{2}$ 의 핵심입니다. $n$ 개의 항을 앞뒤로 쌍을 맞추면 각 쌍의 합이 항상 $n+1$ 이고, 쌍의 개수는 $n/2$ 개이므로 전체 합은 $\dfrac{n(n+1)}{2}$ 이 됩니다. 가우스는 9살의 직관으로 수천 년간 이어온 수학자들이 증명해 온 공식을 스스로 재발견한 것입니다. 시그마( $\Sigma$ ) 기호 자체는 스위스 수학자 레온하르트 오일러(Leonhard Euler)가 1755년 《미분학의 기초(Institutiones Calculi Differentialis)》에서 처음 도입했습니다. 그리스 알파벳 $\Sigma$ (시그마)는 "sum(합)"의 첫 글자 S에 해당하는 대문자입니다. 오일러는 현대 수학 기호의 대부로, $\pi$ , $e$ , $i$ (허수 단위), $f(x)$ , $\Sigma$ , $\Delta$ 등 오늘날 우리가 쓰는 수학 기호 대부분을 정립했습니다. 가우스가 발견한 아이디어는 현대 컴퓨터 과학에도 직접 연결됩니다. 버블 정렬 알고리즘의 비교 횟수 $\sum_{k=1}^{n-1} k = \dfrac{n(n-1)}{2}$ , 신경망에서의 가중합 $\displaystyle\sum_{k=1}^{n} w_k x_k$ , 확률 분포의 기댓값 $E[X] = \displaystyle\sum_{k} x_k P(X=x_k)$ — 모두 시그마 표기법의 후손입니다. 덧셈을 간결하게 쓰는 이 기호 하나가 수학·과학·공학 전체의 언어가 되었습니다.

"수학은 과학의 여왕이고, 수론은 수학의 여왕이다."

🤩 딥러닝의 핵심 연산인 '가중합'은

\sum_{k=1}^{n} w_k x_k

형태의 시그마입니다. ChatGPT가 답변을 생성할 때 수십억 개의 Σ 연산이 매 토큰마다 실행됩니다.

🔬 직접 발견하기

📐 공식 이해하기

\sum_{k=1}^{n} k = \frac{n(n+1)}{2},\quad \sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6},\quad \sum_{k=1}^{n} k^3 = \left[\frac{n(n+1)}{2}\right]^2

\sum_{k=1}^{n} k = \frac{n(n+1)}{2},\quad \sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6},\quad \sum_{k=1}^{n} k^3 = \left[\frac{n(n+1)}{2}\right]^2

시그마( $\Sigma$ )는 규칙적인 합을 간결하게 표현하는 기호입니다. $\displaystyle\sum_{k=1}^{n} a_k$ 는 $a_1 + a_2 + \cdots + a_n$ 을 의미하며, 아래 첨자는 시작 인덱스, 위 첨자는 끝 인덱스, $a_k$ 는 일반항입니다. 자연수 합·제곱합·세제곱합에는 각각 닫힌 공식이 있어 $n$ 이 아무리 커도 즉시 계산할 수 있습니다.

$k$: 합산 인덱스 (summation index): 시작값부터 끝값까지 1씩 증가
$n$: 합산 끝 인덱스 (상한): 자연수
$a_k$ a_k: 일반항: $k$ 에 대한 수식으로 표현되는 수열의 $k$ 번째 항
$Σ$: 시그마(Sigma): 그리스 대문자, 'Sum'의 첫 글자 S에 대응

1
자연수 합: $S = 1 + 2 + \cdots + n$ 과 $S = n + (n-1) + \cdots + 1$ 을 더하면 $2S = n(n+1)$ , 따라서 $S = \dfrac{n(n+1)}{2}$
2
제곱합: 항등식 $(k+1)^3 - k^3 = 3k^2 + 3k + 1$ 을 $k=1$ 부터 $n$ 까지 합산하면 $\sum k^2 = \dfrac{n(n+1)(2n+1)}{6}$ 도출
3
세제곱합: $\left(\sum k\right)^2 = \sum k^3$ 이 성립 — '니코마코스 정리'라 불리는 신비로운 관계
4
선형성: $\sum(ca_k + db_k) = c\sum a_k + d\sum b_k$ — 상수 분리, 합의 분리 가능

🧬 원리: 어떻게 탄생했나?

공식은 외우는 것이 아니라, 어디서 왔는지를 이해하는 것이에요

💡

탄생 배경

시그마는 등차수열·등비수열의 '규칙적인 합'에서 탄생했습니다. 등차수열 $a, a+d, a+2d, \ldots$ 의 합을 매번 직접 더하는 대신, 가우스처럼 앞뒤 항을 쌍으로 묶는 아이디어를 일반화하면 $\displaystyle\sum_{k=1}^{n} k = \dfrac{n(n+1)}{2}$ 라는 닫힌 형태(closed form)가 나옵니다. 이 아이디어를 반복적으로 적용해 $\sum k^2$ , $\sum k^3$ 까지 확장한 것이 시그마 공식 체계입니다.

⚡

핵심 관계식

시그마의 핵심 관계는 **선형성(linearity)**입니다. $\sum(af(k) + bg(k)) = a\sum f(k) + b\sum g(k)$ — 상수는 앞으로 꺼내고, 합은 나눌 수 있습니다. 이 성질 덕분에 복잡한 합도 기본 공식($\sum 1 = n$, $\sum k$, $\sum k^2$, $\sum k^3$)의 선형 결합으로 분해하여 계산할 수 있습니다.

시그마의 핵심 관계는 **선형성(linearity)**입니다. $\sum(af(k) + bg(k)) = a\sum f(k) + b\sum g(k)$ — 상수는 앞으로 꺼내고, 합은 나눌 수 있습니다. 이 성질 덕분에 복잡한 합도 기본 공식($\sum 1 = n$, $\sum k$, $\sum k^2$, $\sum k^3$)의 선형 결합으로 분해하여 계산할 수 있습니다.

🔍

왜 공식을 외울 필요가 없나요?

자연수 합 공식 $\dfrac{n(n+1)}{2}$ 이 성립하는 직관적 이유는 '계단 넓이'입니다. $1, 2, 3, \ldots, n$ 개의 블록을 계단처럼 쌓으면 총 블록 수가 $\sum k$ 이고, 이 계단 두 개를 뒤집어 붙이면 가로 $n$ , 세로 $n+1$ 인 직사각형이 됩니다. 즉 $2\sum k = n(n+1)$ , 따라서 $\sum k = \dfrac{n(n+1)}{2}$ . 세제곱 합이 자연수 합의 제곱과 같다( $\sum k^3 = (\sum k)^2$ )는 니코마코스 정리는 이보다 훨씬 신비롭고, 수학적 귀납법으로 증명합니다.

📝 퀴즈로 확인하기

1/5

$\displaystyle\sum_{k=1}^{10} k$ 의 값은?

📋 수능 기출 문제

📝

이 개념의 기출 문제를 추가 중이에요

수능 기출 전체 목록에서 관련 문제를 찾아보세요.

📋 수능 기출 전체 보기 →