[논문 리뷰] Real numbers as infinite decimals and irrationality of $\sqrt{2}$

Martin Klazar|ArXiv.org|2009. 10. 30.

Mathematical and Theoretical Analysis참고 문헌 17인용 수 3

한 줄 요약

이 논문은 분수나 유리수 표현에 의존하지 않고, 무한 소수와 형식적 극한을 사용하여 실수의 엄밀한 소수 기반 모델을 개발하여 √2의 무리수성을 분수 없이 증명한다. 무한 소수의 산술만을 사용하여 √2가 궁극적으로 순환하는 소수로 표현될 수 없음을 보이며, 핵심 결과로는 2와 1.999...가 소수 기반 모델에서 궁극적으로 순환하는 제곱근을 가지지 못함을 보여준다.

ABSTRACT

In order to prove irrationality of \sqrt{2} by using only decimal expansions (and not fractions), we develop in detail a model of real numbers based on infinite decimals and arithmetic operations with them.

연구 동기 및 목표

• 분수나 유리수 표현에 의존하지 않고 오직 무한 소수에 기반한 실수의 완전한 모델을 개발하는 것.
• 분수나 유리수 표현을 사용하지 않고 소수 전개와 산술 연산만을 이용하여 √2의 무리수성을 순수 수치적으로 증명하는 것.
• 기존의 소수 기반 증명에서 발생하는 기초적 문제, 예를 들어 (1.999... = 2)의 모호성과 소수 산술에서 분배법칙의 실패를 해결하는 것.
• 2와 1.999...가 궁극적으로 순환하는 소수의 제곱이 될 수 없음을 증명함으로써, 소수 기반 모델 내에서 √2가 무리수임을 입증하는 것.

제안 방법

• 형식적 극한 수렴에 의한 동치류를 사용하여 무한 소수의 집합으로 실수의 소수 모델을 구성하고, 절단과 자릿수 안정성에 기반한 덧셈과 곱셈을 정의하는 것.
• 형식적 극한(flom)을 도입하여 무한 소수의 산술 연산을 정의하고, 각 자릿수에서의 수렴을 보장하는 것.
• 하이브리드 극한 모델(정리 3.1)과 형식적 극한 모델(정리 3.3)을 사용하여 궁극적으로 순환하는 소수 집합 내에서 x² = 2와 x² = 1.999...의 해가 존재하는지 분석하는 것.
• 자릿수 분석을 적용하여, d² = 2이면 (d|n)²이 2로 안정화되어 소수점 이하 모든 자릿수가 0이 되어야 하는데, 이는 어떤 m에 대해 (d|m)²이 비영인 자릿수를 포함하므로 극한 행동과 모순됨을 보여주는 것.
• 해결책이 궁극적으로 순환하는 소수에 존재하지 않음을 보여주기 위해, x² = 1.999...의 해가 존재하면 [d]² = [2]가 되어야 하는데, 이는 불가능함을 보여주는 것.
• 1.999...와 2가 소수 모델에서 동일시되지만, 대수적 구조상 x² = 2나 x² = 1.999...에 대해 궁극적으로 순환하는 해가 존재하지 않으며, 자릿수 제약 조건으로 인해 이를 방지하는 것.

실험 결과

연구 질문

• RQ1 분수나 유리수 표현을 사용하지 않고, 오직 무한 소수 전개와 소수 산술만을 사용하여 √2의 무리수성을 증명할 수 있는가?
• RQ2 기존의 소수 기반 무리수 증명에서 기초적인 문제점은 무엇인가? 특히 1.999... = 2의 정체성과 소수 산술에서의 분배법칙에 관한 것.
• RQ3 형식적 극한을 사용하여 무한 소수에 대해 일관된 산술을 정의할 수 있으며, 코시 수열이나 딜레르트 컷에 대한 참조 없이도 실수의 구성이 가능한가?
• RQ4 표준 소수 증명에서 (1.999...)² = 2로 가정할 때, 소수 모델에서 (1.999...)² = 1.999...라는 대안을 고려하지 않음으로써 증명가 실패하는 이유는 무엇인가?
• RQ5 소수 기반 모델 R은 2와 1.999...가 궁극적으로 순환하는 제곱근을 가지지 않음을 보여줌으로써 √2의 무리수성을 완전하고 일관되게 증명할 수 있는가?

주요 결과

• 형식적 극한 모델에서 모순을 통해, x² = 2는 궁극적으로 순환하는 소수 집합에 해가 없음을 보였다: d² = 2이면 (d|n)²은 2로 안정화되어야 하는데, 어떤 m에 대해 (d|m)²은 소수점 이하에 비영인 자릿수를 포함하므로 극한 행동과 모순된다.
• x² = 1.999...는 궁극적으로 순환하는 소수 집합에 해가 없으며, 이는 [d]² = [2]가 되어야 하므로 불가능하기 때문이다.
• 분수 없이도, 어떤 유한 소수도 2나 1.999...의 제곱이 될 수 없음을 자릿수 수렴과 형식적 극한에 기반하여 증명함으로써 √2의 무리수성을 확립하였다.
• 1.999... = 2의 모호성을 해결하기 위해, 소수 모델에서 1.999...와 2가 동일시되지만, 대수적 구조상 x² = 2에 대해 궁극적으로 순환하는 해가 존재하지 않음을 보여주었다.
• 유리수일 경우, 종결 소수 d에 대해 (d|m)²의 마지막 비영인 자릿수가 2, 3, 7, 8일 수 없음을 보여주었으며, 이는 x² = 2에 대해 순환 해를 차단한다.
• 형식적 극한 모델은 (d|n)²이 2로 자릿수 수렴함을 보장하며, 이는 특정 지점 이후 모든 자릿수가 0이 되어야 함을 의미하지만, 이는 초기 절단에서 비영인 자릿수가 존재함과 모순된다.