원순열의 이해 및 이웃하는 조건과 이웃하지 않는 조건의 복합적 추론
세 학생 A, B, C를 포함한 6명의 학생이 있다.
이 6명의 학생이 일정한 간격을 두고 원 모양의 탁자에 다음 조건을 만족시키도록 모두 둘러앉는 경우의 수는?
(단, 회전하여 일치하는 것은 같은 것으로 본다.)
(가) A와 B는 이웃한다.
(나) B와 C는 이웃하지 않는다.
이 문항은 원순열에서 특정 대상을 묶음으로 처리하는 방법과, 여사건을 활용하여 복합적인 제약 조건을 논리적으로 해결하는 능력을 평가합니다.
조건 (나)를 잠시 보류하고, 조건 (가)만 만족하는 경우의 수를 먼저 구합니다. A와 B가 이웃해야 하므로 A와 B를 하나의 묶음(블록)으로 생각합니다.
A, B를 하나의 개체로 보면 전체 인원은 5명(묶음 1개 + 나머지 4명)으로 간주할 수 있습니다. 이 5명을 원탁에 앉히는 원순열의 수는 다음과 같습니다.
여기에 묶음 내부에서 A와 B가 서로 자리를 바꾸는 경우의 수를 곱해주어야 합니다.
따라서 조건 (가)를 만족하는 총 경우의 수는 $24 \times 2 = 48$ 가지입니다.
조건 (나)에 의해 B와 C는 이웃하면 안 됩니다. 앞서 구한 $48$가지 중에서 B와 C가 이웃하게 되는 경우(여사건)를 빼주는 방식으로 접근합니다.
A, B가 이웃하면서 B, C도 이웃하려면, 묶음의 배치가 반드시 $A-B-C$ 이거나 $C-B-A$ 형태가 되어야만 합니다. 이를 또 다른 커다란 하나의 묶음으로 취급합니다.
조건 (가)를 만족하는 전체 경우의 수에서 여사건을 빼주면 두 가지 조건을 모두 만족하는 경우의 수가 도출됩니다.
따라서 실전 정답은 36이며, 선택지에서 ③번이 정답입니다.
학생들이 자주 범하는 오개념은 B와 C가 이웃하지 않는다는 조건에 매몰되어, 전체 6명의 원순열인 $5! = 120$에서 B와 C가 이웃하는 경우를 먼저 빼버리는 것입니다. 이렇게 계산하면 조건 (가)인 A와 B가 이웃해야 한다는 전제 조건이 무너지게 됩니다.
수학적 교정 : 우리가 구하고자 하는 집합은 $n(A \cap B^c)$ 입니다. 집합의 연산 법칙에 따라 $n(A \cap B^c) = n(A) - n(A \cap B)$ 가 성립합니다. 따라서 반드시 조건 A(A와 B가 이웃)를 만족하는 집합 안에서, 조건 B(B와 C가 이웃)가 동시에 발생하는 교집합 부분을 제거해야 합니다.
문제 해결의 근간이 되는 원순열의 공식 $(n-1)!$ 이 성립하는 이유를 두 가지 관점에서 논리적으로 증명합니다.
■ 2D 좌표평면 원순열 및 여사건 추적 모델