수학의 흥미로운 세계에서 가장 기본적이면서도 중요한 개념 중 하나는 유리수와 무리수의 구분입니다. 특히, 루트2(√2)가 왜 유리수가 아닌 무리수인지 증명하는 과정은 많은 사람들에게 수학적 사고의 즐거움을 선사합니다. 이 글에서는 루트2가 무리수임을 증명하는 고전적인 방법인 귀류법을 중심으로, 그 원리와 과정을 상세하게 설명하고, 왜 이 증명이 중요한 의미를 갖는지 알아보겠습니다.
루트2가 무리수임을 증명하는 귀류법
루트2가 무리수임을 증명하기 위해 우리가 사용할 방법은 '귀류법(proof by contradiction)'입니다. 귀류법은 어떤 명제가 참임을 증명하기 위해, 그 명제가 거짓이라고 가정한 뒤 논리적인 모순을 이끌어내는 방식입니다. 만약 가정이 틀렸다면, 원래의 명제는 참이 될 수밖에 없다는 원리를 이용합니다.
루트2가 무리수가 아님, 즉 유리수라고 가정해봅시다. 유리수는 두 정수 a와 b (단, b는 0이 아님)의 분수 형태로 나타낼 수 있습니다. 따라서 루트2를 다음과 같이 표현할 수 있습니다.
√2 = a/b
이때, 우리는 분수 a/b가 가장 간단한 기약분수 형태라고 가정할 수 있습니다. 즉, a와 b는 1 이외의 공약수를 가지지 않는 서로소인 정수입니다. 만약 공약수가 있다면, 그 공약수로 분자와 분모를 약분하여 기약분수 형태로 만들 수 있기 때문입니다.
이제 양변을 제곱해봅시다.
(√2)² = (a/b)² 2 = a²/b²
이 식을 다시 정리하면 다음과 같습니다.
a² = 2b²
이 결과는 a²이 2의 배수, 즉 짝수임을 의미합니다. 어떤 정수의 제곱이 짝수라면, 그 정수 자신도 반드시 짝수여야 합니다. (홀수의 제곱은 항상 홀수이기 때문입니다. (2k+1)² = 4k² + 4k + 1 = 2(2k²+2k) + 1)
따라서 a는 짝수이므로, 어떤 정수 k에 대해 a = 2k로 나타낼 수 있습니다. 이제 이 a 값을 원래의 식 a² = 2b²에 대입해봅시다.
(2k)² = 2b² 4k² = 2b²
양변을 2로 나누면 다음과 같습니다.
2k² = b²
이 결과는 b²이 2의 배수, 즉 짝수임을 의미합니다. 앞서 a²이 짝수일 때 a가 짝수임을 보였듯이, b²이 짝수이므로 b 또한 반드시 짝수여야 합니다.
모순의 발견과 결론
여기서 우리는 중요한 모순을 발견하게 됩니다. 우리는 처음에 a와 b가 서로소인 정수, 즉 1 이외의 공약수를 가지지 않는다고 가정했습니다. 하지만 증명 과정에서 a가 짝수이고 b 또한 짝수라는 결론에 도달했습니다. 이는 a와 b가 모두 2라는 공약수를 가진다는 것을 의미합니다. 이는 처음에 했던 'a와 b는 서로소'라는 가정에 명백히 위배됩니다.
이러한 모순은 어디서 비롯된 것일까요? 바로 '√2는 유리수'라고 처음 가정했기 때문입니다. 가정이 모순을 이끌어냈으므로, 우리의 처음 가정이 틀렸다는 것을 의미합니다. 따라서 √2는 유리수가 될 수 없으며, 무리수임이 증명되었습니다.
증명의 의미와 시사점
루트2가 무리수임을 증명하는 이 귀류법은 수학에서 매우 강력하고 유용한 증명 기법 중 하나입니다. 이 증명은 단순히 루트2라는 특정 숫자의 성질을 밝히는 것을 넘어, 수학적 논리의 엄밀함과 추론의 중요성을 보여줍니다. 또한, 무한히 많은 무리수가 존재한다는 사실을 시사하며, 수 체계의 확장과 발전에 대한 이해를 돕습니다.
더 나아가, 이 증명 과정을 통해 우리는 수학적 개념을 정의하고, 가정을 세우고, 논리적으로 추론하여 결론에 도달하는 수학적 사고방식을 배울 수 있습니다. 이는 복잡한 수학 문제를 해결하는 데 필요한 근본적인 능력이며, 비단 수학뿐만 아니라 다양한 분야에서 논리적 사고를 함양하는 데 중요한 밑거름이 됩니다. 루트2의 무리성 증명은 수학의 아름다움과 논리의 힘을 느낄 수 있는 좋은 예시라고 할 수 있습니다.