[수학, 잡담] Q[root 2] 가 체가 됨을 보여라 // Feat root 2는 무리수

최근에 아주 어린 한 당돌한 친구(?)로부터 질문이 들어왔다. ㅋㅋㅋ

가 Field 임을 어떻게 증명하냐고 ㅋㅋㅋ 여기서 Q 는 유리수를 말한다.
[여담으로 Q[root 2] 는 Q adjoin root 2 로 부르기도 하며 root 2를 포함하는 가장 작은 유리수의 확장체이다. ]

수학자들이 정의하는 체(Field) 는 0이 아닌 모든 원소가 unit 인 것을 말하는데, 쉽게 위 문제를 풀어쓰면 0이 아닌 모든 원소의 곱셈에 대한 역수가 연산안에 존재한다는 것을 보이라는 것이다.

이를 먼저 보이기 위해서는 먼저 저 Q[\sqrt{2}]의 0이 무엇인지에 대해서 생각할 필요가 있다.

조금만 더 나아가면 유리수 a,b 에 대해서

를 보이면 되는 건데 사실 이는 root 2 가 무리수임을 보이는 문제와 같은 문제이다. (왜냐하면 a=b=0 이면 당연히 왼쪽이 0이 될것이니, 나머지 방향만 보이면 되는 건데, a와 b 가 0이 아니라고 가정하면, 나머지 방향은 root 2 = - a/b 로 기술된다는 것을 말해 주기 때문이다. )

심심한데 추억을 더듬어 한번 root 2 가 무리수임을 보여보자. 해당 증명이 아마 중고교 범위를 벗어나지 않을 것 같은데...

가장 교과서적인 증명 방법은 귀류법, 즉 명제의 결과를 부정하고 증명하면서 모순을 찾아내는 방법을 사용하는 풀이이다.

root 2 가 유리수라 가정하자, 즉 유리수의 정의로부터 정수 a,b 를 가지고

이 식이 잘 정리 되려면 당연히 b 는 0이 아닌 값을 가진다. 여기서 (a,b) 는 a,b 의 최대공약수를 말한다. (a,b)=1 이라는 것은 a와 b 가 서로소라는 것을 말한다.

한번 제곱해 보자

이는 a^2 이 짝수임을 말해준다. 더 나아가 어떤 수의 제곱이 짝수라는 것은 그 수 자신이 짝수라는 것을 말해 주니까 ( 어떤 두수의 곱이 짝수 이러면 두 수 중 하나는 무조건 짝수여야 한다. 그러니 같은 수의 제곱이 짝수라는 것은 그 수가 짝수라는 것을 말해준다. )

즉 a 가 짝수이니까 a^2 는 4의 배수가 되고 이는 b^2 이 짝수라는 것을 말해준다. 또 이것은 b 가 짝수라는 것을 말해준다. 이는 (a,b)=1 즉 a와 b가 서로소라는 가정에 위반되어 모순이다.

즉 root 2 가 유리수라는 가정이 잘못 되었음을 말하고 이는 root 2 가 무리수라는 것을 증명한다.

여담이 길었군, 아무튼 이제 다시 본제로 돌아와서 Q[root 2] 가 Field 임을 보여보자. 0이 아닌 원소에 대해 곱셈에 대한 역수의 형태가 Q[root 2] 의 원소 형태임을 보이면 된다.

사실 이 과정은 무리수의 유리화 과정이었나? 중고교에 나오는 계산 테크닉인데, 여기서 중요한 것은 a+b root[2] 가 0이 아니기에 a-b root[2] 역시 0 이 아니라는 것이다.