수리논술, 배움에서 논증의 완성까지.

논술 카탈란 수

개념강의 바로가기 ↓

강의 노트

*카탈란 수

좌표평면에서 오른쪽 또는 위쪽으로 한 칸씩 이동하여 (0,0)\displaystyle (0,0)에서 (n,n)\displaystyle (n,n)까지 가되,직선 y=x\displaystyle y=x 위쪽으로 올라가지 않는 경로의 수를 카탈란 수 Cn\displaystyle C_n이라 한다.대각선에 닿는 것은 허용하며, 아무 이동도 하지 않는 경우를 하나로 세어 C0=1\displaystyle C_0=1로 둔다.

카탈란 수의 일반항은Cn=1n+12nCn=(2n)!n!(n+1)!(n0)\displaystyle C_n=\frac{1}{n+1}{}_{2n}\mathrm{C}_n=\frac{(2n)!}{n!(n+1)!}\quad(n\ge 0)이고, 처음 몇 항은C0=1, C1=1, C2=2, C3=5, C4=14, C5=42\displaystyle C_0=1,\ C_1=1,\ C_2=2,\ C_3=5,\ C_4=14,\ C_5=42이다.

*대칭을 이용한 계산

n1\displaystyle n\ge 1이라 하자. 조건 없이 (0,0)\displaystyle (0,0)에서 (n,n)\displaystyle (n,n)까지 가는 경로는오른쪽 이동과 위쪽 이동을 각각 n\displaystyle n번씩 나열하므로 2nCn\displaystyle {}_{2n}\mathrm{C}_n개이다.여기서 한 번이라도 y=x\displaystyle y=x 위쪽으로 올라가는 경로의 수를 뺀다.

조건을 어긴 경로가 처음으로 직선 y=x+1\displaystyle y=x+1에 닿는 점을 P\displaystyle \mathrm{P}라 하자.출발점부터 P\displaystyle \mathrm{P}까지의 부분만 직선 y=x+1\displaystyle y=x+1에 대하여 대칭이동한다.그러면 출발점 (0,0)\displaystyle (0,0)(1,1)\displaystyle (-1,1)로 옮겨지고, P\displaystyle \mathrm{P}와 그 뒤의 경로는 그대로이므로(1,1)\displaystyle (-1,1)에서 (n,n)\displaystyle (n,n)까지 가는 경로가 된다.

거꾸로 (1,1)\displaystyle (-1,1)에서 (n,n)\displaystyle (n,n)까지 가는 경로는 반드시 y=x+1\displaystyle y=x+1에 닿는다.처음 닿는 점까지의 부분을 같은 직선에 대하여 대칭이동하면 원래 경로가 복원된다.따라서 두 경로의 집합은 일대일로 대응한다.

(1,1)\displaystyle (-1,1)에서 (n,n)\displaystyle (n,n)까지는 오른쪽으로 n+1\displaystyle n+1번, 위쪽으로 n1\displaystyle n-1번 이동하므로조건을 어긴 경로는 2nCn1\displaystyle {}_{2n}\mathrm{C}_{n-1}개이다. 따라서Cn=2nCn2nCn1=(1nn+1)2nCn=1n+12nCn.\displaystyle \begin{aligned}C_n&={}_{2n}\mathrm{C}_n-{}_{2n}\mathrm{C}_{n-1}\\&=\left(1-\frac{n}{n+1}\right){}_{2n}\mathrm{C}_n\\&=\frac{1}{n+1}{}_{2n}\mathrm{C}_n.\end{aligned}

Advice. 조건을 만족하는 경로를 직접 세기 어려우면, 조건을 어긴 경로를 다른 두 점 사이의 경로로 바꾸어 센다. 대칭시킬 부분은 경계에 처음 닿을 때까지로 정하고, 거꾸로도 유일하게 복원되는지 확인한다.

*같은 구조의 문제

여는 괄호와 닫는 괄호를 각각 n\displaystyle n개씩 써서 올바른 괄호 배열을 만드는 경우의 수도 Cn\displaystyle C_n이다.왼쪽부터 어느 곳까지 읽더라도 닫는 괄호가 여는 괄호보다 많아서는 안 된다.여는 괄호를 오른쪽 이동, 닫는 괄호를 위쪽 이동에 대응시키면바로 yx\displaystyle y\le x를 만족하는 경로가 된다.

두 종류의 기호를 각각 n\displaystyle n개씩 나열하면서,어느 곳까지 세어도 한 종류의 개수가 다른 종류보다 적지 않아야 하는 문제도 같다.총개수가 서로 다르거나 처음부터 개수 차이가 있으면 카탈란 수 공식을 바로 대입할 수는 없지만,경계를 정하고 대칭을 이용해 조건을 어긴 경우를 빼는 아이디어는 그대로 활용할 수 있다.

TMI. 카탈란 수의 점화식은 다음과 같다.C0=1,Cn+1=k=0nCkCnk(n0)\displaystyle C_0=1,\qquad C_{n+1}=\sum_{k=0}^{n}C_kC_{n-k}\quad(n\ge 0)올바른 괄호 배열은 첫 여는 괄호와 짝이 되는 닫는 괄호를 기준으로, 그 안쪽과 뒤쪽의 두 배열로 나뉜다. 전체가 n+1\displaystyle n+1쌍이고 안쪽이 k\displaystyle k쌍이면 뒤쪽은 nk\displaystyle n-k쌍이므로, 경우의 수 CkCnk\displaystyle C_kC_{n-k}k=0\displaystyle k=0부터 n\displaystyle n까지 더한다.계산할 때는 일반항에서 얻는 다음 점화식도 편리하다.Cn+1=2(2n+1)n+2Cn(n0)\displaystyle C_{n+1}=\frac{2(2n+1)}{n+2}C_n\quad(n\ge 0)

TMI. 카탈란 수는 수학자 외젠 샤를 카탈란(Eugène Charles Catalan, 1814–1894)의 이름을 땄다. 다만 그보다 앞서 오일러도 볼록다각형을 대각선이 내부에서 교차하지 않도록 삼각형으로 나누는 문제에서 같은 수를 다루었다. 볼록사각형은 2가지, 볼록오각형은 5가지, 볼록육각형은 14가지로 나뉘며, 일반적으로 볼록 (n+2)\displaystyle (n+2)각형의 분할 수가 Cn\displaystyle C_n이다.경로를 세다가 얻은 수가 괄호를 묶거나 다각형을 나누는 문제에도 나타난다. 겉모습은 달라도 같은 방식으로 쪼개어 셀 수 있는 구조가 숨어 있기 때문이다.Igor Pak, History of Catalan Numbers

이 개념만 나오는 문제

아직 이 개념만 다루는 문제가 없습니다.