대각화 논증이 유리수에 적용되지 않는 두 가지 이유

초록

학생들이 실수의 비가산성을 증명할 때 쓰는 대각화 논법을 유리수에도 그대로 쓰면 왜 무효가 되는지를 탐구한다. 첫 번째 답변은 소수 전개에서 유리수가 결국 유한하거나 주기적인 형태를 갖는다는 점을 강조하고, 두 번째 답변은 연속분수표현에서 유리수가 유한 연속분수로만 나타난다는 사실을 이용한다. 두 접근 모두 대각선으로 만든 새로운 수가 반드시 무리수가 되므로, 유리수 집합의 비가산성을 증명할 수 없음을 보여준다.

상세 요약

대각화 논증은 “모든 실수를 일렬로 나열한다면, 그 목록의 대각선에 있는 자리들을 바꿔 새로운 수를 만들면 그 새로운 수는 목록에 포함될 수 없다”는 아이디어에 기반한다. 이 논증이 성공하려면 두 가지 전제가 필요하다. 첫째, 선택한 표현 방식(예: 십진법, 연속분수)이 모든 대상 집합의 원소를 동일한 형태의 무한열로 나타낼 수 있어야 한다. 둘째, 대각선에서 만든 변형이 원래 집합에 속하지 않는 새로운 원소를 보장해야 한다.

실수의 경우 십진법은 모든 실수를 무한히 이어지는 자리수열로 표현한다. 대각선 변형은 언제나 무한하고 비주기적인 자리수열을 만들며, 이는 반드시 무리수이므로 실수 전체에 대한 비가산성을 증명한다.

하지만 유리수에 같은 논법을 적용하면 첫 번째 전제가 깨진다. 유리수는 십진법으로 표현하면 유한하거나 결국 주기적으로 반복되는 자리수열이 된다. 대각선 변형은 일반적으로 비주기적인 무한열을 만든다. 이 무한열은 무리수이며, 따라서 원래의 유리수 집합에 속하지 않는다. 즉, 대각선이 만든 “새로운 수”가 유리수가 아니라는 점에서 논증이 실패한다.

두 번째 답변은 연속분수표현을 사용한다. 모든 유리수는 유한한 연속분수(즉, 유한한 정수열)로 정확히 표현된다. 반면 무리수는 무한 연속분수, 즉 무한히 이어지는 정수열이다. 대각선 변형을 연속분수의 각 자리(계수)마다 수행하면, 결과는 반드시 무한 연속분수가 된다. 이는 다시 무리수이며, 유리수 집합에 속하지 않는다. 따라서 연속분수에서도 대각화는 유리수의 비가산성을 증명하지 못한다.

이 두 접근은 서로 다른 표현 체계에도 불구하고 공통적으로 “대각선 변형이 만든 수가 원래 집합에 속하지 않는다”는 점을 이용한다는 점에서 핵심 논리를 드러낸다. 그러나 유리수는 표현 자체가 유한(또는 주기적)이라는 구조적 제한을 가지고 있기 때문에, 대각선 변형이 무한열을 만들면 자동으로 집합 밖으로 빠져나가게 된다. 따라서 대각화는 유리수의 가산성을 부정할 수 없으며, 오히려 유리수의 가산성을 보여주는 다른 방법(예: 쌍곡선 배열, 소인수 분해 기반 열거)과 조화를 이룬다.

이 논문은 이러한 차이를 명확히 함으로써 학생들이 흔히 겪는 혼동을 해소하고, 대각화 논증이 적용 가능한 상황과 그렇지 않은 상황을 구분하는 사고틀을 제공한다.