이항정리 (Binomial Theorem)

한 줄 정의: (a+b)의 n제곱처럼 두 항의 합을 거듭제곱한 식을, 하나하나 곱하지 않고도 각 항의 계수를 조합의 수로 바로 구해 전개할 수 있게 해주는 공식입니다.

쉽게 풀면

(a+b)²을 직접 풀면 a²+2ab+b²이 되고, (a+b)³을 풀면 a³+3a²b+3ab²+b³이 됩니다. 그런데 (a+b)를 10번, 20번 곱해야 한다면 일일이 곱셈을 반복하기는 매우 번거롭습니다. 이항정리는 이럴 때 각 항의 계수가 정확히 몇 개의 조합(예를 들어 20개 중 3개를 고르는 경우의 수)과 같다는 규칙을 이용해서, 직접 곱하지 않고도 전개식의 각 항을 바로 써 내려갈 수 있게 해줍니다. 이 계수들을 순서대로 배열하면 흔히 보는 파스칼의 삼각형이 만들어집니다.

왜 중요한가

이항정리는 복잡한 거듭제곱 식을 여러 개의 단순한 항으로 분해할 수 있게 해주기 때문에, 근사·오차 분석·확률 계산처럼 정확한 값 대신 주요 항 몇 개만으로 결과를 추정해야 하는 상황에서 핵심적인 도구로 쓰입니다. 통계학에서는 이항분포의 확률질량함수를 유도하는 기초가 되고, 수치해석·공학에서는 (1+x)^n 형태의 식을 x가 작을 때 몇 개의 항으로 근사해 계산량을 줄이는 데 활용됩니다. 이처럼 겉보기에는 단순한 대수 공식이지만, 여러 분야의 논문에서 계산을 단순화하거나 오차의 크기를 가늠하는 근거로 반복해서 등장합니다.

핵심 정리

음이 아닌 정수 n에 대해 다음이 성립합니다.

(x + y)ⁿ = Σ_k=0..n C(n, k) x^n−k y^k

C(n, k)는 이항계수로, n개 중 k개를 고르는 경우의 수와 같고 항상 양의 정수입니다.
y = 1로 두면 (x + 1)ⁿ을 이항계수로 쓸 수 있습니다. 모든 계수의 합은 2ⁿ입니다.
일반화: 지수가 정수가 아니거나 음수, 복소수여도 무한급수로 전개할 수 있으며, (1 + x)^r 꼴에서는 보통 |x| < 1일 때 수렴합니다. 예로 1/√(1+x) = 1 − ½x + ⅜x² − … 입니다.
확장: 세 항 이상의 합은 다항정리를 씁니다. 계수는 n!/(k₁!·k₂!⋯)입니다.
역사: 계수 공식은 Pascal이 1654년에 귀납법으로 엄밀히 증명했고, 지수가 실수인 일반화는 Newton이 1664–65년에 발견했습니다. 이 정리의 역사는 Coolidge(1949)가 다룹니다.

예시로 보기

계산 예 (직접 계산한 값입니다). 지수 6일 때 계수는 1, 6, 15, 20, 15, 6, 1이고 합은 2⁶ = 64입니다. 즉 (a+b)⁶ = a⁶ + 6a⁵b + 15a⁴b² + 20a³b³ + 15a²b⁴ + 6ab⁵ + b⁶입니다.

근사에 쓰는 예 (가상의 문제). (1 + x)¹⁰을 x = 0.01에서 계산하면 정확한 값은 1.104622입니다. 1차 근사 1 + 10x = 1.1은 0.0046 모자라고, 2차 항 45x²까지 더한 1.1045는 오차가 약 0.00012입니다. 반면 x = 0.1이면 정확한 값은 2.5937인데 1차 근사는 2로 크게 어긋나고, 2차 근사도 2.45입니다. 이처럼 고차항을 버린 근사는 x가 충분히 작을 때만 믿을 만합니다.

자주 하는 오해

‘이항정리와 이항분포는 같은 것이다’: 이항분포의 확률질량함수에 이항계수가 등장하고 이항정리로 확률의 합이 1임을 보일 수 있지만, 이항정리는 대수 공식이고 이항분포는 확률분포입니다. 이항분포를 참고하세요.
‘세 항 이상에도 그대로 쓴다’: 두 항의 합에만 직접 적용됩니다. 세 항 이상은 다항정리(다항분포의 계수가 같은 꼴)가 필요합니다.
‘근사는 항상 정확하다’: 몇 차항까지 남겼는지, 버린 항의 영향이 작은지를 논문에서 함께 밝혀야 합니다.
‘무한급수는 어떤 x에도 성립한다’: 수렴 조건을 확인해야 합니다.

