자연수 조건의 부정방정식과 중복조합의 응용
다음 조건을 만족시키는 자연수 $a, b, c, d, e$ 의 모든 순서쌍 $(a, b, c, d, e)$ 의 개수는? [3점]
(가) $a + b + c + d + e = 12$
(나) $|a^2 - b^2| = 5$
이 문항은 자연수 조건이 주어진 제한된 상황에서 방정식의 해를 구하고, 이를 중복조합을 활용하여 경우의 수로 연결하는 논리적 추론 능력을 평가합니다.
조건 (나)에 주어진 식 $|a^2 - b^2| = 5$ 를 인수분해를 통해 정리해 봅시다.
$a$ 와 $b$ 는 자연수이므로, $a+b$ 는 자연수이고 그 값은 최소 $1+1=2$ 이상입니다.
$5$ 는 소수(Prime Number)이므로 두 자연수의 곱으로 나타내는 방법은 $1 \times 5$ 뿐입니다. 따라서 $a+b \ge 2$ 조건에 의해 다음이 성립해야 합니다.
$|a-b|=1$ 은 $a-b=1$ 또는 $a-b=-1$ 을 의미하므로 연립방정식을 풀면 두 가지 순서쌍이 나옵니다.
결론적으로 $a+b$ 의 값은 항상 $5$ 로 일정하며, 가능한 $(a, b)$ 의 순서쌍은 2개입니다.
Step 1에서 얻은 결과인 $a+b = 5$ 를 조건 (가)의 방정식에 대입합니다.
여기서 중요한 조건은 $c, d, e$ 도 여전히 자연수라는 점입니다. 즉, $c \ge 1, d \ge 1, e \ge 1$ 을 만족해야 합니다.
중복조합 기호 ${}_{n}H_{r}$ 을 사용하려면 미지수의 조건이 '음이 아닌 정수($0$ 이상)'여야 합니다. 현재 $c, d, e$ 는 자연수($1$ 이상)이므로, 공평하게 $1$ 씩을 미리 나누어 준다고 생각하고 식을 변형합니다.
이를 $c + d + e = 7$ 에 대입합니다.
방정식 $X + Y + Z = 4$ 의 음이 아닌 정수해의 개수는 서로 다른 $3$ 개에서 중복을 허락하여 $4$ 개를 택하는 중복조합의 수와 같습니다.
최종적으로 전체 순서쌍 $(a, b, c, d, e)$ 의 개수는 $(a, b)$ 가 결정되는 경우의 수와 $(c, d, e)$ 가 결정되는 경우의 수를 곱하여 구합니다. (곱의 법칙 적용)
정답 : ① 30
문제의 서두에 명시된 '자연수 $a,b,c,d,e$' 조건을 간과하고, $c+d+e=7$ 단계에서 곧바로 중복조합 ${}_{3}H_{7}$ 로 계산하는 실수가 매우 빈번합니다.
교정 : 항상 중복조합 기호 ${}_{n}H_{r}$ 을 사용할 때는 미지수의 범위가 '0 이상(음이 아닌 정수)'인지 확인해야 합니다. 만약 자연수 조건이라면 미지수를 치환($c = X+1$)하여 0 이상으로 범위를 조정해야 합니다.
(나) 조건 $|a^2 - b^2| = 5$ 에서 절댓값을 빼먹고 $a^2 - b^2 = 5$ 만 풀어 $a=3, b=2$ 한 가지만 도출하는 경우가 있습니다.
논리적 증명 : 절댓값의 정의에 의해 $|x| = k \ (k>0)$ 이면 $x = k$ 또는 $x = -k$ 입니다. 따라서 $a^2 - b^2 = 5$ 뿐만 아니라 $a^2 - b^2 = -5$ (즉, $b^2 - a^2 = 5$)의 경우도 반드시 고려해야 대칭성으로 인한 두 가지 해$( (3,2), (2,3) )$를 모두 찾을 수 있습니다.
본 문제의 핵심 풀이 도구인 중복조합 ${}_{n}H_{r}$ 을 조합 ${}_{n+r-1}C_{r}$ 로 변환하는 논리를 칸막이 모델(Stars and Bars)을 통해 증명합니다.
서로 다른 $n$ 개에서 중복을 허락하여 $r$ 개를 택하는 경우의 수 ${}_{n}H_{r}$ 은 ${}_{n+r-1}C_{r}$ 과 같다.
논리적 서술 증명 :
■ $c + d + e = 7$ 의 모든 자연수 해 관찰
문제의 조건 (가)를 정리하여 도출된 방정식 $c + d + e = 7$ (단, $c,d,e$ 는 자연수) 의 15가지 해를 2D 캔버스 상의 막대 그래프 형태로 순회하며 시각화합니다. 중복조합의 결과가 어떻게 분포되는지 직관적으로 확인해 보세요.