무리수, 실수 그리고 더 큰 체계 Irrational number, real number and the greater system
이전 포스트에서 거듭제곱 에 대해 얘기했다. 여기서 a^(x/y)가 유리수일지에 의문만 던지고 갔는데, 여기에 대해 알아보자. 우선 a,x,y가 자연수일 때부터 생각해보자. 임의의 자연수에 대해서 소수의 조합으로 나타낼 수 있다고 앞 에서 얘기했었다. N=(p(1)^(n(1))*...*(p(m)^(n(m))) p(i) (i는 1에서 m까지의 자연수) 는 소수 n(i)는 자연수 N^k = (p(1)^(k*n(1)))*...*(p(m)^(k*n(m))) (k는 1이 아닌 자연수) 자연수의 k제곱은 소수(prime number)의 k배수 제곱의 곱으로 이루어져 있다. 그럼 소수 p를 보자 p=(p^(1/k))^k (k은 자연수) 로 나타낼 수 있다. p^(1/k)=a/b (a,b는 서로소)라고 가정해보자. 유리수라고 가정해본 것이다. 서로소라는 건 a,b 두 자연수의 1 외에 공약수가 없다는 의미이다. 양변을 k제곱하면, p=(a^k)/(b^k) 이렇게 될 것이다. a^k=(b^k)*p 가 될 것이다. a^k는 자연수이고, p의 배수이다. a^k가 p의 배수라는 얘기는 p^k의 배수라는 얘기이다. 자연수의 k제곱은 소수(prime number)의 k배수 제곱의 곱으로 이루어져 있다. 이 문구를 잘 생각해보라. k는 1이 아닌 자연수이므로, 1보다 크므로 k-1은 자연수가 된다. a^k=(p^k)*(c^k) 라고 하자. b^k=(p^(k-1))*(c^k) 이다. b^k는 p^(k-1)의 배수, b^k는 p^k의 배수라는 얘기이다. 위에 있는 문구를 잘 생각해보라 b^k=(p^k)*(d^k)라고 하자. a=(a^k)^(1/k), b=(b^k)^(1/k) a=pc, b=pd가 된다. 위에 가정에서 p^(1/k)=a/b, a,b는 서로소라고 했는데, 도출해서 나온 결과는 a,b 공약수가 1외에 p라는 수가 있다는 점이다...