이항 정리는 이변수 다항식 (x + y)ⁿ을 전개하는 공식으로, 이항 계수를 사용하여 표현된다. 이 공식은 이항 계수의 대칭성과 파스칼의 삼각형과의 관계를 보여주며, 가환환에서 성립한다. 이항 정리는 조합론적 증명과 수학적 귀납법을 통해 증명할 수 있으며, 삼각함수의 배각 공식 유도, 자연상수 e의 급수 표현, 확률 분포, 일반 라이프니츠 법칙 등 다양한 분야에 응용된다. 또한, 이항 정리의 일반화된 형태인 이항 급수, 다항 정리, 다중 이항 정리 등이 존재한다. 이항 정리의 특수한 경우는 고대 그리스와 인도에서 이미 알려졌으며, 알 카라지, 양휘, 파스칼, 뉴턴 등의 수학자들이 연구했다.
더 읽어볼만한 페이지
다항식에 대한 정리 - 대수학의 기본 정리 대수학의 기본 정리는 모든 비상수 복소 다항식이 복소수를 근으로 갖는다는 정리이며, 복소수체의 대수적 폐포를 정의하고 다항식의 근의 개수와 표현, 실계수 다항식의 인수분해 등에 대한 정보를 제공한다.
다항식에 대한 정리 - 유리근 정리 유리근 정리는 유일 인수 분해 정역 위에서 정의된 다항식환의 다항식이 분수체 원소를 근으로 가질 때, 분자는 상수항을 나누고 분모는 최고차항을 나눈다는 정리로, 일계수 다항식이면 그 근은 환의 원소가 된다.
계승과 이항식 주제 - 감마 분포 감마 분포는 형상 모수와 척도 모수로 정의되는 연속 확률 분포로, 확률 밀도 함수가 감마 함수로 표현되며, 베이즈 통계학에서 켤레 사전 분포로 활용되고, 형상 모수가 양의 정수일 때는 얼랑 분포를 나타낸다.
계승과 이항식 주제 - 푸아송 분포 푸아송 분포는 주어진 시간 안에 특정 사건이 일어날 횟수를 나타내는 이산 확률 분포이며, 사건 발생 횟수가 많고 각 사건이 드문 시스템에 적용되고 이항 분포의 극한 사례로 볼 수 있다.
이 공식은 '''이항 공식''' 또는 '''이항 항등식'''이라고도 한다. 합 기호를 사용하면 다음과 같이 더 간결하게 쓸 수 있다.[30]
:
이항 공식의 간단한 변형은 에 1을 대입하여 얻을 수 있으며, 따라서 단일 변수만 포함한다. 이 형태에서 공식은 다음과 같이 표현된다.[39]
:
3. 증명
이항 정리는 조합론적 증명과 수학적 귀납법을 통해 증명할 수 있다. 조합론적 증명은 $(x+y)^n$을 전개했을 때 나타나는 각 항의 계수가 조합의 수와 같다는 점을 이용한다. 수학적 귀납법을 이용한 증명은 n=0일 때 이항 정리가 성립함을 보이고, n일 때 성립한다고 가정한 후 n+1일 때도 성립함을 보인다.[40][41][2]
3. 1. 조합론적 증명
$(x+y)^n$을 전개하면 $2^n$개의 항이 나타나는데, 각 항은 $e_{i1}e_{i2}\cdots e_{in}$ 형태를 가진다. 여기서 각 $e_{ij}$는 $x$ 또는 $y$이다. 이항 정리에서 $x^{n-k}y^k$ 꼴의 항의 계수는 $n$개 중에서 $k$개를 선택하는 조합의 가짓수, 즉 이항 계수 $\binom nk$와 같다.[41]
이는 각 항이 $\{1,2,\dots,n\}$의 부분 집합과 일대일 대응되기 때문이다. 즉, $e_{i1}e_{i2}\cdots e_{in}$를 $\{j\in\{1,2,\dots,n\}\colon e_{ij}=y\}$와 같이 대응시키면, $x^{n-k}y^k$ 꼴의 항들은 $\{1,2,\dots,n\}$의 $k$원소 부분 집합들과 일대일 대응한다.
여기서 $xy^2$의 계수는 3인데, 이는 $y$가 정확히 두 개인 길이 3의 $x, y$ 문자열이 세 개(xyy, yxy, yyx) 있기 때문이다. 이는 $\{1, 2, 3\}$의 두 원소 부분집합 세 개, 즉 $\{2,3\}, \{1,3\}, \{1,2\}$에 해당하며, 각 부분집합은 해당 문자열에서 $y$의 위치를 지정한다.
각 $(x+y)$에서 $x$ 또는 $y$를 선택하여 곱한 항들의 합이 된다. 이 곱들을 재배열하면 $x^{n-k}y^k$ ($k = 0, 1, \dots, n$) 꼴이 되는데, 이 항의 계수는 $n-k$개의 $x$와 $k$개의 $y$를 나열하는 경우의 수와 같으므로, 이항계수 $\binom{n}{k}$가 된다.[41]
3. 2. 수학적 귀납법을 통한 증명
수학적 귀납법을 사용하여 이항 정리를 증명할 수 있다. 우선, n=0일 때, $(x+y)^0 = 1 = \binom{0}{0}x^0y^0$이므로 식이 성립한다.[40] 이제 n에 대하여 성립한다고 가정하고, n+1에 대해 성립함을 보이면 된다.
일반화된 이항 정리 (이항 급수): 이항식의 지수를 임의의 복소수로 확장하여 무한 급수 형태로 나타낸다.
다항 정리: 이항식 대신 여러 항의 다항식을 사용하여 전개하는 정리이다.
다중 이항 정리: 여러 개의 이항식들의 곱을 전개하는 정리이다.
가환환에서의 이항 정리:가환환의 원소를 계수로 하는 다항식에 대해 성립하는 이항 정리이다.
5. 1. 일반화된 이항 정리 (이항 급수)
이항식을 거듭제곱하는 지수를 임의의 복소수 까지 확장할 수 있다. 이렇게 일반화된 이항 정리에선 전개가 무한 급수가 된다.[3][42]
:
여기서
:
는 일반화된 이항 계수이다. 가 음이 아닌 정수일 때는 일반적인 정의와 일치한다. 와 가 인 실수이고, 가 임의의 복소수이면 다음이 성립한다.[3] 이항 정리는 일반화된 이항 정리에서 인 특수한 경우이다. 일 경우, 이 등식은 일 때 성립하며, 일 때 성립하지 않으며, 일 때의 성립 여부는 의 값에 따라 다르다.
을 대입하면, 에 대해 유효한 기하급수 공식을 제공하는 일반화된 이항 급수가 나타난다.[4]
복소수에 대한 이항 정리와 드 무아브르의 정리를 결합하면 배각 공식을 유도할 수 있다. 예를 들어, 드 무아브르의 정리에 따라 $(\cos x+i\sin x)^2 = \cos(2x)+i\sin(2x)$가 성립하고, 이항 정리에 따라 $(\cos x + i\sin x)^2 = (\cos^2 x-\sin^2 x) + i(2\cos x\sin x)$이므로, $\cos(2x) = \cos^2 x - \sin^2 x$ 와 $\sin(2x) = 2 \cos x \sin x$를 얻는다.
자연상수 e는 $e = \lim_{n\to\infty} \left(1 + \frac{1}{n}\right)^n$로 정의되는데, 이 식에 이항 정리를 적용하면 e에 대한 무한급수를 얻을 수 있다. n → ∞일 때, 이항 전개의 각 항은 $\frac{1}{k!}$에 접근하며, 단조 수렴 정리에 따라 이 무한 급수의 합은 e와 같다. 즉, $e=\sum_{k=0}^\infty\frac{1}{k!}=\frac{1}{0!} + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \cdots$이다.
이항 정리는 음이항 분포의 확률 질량 함수와 관련이 있다. 성공 확률이 $p$인 독립적인 베르누이 시행들이 모두 발생하지 않을 확률은 $(1-p)^
= \sum_{n=0}^
$이다.[28]
두 함수의 곱의 고계 도함수 공식은 일반화된 라이프니츠 법칙(Leibniz rule)이라고 불리며, 이항 정리와 유사한 형태를 가진다.[44]
여기서 위 첨자 n은 함수의 n번째 도함수를 나타낸다. 라이프니츠 공식으로부터 이항 정리를 유도할 수도 있다.[7][8]
6. 1. 삼각함수의 배각 공식
복소수에 대한 이항 정리와 드 무아브르의 정리를 결합하면 배각 공식을 유도할 수 있다. 드 무아브르의 정리에 따르면,
: $(\cos x+i\sin x)^n = \cos(nx)+i\sin(nx)$
가 성립한다. 이항 정리를 사용하여 오른쪽 식을 전개한 다음 실수 부분과 허수 부분을 비교하면 cos(nx)와 sin(nx)에 대한 공식을 얻을 수 있다.
예를 들어, $(\cos x + i\sin x)^2 = \cos^2 x + 2i \cos x \sin x - \sin^2 x = (\cos^2 x-\sin^2 x) + i(2\cos x\sin x)$ 이고, 드 무아브르의 정리에 따르면 $(\cos x+i\sin x)^2 = \cos(2x)+i\sin(2x)$이므로,
: $\cos(2x) = \cos^2 x - \sin^2 x$
: $\sin(2x) = 2 \cos x \sin x$
를 얻는다. 이는 일반적인 배각 공식이다. 마찬가지로,
: $(\cos x + i\sin x)^3 = \cos^3 x + 3i \cos^2 x \sin x - 3 \cos x \sin^2 x - i \sin^3 x$
여기서 위 첨자 n은 함수의 n번째 도함수, f^{(n)}(x) = \tfrac{d^n}{dx^n}f(x)를 나타낸다. f(x) = e^{ax} 와 g(x) = e^{bx} 로 설정하면 각 항에서 e^{(a+b)x} 의 공통 인수를 소거하여 일반적인 이항 정리를 얻을 수 있다.[8]
두 함수의 곱의 고계 도함수 공식은 일반화된 라이프니츠 법칙(Leibniz rule)이라고 불리며, 이항 정리와 유사한 형태가 된다.[44]
이항 정리의 특수한 경우는 기원전 4세기 그리스 수학자 유클리드가 지수 n=2인 경우를 언급하면서 알려졌다.[9]인도에서는 6세기경 3차인 경우의 이항 정리가 알려져 있었다.[31][32] 이항 계수는 고대 인도에서 조합론적인 관점에서 연구되었다. 기원전 200년경 인도의 시인 핑갈라(Pingala)의 ''Chandaḥśāstra''에 이항 계수에 대한 해법이 포함되어 있으며,[33] 10세기 주석가 할라유다(Halayudha)는 이 해법을 오늘날의 파스칼의 삼각형을 사용하여 설명했다.[33] 11세기 페르시아 수학자 알 카라지는 이항 정리와 파스칼의 삼각형에 대한 연구를 진행했다.[35] 13세기 중국 수학자 양휘[36]와 주세걸[32]의 수학적 업적에서도 저차 이항 전개를 찾아볼 수 있다.
1544년 미하엘 슈티펠(Michael Stifel)은 "binomial coefficient" (이항 계수)라는 용어를 도입하고, 파스칼의 삼각형을 사용하여 (1+a)^n을 (1+a)^{n-1}으로 표현하는 방법을 보였다.[37] 17세기 프랑스 수학자 블레즈 파스칼은 동명의 삼각형을 체계적으로 연구했다.[24] 17세기 아이작 뉴턴은 유리수 거듭제곱에 대해 성립하는 일반화된 이항 정리를 발견했다.[38][37]
대한민국에서는 고려 시대에 이항 계수와 관련된 내용이 연구되었을 것으로 추정되지만, 현재 남아있는 문헌은 없다. 조선 시대 수학자 최석정은 그의 저서 "구수략"에서 파스칼의 삼각형과 유사한 형태의 그림을 제시하고, 조합의 수를 계산하는 방법을 설명했다. 이는 이항 계수에 대한 이해를 보여주는 중요한 자료이다.
참조
[1]
논문
Computing Cavalieri's Quadrature Formula by a Symmetry of the n-Cube
2004
[2]
웹사이트
Binomial theorem
http://proofs.wiki/B[...]
2015-02-24
[3]
문서
[4]
웹사이트
Negative Binomial Series
https://mathworld.wo[...] [5]
논문
Problem 352
https://cms.math.ca/[...]
1979
[6]
서적
Combinatorial Theory
https://archive.org/[...]
Springer
1979
[7]
서적
Applications of Lie Groups to Differential Equations
https://books.google[...]
Springer
[8]
서적
The Art of Proving Binomial Identities
CRC Press
2019
[9]
논문
The Story of the Binomial Theorem
1949
[10]
논문
The roots of combinatorics
1979
[11]
논문
The Jaina School of Mathematics
https://archive.org/[...] [12]
논문
Binomial theorem in ancient India
http://repository.ia[...] [13]
논문
Varāhamihira's Calculation of nCr and the Discovery of Pascal's Triangle
Springer
[14]
서적
The Patiganita of Sridharacarya
Lucknow University
[15]
논문
L'induction mathématique: al-Karajī, al-Samawʾal
Kluwer
[16]
백과사전
Al-Karajī
Springer
[17]
논문
History of mathematics in the Islamic world: The present state of the art
Springer
[18]
논문
The Binomial Theorem: A Widespread Concept in Medieval Islamic Mathematics
[19]
MacTutor
Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji
[20]
웹사이트
Historia Matematica Mailing List Archive: Re: [HM] Pascal's Triangle
https://web.archive.[...]
1999-05-08
[21]
서적
A History of Chinese Mathematics
Springer
[22]
논문
The arithmetical triangle of Jordanus de Nemore
[23]
서적
History of mathematical thought
Oxford University Press
[24]
서적
A History of Mathematics: An Introduction
Addison-Wesley
[25]
서적
Elements of the History of Mathematics
https://archive.org/[...]
Springer
1994
[26]
논문
Newton's Discovery of the General Binomial Theorem
https://www.cambridg[...]
1961
[27]
서적
Mathematics and its history
Springer
2010
[28]
서적
Elements of Information Theory
Wiley
1991
[29]
서적
Algebra
Pearson
[30]
문서
[31]
MathWorld
Binomial Theorem
[32]
논문
The Story of the Binomial Theorem
https://www.jstor.or[...] [33]
서적
A history of Chinese mathematics
Springer
[34]
논문
The roots of combinatorics
[35]
MacTutor
Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji
[36]
웹사이트
Historia Matematica Mailing List Archive: Re: [HM] Pascal's Triangle
http://archives.math[...]
1999-05-08
[37]
서적
History of mathematical thought
Oxford University Press
[38]
서적
Elements of the History of Mathematics Paperback
1998-11-18
[39]
간행물
이항정리의 의미와 계수를 구하는 예제·2가지 증명
고교수학의 아름다운 이야기
[40]
Youtube
이항정리: 귀납법에 의한 증명
https://www.youtube.[...] [41]
Youtube
이항정리: 조합론적 접근
https://www.youtube.[...] [42]
서적
해석강좌(상)
https://books.google[...]
슈프링거·재팬
[43]
문서
수렴을 보장한다. |r|에 따라 |x| < |y|이더라도 이 급수가 수렴하는 경우가 있다.
[44]
서적
Calculus of One and Several Variables
Scott, Foresman
[45]
웹사이트
Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji
http://www-history.m[...] [46]
웹사이트
Historia Matematica Mailing List Archive: Re: [HM] Pascal's Triangle
http://archives.math[...]
1999-05-08
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.