논문에서는 이렇게 쓰입니다

실제 논문에서

이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.

예시 문장

아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.

"오차항의 상한을 유도하는 과정에서 (1+x)^n 형태의 식을 이항정리(binomial theorem)를 이용해 전개하여 근사식을 구하였다."

이 문장은 복잡한 거듭제곱 형태의 식을 여러 개의 단순한 항의 합으로 풀어 쓴 뒤, 그중 영향이 큰 몇 개 항만 남기고 나머지를 무시함으로써 계산을 단순화했다는 뜻입니다. 확률론에서 이항분포의 확률식을 유도하거나, 통계학·공학의 근사 계산에서 자주 활용됩니다.

"두 표본 비율의 차이에 대한 신뢰구간을 구하기 위해 각 표본이 이항분포를 따른다고 가정하고, 이항정리(binomial theorem)에 기반한 전개를 통해 분산의 근사식을 유도하였다."

통계학·생명과학 논문에서 흔히 볼 수 있는 표현으로, 이항분포의 분산이나 신뢰구간 공식을 유도하는 과정에서 이항정리를 이용해 항을 전개하고 정리했다는 의미입니다. 표본 비율 비교나 임상시험 데이터 분석처럼 이항 변수를 다루는 연구에서 자주 등장합니다.

"신호 대 잡음비가 큰 영역에서 검출 확률을 계산하기 위해, 지수함수 항을 이항정리(binomial theorem)를 이용해 전개한 뒤 고차항을 무시하여 근사식을 얻었다."

통신·신호처리 분야의 논문에서 자주 쓰이는 표현으로, 정확한 확률식을 그대로 계산하기 어려울 때 이항정리로 전개한 뒤 영향이 작은 고차항을 버려 계산을 단순화했다는 뜻입니다. 이런 근사는 시스템 성능을 빠르게 추정하거나 알고리즘을 설계할 때 널리 쓰입니다.

조금 더 깊게 보면

이항정리를 논문에서 근사식으로 쓸 때 핵심이 되는 것은 이항계수 자체보다, x가 충분히 작다는 가정 아래 고차항을 무시하는 절단(truncation) 과정입니다. 예를 들어 (1+x)^n을 1+nx까지만 남기고 나머지를 버리는 1차 근사가 대표적이며, 남겨진 항의 수에 따라 근사의 정확도가 달라지므로 논문에서는 몇 차항까지 남겼는지, 그리고 무시한 나머지 항(잔여항)이 전체 결과에 미치는 영향이 작다는 점을 함께 언급하는 경우가 많습니다. 또한 지수가 정수가 아니거나 음수인 경우에는 일반화된 형태인 이항급수(binomial series)로 확장해서 사용하며, 이때는 항이 무한히 이어지므로 수렴 조건(주로 |x|가 1보다 작아야 한다는 조건)도 함께 고려해야 합니다.

주의할 점

이항정리는 두 항(binomial)의 합을 거듭제곱할 때만 바로 적용되는 공식이며, 세 항 이상의 합을 거듭제곱하는 경우에는 다항정리(multinomial theorem)라는 별도의 확장된 공식이 필요합니다. 또한 이항정리의 계수(이항계수)는 확률론의 이항분포 공식에도 그대로 등장하지만, 두 개념 자체는 서로 다른 목적을 가진 별개의 이론입니다.

헷갈리기 쉬운 용어

이항계수에서 갈라지는 서로 다른 개념입니다.

용어	무엇인가
이항계수의 성질(파스칼의 삼각형)	이항계수들을 삼각형으로 배열하면 각 수가 바로 위 두 수의 합이 되는 규칙
이항분포	성공 확률이 일정한 독립시행을 여러 번 반복할 때 성공 횟수가 따르는 확률분포
다항분포	결과가 세 가지 이상인 시행을 반복할 때 각 결과의 횟수에 대한 분포

참고 문헌

Coolidge, J. L. (1949). The story of the binomial theorem. The American Mathematical Monthly, 56(3), 147–157.
Graham, R. L., Knuth, D. E., & Patashnik, O. (1988). Concrete Mathematics. Addison-Wesley.

표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.

개념 계통

하위 개념

분야 전체 개념 지도 보기 →