수는 왜 계속 늘어났을까: 문제가 새 수를 낳은 과정
인류가 처음 필요로 한 것은 물건을 세는 자연수였습니다. 그런데 "5개에서 3개를 빼는" 것은 되어도 "3개에서 5개를 빼는" 것은 자연수로는 답이 없으므로 음수와 0을 포함한 정수가 필요해집니다. 정수끼리 나누면(1÷3) 답이 정수가 아닌 경우가 생기므로 분수, 곧 유리수가 필요하고, 정사각형의 대각선 길이처럼 분수로 쓸 수 없는 길이가 나타나자 무리수와 실수가 필요해집니다. 마지막으로 x²+1=0 같은 방정식은 실수 범위에는 해가 없으므로 허수 i를 도입해 복소수로 넓힙니다. 이렇게 "답이 없던 문제"가 다음 체계를 부르는 흐름이 수의 종류를 이해하는 가장 쉬운 뼈대입니다.
수의 체계 비교표
| 수 체계 | 기호 | 새로 풀게 된 문제 (예) | 예시 |
|---|---|---|---|
| 자연수 | ℕ | 사물 세기 | 1, 2, 3 |
| 정수 | ℤ | 작은 수에서 큰 수 빼기 (3-5) | -2, 0, 7 |
| 유리수 | ℚ | 정수끼리 나누기 (1÷3) | 1/3, 0.25, 0.333… |
| 실수 | ℝ | 수직선의 빈틈 메우기 (√2, π) | √2, π, 5 |
| 복소수 | ℂ | x²+1=0 같은 방정식 풀기 | 2+3i, i, 4 |
무리수는 실수에서 유리수를 뺀 수이므로 별도의 체계라기보다 실수 안의 한 부분이고, 허수 역시 복소수 안에서 실수가 아닌 수를 가리킵니다. 소수(素數)는 자연수 중 약수가 1과 자기 자신뿐인 수(2, 3, 5, 7…)로, 1은 소수가 아닙니다.
실제 사례 세 가지
사례 1. √2는 분수가 아니다: 무리수의 발견 (고대 그리스, 전승 포함)
고대 그리스의 피타고라스학파는 모든 길이를 정수의 비로 나타낼 수 있다고 믿었다고 전해집니다. 그런데 한 변이 1인 정사각형의 대각선(√2)은 정수의 비로 쓸 수 없다는 증명이 이 믿음을 깨뜨렸습니다. 위키백과는 이 최초의 증명을 피타고라스학파의 한 사람, "아마도 메타폰툼의 히파소스"의 것으로 서술하며, √2를 처음 무리수로 증명된 수일 가능성이 높다고 정리합니다. 히파소스가 비밀을 누설해 바다에 던져졌다는 이야기는 널리 퍼져 있지만 위키백과도 전설로 분류합니다. 기원전 300년경 유클리드의 『원론』 10권에도 통약 불가능한 양에 관한 명제가 실려 있습니다. 배울 점은 "수는 직관으로 정해지지 않고 증명으로 확인된다"는 것, 그리고 인물에 얽힌 극적인 일화는 사실과 전설을 구분해서 읽어야 한다는 것입니다.
사례 2. 쓸 수는 있지만 믿기 어려웠던 수: 허수의 등장 (16~17세기 유럽)
제곱근 안에 음수가 들어가는 계산은 방정식 풀이 과정에서 먼저 나타났습니다. 위키백과 기준으로 제롤라모 카르다노가 1545년 『아르스 마그나』에서 이 개념을 다뤘고, 라파엘 봄벨리는 1572년 이런 수의 곱셈 규칙을 처음 정리했습니다. 1637년 『기하학』에서 데카르트가 "허수(imaginary)"라는 이름을 붙였는데, 비하의 뜻이 담긴 표현이었다고 합니다. 이후 18~19세기 오일러와 가우스의 업적을 거치며 허수는 널리 받아들여졌고, 1799년 카스파르 베셀은 복소수를 평면의 점으로 나타내는 방법을 처음 설명했습니다(당시에는 거의 주목받지 못했습니다). 배울 점은 "상상 속의 수"라는 이름과 달리 허수가 계산 도구로 먼저 쓰이다가 나중에 의미를 얻었다는 순서이며, 이름은 역사적 우연일 뿐 허수가 허구라는 뜻이 아니라는 것입니다.
사례 3. 끝이 없는 소수(素數): 유클리드의 증명과 암호 (고대~현대)
유클리드는 『원론』에서 소수가 무한히 많다는 것을 증명했습니다. 소수가 유한하다고 가정하고 그 모두를 곱한 값에 1을 더하면, 그 수의 소인수는 기존 목록에 없는 소수가 되어 모순이 생긴다는 논증입니다. 시간이 지나 1970년대 공개키 암호와 RSA 암호가 발명되면서 소수는 암호의 바탕으로 쓰이게 되었습니다(위키백과 기준 연대 서술). 배울 점은 가장 오래된 순수 수학 증명이 현대 보안 기술의 재료와 이어진다는 것인데, 이 연결이 구체적으로 어떻게 작동하는지는 암호 분야 자료에서 따로 확인하는 것이 좋습니다.
직접 확인해 보기
- 소속 찾기 연습: -4, 0.75, 1/3, √9, √2, 2i가 어느 체계에 들어가는지 하나씩 적어 보세요. 예를 들어 √9=3이므로 √9는 자연수이고, √2는 무리수입니다. "근호가 있으면 무리수"가 아니라는 점이 핵심입니다.
- 순환소수 확인: 1÷3=0.333…처럼 일정한 숫자가 반복되는 무한소수는 분수로 쓸 수 있으므로 유리수입니다. 반복 없이 끝없이 이어질 때만 무리수입니다.
- 소수(素數) 판별: 어떤 수가 소수인지 보려면 2부터 차례로 나누어 떨어지는 수가 있는지 확인하면 됩니다. 1은 정의상 소수가 아닙니다.
- 진법과 표기도 같이 보기: 같은 수를 다른 진법으로 쓰는 연습은 진법 변환기에서 해볼 수 있습니다.
흔한 오해와 정정
- 오해: 소수점 아래가 무한하면 무리수다. 실제: 0.333…처럼 반복되는 무한소수는 분수 1/3이므로 유리수입니다. 반복되지 않는 무한소수가 무리수입니다.
- 오해: 제곱근 기호가 붙으면 무리수다. 실제: √4=2, √9=3은 자연수입니다. 제곱수가 아닌 자연수의 제곱근이 무리수입니다.
- 오해: 허수는 실제로 존재하지 않는 수다. 실제: 이름은 데카르트가 비하의 뜻으로 붙인 것이고, 수학에서 허수는 엄밀하게 정의된 수입니다. 교류 회로 계산에서는 허수 단위를 i 대신 j로 쓰는데, i가 전류를 뜻하는 경우가 많아 혼동을 피하기 위해서라고 설명됩니다.
- 오해: 1은 소수다. 실제: 소수는 약수가 정확히 두 개인 수라고 정의되고, 1은 약수가 하나뿐이어서 제외됩니다. 역사적으로는 1을 소수로 본 수학자도 많았지만 20세기 초에 단위로 분류하는 데 의견이 모였고, 이는 산술의 기본정리 등을 깔끔하게 유지하기 위한 것입니다.
정의가 하나로 정해지지 않은 부분
0이 자연수인지는 보편 규약이 없습니다. 위키백과에 따르면 ISO 31-11(1978)과 현행 ISO 80000-2는 0을 포함하고, 부르바키 등도 포함하지만, 초기 수학자 대부분은 0을 제외했고 페아노도 1889년에는 1부터 시작했습니다. 한국 교육과정에서 보통 0을 포함하지 않는다는 점은 이 글의 기존 설명대로이며, 다른 자료를 볼 때는 N₀, N₁ 같은 첨자나 문맥으로 정의를 먼저 확인하세요. 또한 이 글의 표는 입문용 요약이라, 수의 확장을 형식적으로 구성하는 방법(집합론적 정의)이나 사원수 같은 더 큰 체계는 다루지 않습니다.
자주 묻는 질문
허수는 실제로 쓸모가 있나요?
네, 전기공학의 교류 회로 계산이나 양자역학처럼 실수만으로는 설명할 수 없는 여러 분야에서 실질적으로 활용됩니다.
0은 자연수에 포함되나요?
정의에 따라 다릅니다. 한국 교육과정에서는 보통 자연수에 0을 포함하지 않지만, 일부 국가나 집합론에서는 0을 자연수에 포함시키기도 합니다.
정수와 자연수는 어떻게 다른가요?
정수는 자연수에 0과 음의 정수까지 합친 범위입니다. 그래서 모든 자연수는 정수이지만, -3이나 0은 정수이면서 (한국식 정의에서는) 자연수가 아닙니다.
실수와 복소수는 어떤 관계인가요?
실수는 복소수 a+bi에서 b=0인 경우입니다. 즉 모든 실수는 복소수이고, b가 0이 아닌 수가 허수 부분을 가진 수입니다.
소수(素數)와 소수(小數)는 같은 말인가요?
한글 표기만 같고 뜻이 전혀 다릅니다. 소수(素數)는 1과 자기 자신으로만 나누어지는 1보다 큰 자연수이고, 소수(小數)는 0.5처럼 소수점으로 나타낸 수입니다. 문맥이나 한자 병기로 구별합니다.