1번째 줄:
1번째 줄:
[[수학]]에서, '''계승'''(階乘, {{llang|en|factorial|팩토리얼}}, {{문화어|'''차례곱'''}})은 [[1]]부터 <math>n</math>까지의 연속된 [[자연수]]를 차례로 곱한 값이다. [[기호]]로는 <math>n!</math>과 같이 [[느낌표]]('''!''')를 사용하며, 이는 한국에서 간혹 "팩"으로 읽는 경우가 있다. 이를테면 3!은 "3팩"이 된다.
[[수학]]에서, '''계승'''(階乘, {{llang|en|factorial|팩토리얼}}, {{문화어|'''차례곱'''}})은 [[1]]부터 <math>n</math>까지의 연속된 [[자연수]]를 차례로 곱한 값이다. [[기호]]로는 <math>n!</math>과 같이 [[느낌표]]('''!''')를 사용하며, 이는 한국에서 간혹 "팩토리얼(줄여서 팩) "로 읽는 경우가 있다. 이를테면 3!은 "3팩(토리얼) "이 된다.
== 정의 ==
== 정의 ==
2017년 2월 3일 (금) 18:52 판
수학 에서, 계승 (階乘, 영어 : factorial 팩토리얼[* ] , 문화어 : 차례곱 )은 1 부터
n
{\displaystyle n}
까지의 연속된 자연수 를 차례로 곱한 값이다. 기호 로는
n
!
{\displaystyle n!}
과 같이 느낌표 (! )를 사용하며, 이는 한국에서 간혹 "팩토리얼(줄여서 팩)"로 읽는 경우가 있다. 이를테면 3!은 "3팩(토리얼)"이 된다.
정의
계승 함수는 아래와 같이 형식적으로 정의한다.
n
!
=
∏
k
=
1
n
k
for all
n
≥
0
{\displaystyle n!=\prod _{k=1}^{n}k\qquad {\mbox{for all }}n\geq 0\!}
예를 들면,
5
!
=
5
×
4
×
3
×
2
×
1
=
120
{\displaystyle 5!=5\times 4\times 3\times 2\times 1=120}
따라서,
5
!
=
5
×
4
×
3
!
=
120
{\displaystyle 5!=5\times 4\times 3!=120}
5
!
=
5
P
2
×
3
!
=
120
{\displaystyle 5!={}_{5}P_{2}\times 3!=120}
5
!
=
5
P
2
×
(
n
−
2
)
!
=
120
{\displaystyle 5!={}_{5}P_{2}\times (n-2)!=120}
5
!
=
5
×
4
×
3
×
2
!
=
120
{\displaystyle 5!=5\times 4\times 3\times 2!=120}
5
!
=
5
P
3
×
(
n
−
3
)
!
=
120
{\displaystyle 5!={}_{5}P_{3}\times (n-3)!=120}
따라서,
n
!
=
n
P
k
⋅
(
n
−
k
)
!
{\displaystyle n!={}_{n}P_{k}\cdot (n-k)!}
n
P
k
=
n
!
(
n
−
k
)
!
{\displaystyle {}_{n}P_{k}={n! \over (n-k)!}}
또한 0에 대해서는
0
!
=
1
{\displaystyle 0!=1\ }
로 정의한다. 이 정의는 다음과 같은 이유에서 매우 유용하다.
계승의 점화식 (n + 1)! = n ! × (n + 1) 이 n = 0 일 때까지 성립한다.
이 정의는 조합론 에 등장하는 많은 공식에서 크기가 0인 집합에까지 식을 일반화한다.
팩토리얼(계승)의 정의는 순열 의 정의를 만족한다.
이중 계승 (영어 : double factorial )은 다음과 같이 정의된다.
(
2
k
−
1
)
!
!
=
∏
i
=
1
k
(
2
i
−
1
)
=
(
2
k
)
!
2
k
k
!
{\displaystyle (2k-1)!!=\prod _{i=1}^{k}(2i-1)={\frac {(2k)!}{2^{k}k!}}}
(
2
k
)
!
!
=
∏
i
=
1
k
(
2
i
)
=
2
k
k
!
{\displaystyle (2k)!!=\prod _{i=1}^{k}(2i)=2^{k}k!}
자연수가 아닌 경우의 정의
감마 함수 를 사용하여, 음의 정수가 아닌 복소수에 대하여 계승을
z
!
=
Γ
(
z
+
1
)
{\displaystyle z!=\Gamma (z+1)}
으로 정의할 수 있다.
자연수가 아닌 수에서도 감마 함수 를 이용하여, 좀 더 일반적인 형태의 계승을 정의할 수 있다:
감마 함수는
Γ
{\displaystyle \Gamma }
로 표시하고, z>-1일때 다음과 같다.
z
!
=
Γ
(
z
+
1
)
=
∫
0
∞
t
z
e
−
t
d
t
{\displaystyle z!=\Gamma (z+1)=\int _{0}^{\infty }t^{z}e^{-t}\,dt\!}
마지막의 수식은 음수와 같은 예외를 포함한, 복소수 집합 에서의 일반적인 계승을 나타낸다.
특히, 자연수 + 0.5 꼴의 수에서는
n
!
=
π
×
∏
k
=
0.5
n
k
{\displaystyle n!={\sqrt {\pi }}\times \prod _{k=0.5}^{n}k}
과 같이 계산된다.
예를 들면:
3.5
!
=
π
⋅
1
2
⋅
3
2
⋅
5
2
⋅
7
2
≈
11.6317
{\displaystyle 3.5!={\sqrt {\pi }}\cdot {1 \over 2}\cdot {3 \over 2}\cdot {5 \over 2}\cdot {7 \over 2}\approx 11.6317}
4.5
!
=
π
⋅
1
2
⋅
3
2
⋅
5
2
⋅
7
2
⋅
9
2
≈
52.3428
{\displaystyle 4.5!={\sqrt {\pi }}\cdot {1 \over 2}\cdot {3 \over 2}\cdot {5 \over 2}\cdot {7 \over 2}\cdot {9 \over 2}\approx 52.3428}
성질
팩토리얼(
f
a
c
t
o
r
i
a
l
{\displaystyle factorial}
)은 다음과 같은 성질을 갖는다.
n
!
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
⋅
⋅
(
n
−
n
+
2
)
⋅
(
n
−
n
+
1
)
{\displaystyle n!=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot \cdot \cdot (n-n+2)\cdot (n-n+1)}
n
!
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
⋅
⋅
(
n
−
(
n
−
2
)
)
⋅
(
n
−
(
n
−
1
)
)
{\displaystyle n!=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot \cdot \cdot (n-(n-2))\cdot (n-(n-1))}
n
!
=
(
n
−
0
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
⋅
⋅
(
n
−
(
n
−
1
)
+
1
)
⋅
(
n
−
(
n
−
0
)
+
1
)
{\displaystyle n!=(n-0)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot \cdot \cdot (n-(n-1)+1)\cdot (n-(n-0)+1)}
1
!
=
(
1
)
=
(
1
−
1
+
1
)
=
(
1
−
(
1
−
1
)
)
=
(
1
−
(
1
−
0
)
+
1
)
=
1
{\displaystyle 1!=(1)=(1-1+1)=(1-(1-1))=(1-(1-0)+1)=1}
n
!
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
⋅
⋅
(
n
−
n
+
2
)
⋅
(
n
−
n
+
1
)
,
(
0
<
k
≤
n
)
{\displaystyle n!=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot \cdot \cdot (n-n+2)\cdot (n-n+1)\;\;,\;(0<k\leq n)}
n
P
k
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
(
n
−
k
+
2
)
⋅
(
n
−
k
+
1
)
{\displaystyle {}_{n}P_{k}=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot (n-k+2)\cdot (n-k+1)}
n
P
k
=
n
P
k
×
(
n
−
k
)
!
(
n
−
k
)
!
{\displaystyle {}_{n}P_{k}={}_{n}P_{k}\times {{(n-k)!} \over {(n-k)!}}}
n
P
k
=
n
P
k
×
(
n
−
k
)
!
(
n
−
k
)
!
{\displaystyle {}_{n}P_{k}={{{}_{n}P_{k}\times (n-k)!} \over {(n-k)!}}}
∴
n
P
k
=
n
!
(
n
−
k
)
!
{\displaystyle \therefore \;{}_{n}P_{k}={{n!} \over {(n-k)!}}}
k
=
n
,
{\displaystyle k=n\;,\;}
n
P
k
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
(
n
−
k
+
2
)
⋅
(
n
−
k
+
1
)
{\displaystyle {}_{n}P_{k}=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot (n-k+2)\cdot (n-k+1)}
n
P
n
=
(
n
)
⋅
(
n
−
1
)
⋅
(
n
−
2
)
⋅
⋅
⋅
⋅
⋅
(
n
−
n
+
2
)
⋅
(
n
−
n
+
1
)
=
n
!
{\displaystyle {}_{n}P_{n}=(n)\cdot (n-1)\cdot (n-2)\cdot \cdot \cdot \cdot \cdot (n-n+2)\cdot (n-n+1)=n!}
n
P
n
=
n
!
(
n
−
n
)
!
{\displaystyle {}_{n}P_{n}={{n!} \over {(n-n)!}}}
n
P
n
=
n
!
0
!
{\displaystyle {}_{n}P_{n}={{n!} \over {0!}}}
0
!
=
n
!
n
P
n
{\displaystyle {0!}={{n!} \over {{}_{n}P_{n}}}}
∴
0
!
=
n
!
n
!
(
∵
n
P
n
=
n
!
)
{\displaystyle \therefore \;{0!}={{n!} \over {n!}}\;\;(\because \;{}_{n}P_{n}={n!})}
0
!
=
1
1
{\displaystyle {0!}={1 \over 1}}
0
!
=
1
{\displaystyle {0!}=1}
값
음이 아닌 정수의 계승은 다음과 같다. (OEIS 의 수열 A142 )
0!
1
1!
1
2!
2
3!
6
4!
24
5!
120
6!
720
7!
5 040
8!
40 320
9!
362 880
10!
3 628 800
11!
39 916 800
12!
479 001 600
13!
6 227 020 800
14!
87 178 291 200
15!
1 307 674 368 000
16!
20 922 789 888 000
17!
355 687 428 096 000
18!
6 402 373 705 728 000
19!
121 645 100 408 832 000
20!
2 432 902 008 176 640 000
역사
계승의 기본적인 개념은 n 개의 원소의 순열 의 개수로서 이미 12세기 인도 수학에 알려져 있었다.[1]
프랑스어 : factorielle 팍토리엘[* ] 이라는 이름은 프랑스의 루이 프랑수아 앙투안 아르보가(프랑스어 : Louis François Antoine Arbogast )가 사용하였다. 느낌표 표기법은 1808년 수학자 크리스티앙 크랑 (프랑스어 : Christian Kramp )이 저서 《보편 산술 원론》(프랑스어 : Éléments d’arithmétique universelle )[2] 에서 처음으로 사용하였다. 크랑은 원래 계승을 프랑스어 : faculté 파퀼테[* ] )라고 불렀으나, 이후 아르보가를 따라 "팩토리얼"을 대신 사용하였다.
함께 보기
각주
↑ Biggs, N. L. (1979). “The roots of combinatorics”. 《Historia Math.》 (영어) 6 : 109−136.
↑ Kramp, Christian (1808). 《Éléments d’arithmétique universelle》 (프랑스어). 쾰른 : De l’imprimerie de Th. F. Thiriart, et se vend chez Hansen.
참고 문헌
바깥 고리