무리수
위키백과 ― 우리 모두의 백과사전.
수학의 수 체계 |
---|
기초 |
복소수의 확장 |
기타 |
i 허수 단위 |
주요 상수 |
π - e - √2 - √3 - γ - |
무리수(無理數 , irrational number)는 두 정수의 비의 형태로 나타낼 수 없는 실수를 말한다. 이에 반해 두 정수의 비에 의해 나타낼 수 있는 수를 유리수라 한다.
예를 들면, 다음과 같은 형태
- a/b
여기서 a와 b는 정수이고 b는 0이 아니다.
무리수는 다시 와 같은 대수적 수(모든 유리수 포함)와 π 등의 초월수로 나뉘어진다.
목차 |
[편집] 무리수 명칭에 대한 논란
무리수라는 명칭에는 논란의 여지가 있다. 무리수라는 말은 개화기 일본의 학자들이 서양 학문을 수입하고 번역하면서 영어 irrational에 대응되는 뜻으로 만든 용어이다. 보통 rational은 이성적인이라는 뜻으로 사용하기 때문에 이성적이지 않은이라는 뜻에서 무리수라고 번역한 것으로 추정되지만, ratio라는 단어에 비율이라는 뜻이 있고, 무리수라는 의미로 사용할 때의 rational은 ratio의 형용사형이라고 볼 수도 있기 때문에, 몇몇 학자들은 '유비수/무비수(비율이 있는/비율이 없는)'와 같은 명칭을 이용해야 한다고 주장하기도 한다.
[편집] 몇가지 무리수의 증명
[편집] 특수한 로그꼴의 수
가장 간단히 무리수임이 증명되는 수는 log2 3 과 같은 꼴의 수일 것이다. 증명은 귀류법을 사용하며, 다음과 같다:
- log23 을 유리수라 하자. 그러면, 어떤 자연수 m, n에 대해, log23 = m/n 을 만족한다.
- 따라서, 2m/n = 3 이 되고.
- 변형하면, 2m = 3n.
- 그런데, 2m은 짝수이고, 3n은 홀수이므로 위 등식은 성립할 수 없다.
- 따라서, 가정이 틀렸다. 즉, log23은 무리수
[편집] 2의 제곱근
무리수를 최초로 발견한 것은 일반적으로, 2의 제곱근이 유리수가 아님을 발견한 피타고라스와 그 제자들로 알려져 있다.
이에 대한 증명의 한가지 방법은 다음처럼 귀류법을 사용하는 것이다.
- 가 유리수라 하자.
- 그러면, 는 기약분수 a / b로 쓸 수 있다. 다시 말해, 서로 소인 정수 a, b에 대해, (a / b)2 = 2.
- 위 식을 풀면 a2 / b2 = 2. 즉, a2 = 2 b2.
- 따라서, a2은 짝수.
- 짝수가 아닌 수, 즉 홀수의 제곱은 홀수이므로, a는 짝수여야 한다.
- 따라서, a2는 4의 배수.
- 즉, a2 / 2 는 짝수.
- (3)에서, a2 / 2 = b2.
- (7)과 (8)로부터, b2가 짝수임을 알 수 있다.
- (6), (7)과 같은 방법으로, b는 짝수.
- (5)와 (10)에 의해, a와 b는 모두 짝수. 이는 a / b가 기약이라는 (2)의 가정에 위배.
- 모순에 의해 (1)의 가 유리수라는 가정이 틀렸다는 걸 알 수 있다.
이 방법을 일반화하여, 제곱수가 아닌 자연수의 제곱근은 무리수임을 증명할 수 있다.