0.999…는 1보다 아주 조금 작은 수가 아니라 실수 체계에서 정확히 1입니다. 점 세 개는 9가 유한 번 적혔다는 뜻이 아니라 끝없이 계속된다는 뜻입니다. 무한소수의 값은 유한한 소수 0.9, 0.99, 0.999, …가 가까워지는 극한으로 정의합니다. 이 수열의 극한이 1이므로 0.999…와 1은 같은 실수를 나타내는 서로 다른 십진 표기입니다.
먼저 말줄임표의 뜻부터 확인하기
0.999…에서 ‘…’는 아직 쓰지 않은 마지막 9가 어딘가에 있다는 뜻이 아닙니다. 마지막 자리는 존재하지 않습니다. 소수점 아래 n개 자리가 모두 9인 유한소수를 x_n이라고 두면 x_1=0.9, x_2=0.99, x_3=0.999입니다. 무한소수 0.999…는 이 수열 (x_n)의 극한입니다.
x_n=0.99…9(n개)=1−10^(−n)
n=1이면 1−10^-1=0.9이고, n=2이면 1−10^-2=0.99입니다. n이 커질수록 10^-n은 0에 가까워집니다. 따라서 lim(n→∞)x_n=1−0=1입니다. 이 계산은 0.999…가 왜 1과 같은지 무한소수의 정의에서 바로 보여 줍니다.
‘1과의 차이’가 남아 있지 않습니다
유한 단계에서는 1−0.9=0.1, 1−0.99=0.01, 1−0.999=0.001입니다. 일반적으로 1−x_n=10^-n입니다. 하지만 무한소수는 특정한 유한 단계 x_n이 아닙니다. 모든 자리 수가 끝없이 늘어나는 수열의 극한입니다. n이 무한히 커질 때 10^-n의 극한은 0이므로 최종적인 차이는 0입니다.
‘0.000…1만큼 작다’고 말할 수는 없습니다. 소수점 아래 무한히 많은 0 뒤에 1을 적을 마지막 위치가 없기 때문입니다. 어떤 유한한 자리 N을 지정하더라도 그 자리보다 뒤가 있고, 0.999…에서는 N번째 자리도 9입니다. 0.000…1은 표준 실수 십진법에서 정의되는 양의 수가 아닙니다.
엡실론으로 쓰는 엄밀한 극한 증명
수열 x_n이 1로 수렴한다는 말은 아무리 작은 양수 ε을 정해도 충분히 큰 n에서는 |x_n−1|<ε이 된다는 뜻입니다. 여기서는 |x_n−1|=10^-n입니다. 주어진 ε>0에 대해 10^-n<ε이 되도록 n을 크게 고를 수 있으므로 x_n은 1로 수렴합니다.
예를 들어 ε=0.000001이면 n=7부터 10^-n<ε입니다. ε을 더 작게 잡아도 필요한 n만 더 크게 고르면 됩니다. 1과의 거리가 모든 양수 ε보다 작다는 별도의 양의 실수는 없습니다. 실수의 순서 성질에 따라 거리가 0이고 두 수는 같습니다.
무한 등비급수로 증명하기
0.999…는 각 자리의 값을 더한 무한급수로도 쓸 수 있습니다. 첫째 자리의 9는 9/10, 둘째 자리의 9는 9/100, 셋째 자리의 9는 9/1000입니다.
0.999… = 9/10+9/100+9/1000+…
첫항 a=9/10이고 공비 r=1/10인 무한 등비급수입니다. |r|<1일 때 합은 a/(1−r)이므로 (9/10)/(1−1/10)=(9/10)/(9/10)=1입니다. 등비급수 공식도 부분합의 극한에서 나옵니다. n개 항의 합은 1−10^-n이고, n→∞에서 1이 됩니다.
x=0.999… 대수 증명은 왜 가능한가
널리 알려진 증명은 x=0.999…로 놓고 10x=9.999…를 만든 뒤 두 식을 빼는 방식입니다. 소수점 아래의 무한한 9 부분이 정확히 같으므로 10x−x=9가 되고 9x=9, x=1을 얻습니다.
x=0.999…, 10x=9.999… → 9x=9 → x=1
이 계산은 편리하지만 무한소수에 대한 자리 이동과 뺄셈이 정당하다는 배경이 필요합니다. 0.999…를 수열의 극한 또는 수렴하는 급수로 정의하면, 극한의 선형성에 따라 10x−x를 계산할 수 있습니다. 그러므로 대수 증명은 순환 논리가 아니지만, 그 밑에는 무한소수의 극한 정의가 놓여 있습니다.
1/3을 이용한 짧은 확인
1/3의 십진 전개는 0.333…입니다. 양변에 3을 곱하면 왼쪽은 1이고 오른쪽은 0.999…이므로 두 값이 같습니다. 이 설명 역시 무한소수 0.333…가 정확히 1/3을 나타낸다는 사실과 무한급수에 대한 곱셈이 정당하다는 정의를 사용합니다.
1/3=0.333… → 1=3×(1/3)=3×0.333…=0.999…
왜 하나의 실수에 십진 표기가 두 개 생길까
십진법에서 0이 끝없이 이어지는 유한소수는 바로 앞자리에서 1을 줄이고 9를 끝없이 이어 쓸 수 있습니다. 0.5=0.5000…=0.4999…, 2.75=2.75000…=2.74999…입니다. 1도 1.000…과 0.999…라는 두 표기를 가집니다. 값이 두 개라는 뜻이 아니라 같은 값에 두 문자열 표현이 있다는 뜻입니다.
| 끝나는 표기 | 9가 반복되는 표기 | 공통값 |
|---|---|---|
| 0.5000… | 0.4999… | 1/2 |
| 1.0000… | 0.9999… | 1 |
| 2.75000… | 2.74999… | 11/4 |
| 0.32000… | 0.31999… | 8/25 |
일반적으로 어떤 유한소수가 마지막 0이 아닌 자리에서 끝나면, 그 마지막 숫자를 1 줄이고 뒤에 9를 무한히 붙인 표현이 같습니다. 실수의 십진 전개는 이 경우를 제외하면 유일합니다. 유일한 표기가 필요할 때는 ‘9가 무한히 반복되는 표현을 쓰지 않는다’ 같은 규칙을 정할 수 있습니다.
십진법이 아니라 다른 진법에서도 같습니다
밑이 b인 위치 기수법에서는 가장 큰 숫자 b−1이 반복되는 0.(b−1)(b−1)…_b가 1과 같습니다. 이진법에서는 0.111…₂=1이고, 삼진법에서는 0.222…₃=1입니다. 부분합은 각각 1−b^-n이므로 극한이 1입니다. 0.999…=1은 숫자 9의 특이한 마술이 아니라 위치 기수법의 일반적인 성질입니다.
수직선에는 두 수 사이의 틈이 없습니다
만약 0.999…<1이라고 가정하면 차이 d=1−0.999…는 양수여야 합니다. 양수 d보다 작은 10^-n을 고를 수 있습니다. 그런데 0.999…는 n자리 근삿값 1−10^-n보다 크거나 같으므로 1−0.999…≤10^-n<d가 됩니다. 이는 d<d라는 모순입니다. 따라서 양의 차이는 존재하지 않습니다.
또 서로 다른 두 실수 a<b 사이에는 평균 (a+b)/2처럼 또 다른 실수가 있습니다. 0.999…와 1이 다르다고 생각한다면 그 사이 수가 있어야 합니다. 그러나 어떤 유한 자리에서 0.999…보다 큰 소수를 만들려고 해도 9보다 큰 십진 숫자는 없고, 1보다 작게 유지할 최초의 다른 자리도 없습니다. 엄밀한 결론은 극한 논증에서 나오며, 자리 관찰은 그 직관을 돕습니다.
계산기의 표시와 수학적 값은 구분해야 합니다
계산기 화면에 0.999999999가 보이면 이는 9가 아홉 번 적힌 유한소수이고 1보다 10^-9만큼 작습니다. 화면 너비 때문에 어떤 계산 결과를 반올림하거나 잘라서 표시했을 수도 있습니다. 반면 수학 기호 0.999…는 9가 무한히 반복된다는 뜻입니다. 유한한 화면 문자열과 무한소수를 혼동하면 결론이 달라집니다.
컴퓨터의 이진 부동소수점에서도 저장된 근삿값과 실수의 정확한 정의를 구분해야 합니다. 프로그램 소스에 0.9999999999999999를 입력하는 것은 유한한 십진 유리수이고, 언어가 이를 가장 가까운 이진 부동소수점 수로 반올림해 저장할 수 있습니다. 수학의 0.999…를 유한한 메모리에 모든 자리 그대로 넣는 연산과는 다릅니다.
순환소수와 유리수의 관계
십진 전개가 끝나거나 일정한 숫자 묶음이 반복되는 수는 유리수입니다. 반대로 모든 유리수의 십진 전개는 끝나거나 결국 반복됩니다. 분수의 긴 나눗셈에서 나머지는 분모보다 작은 유한한 종류뿐이라, 나머지가 0이 되지 않으면 언젠가 같은 나머지가 다시 나타나고 이후 숫자도 반복되기 때문입니다.
0.999…의 경우 반복 주기가 숫자 9 하나이고 대응하는 분수는 1입니다. ‘순환소수는 반드시 정수가 아닌 분수여야 한다’는 제한은 없습니다. 1도 1/1인 유리수이며 순환하는 다른 십진 표현을 가질 수 있습니다.
무한히 가까움과 같음의 차이
0.9, 0.99, 0.999 같은 각 항은 1과 다릅니다. 하지만 그 항들의 극한은 1입니다. 수열의 모든 항이 극한과 같아야 하는 것은 아닙니다. 예를 들어 1/n은 어떤 자연수 n에서도 0이 아니지만 n→∞에서 0으로 수렴합니다. 마찬가지로 유한 단계가 모두 1보다 작다는 사실은 극한도 반드시 1보다 작다는 결론을 주지 않습니다.
자주 나오는 질문
- 0.999…의 마지막 9는 없습니다. 끝없이 반복된다는 표기입니다.
- 1과의 차이는 0.000…1이 아닙니다. 그런 마지막 1의 자리는 실수 십진 표기에서 존재하지 않습니다.
- 각 유한 근삿값이 1보다 작아도 그 수열의 극한은 1일 수 있습니다.
- x를 이용한 대수 증명은 무한소수를 수렴하는 극한으로 정의했을 때 정당합니다.
- 0.999999처럼 9가 유한 번 나온 수와 0.999…는 서로 다른 표기입니다.
- 0.999…=1은 반올림 규칙이 아니라 실수와 무한소수의 정의에서 나오는 정확한 등식입니다.
0.999…=1 핵심 정리
소수점 아래 9가 n개인 수는 x_n=1−10^-n입니다. n이 무한히 커지면 10^-n은 0으로 수렴하므로 x_n의 극한은 1입니다. 0.999…는 바로 이 수열의 극한으로 정의되므로 1과 같습니다. 등비급수 9/10+9/100+…의 합을 계산해도 같은 값이 나옵니다.
따라서 0.999…와 1 사이에 숨은 양의 간격은 없습니다. 두 기호는 같은 실수를 나타내는 두 개의 십진 표현입니다. 유한한 0.999와 무한한 0.999…를 구분하고, 무한소수를 극한으로 읽으면 이 등식은 모순이 아니라 위치 기수법의 자연스러운 성질입니다.