에르되시 스트라우스 추측에 대한 새로운 해법

초록

이 논문은 모든 소수 p에 대해 4/p를 세 개의 단위분수 합으로 표현할 수 있다는 에르되시‑스트라우스 추측을 증명한다고 주장한다. 저자는 Type I과 Type II 해를 구분하고, 모듈러 조건을 이용한 일련의 명제와 보조정리를 제시해 p≡1(mod 4)인 경우를 포괄적으로 다룬다. 그러나 증명의 핵심 단계가 불명확하고, 기존 문헌과 차별화된 새로운 아이디어가 부족하다.

상세 분석

논문은 먼저 4/p = 1/x + 1/y + 1/z 형태의 해를 Type I( p∤y)과 Type II( p|y)로 구분한다. Proposition 1에서는 p≡1(mod 4)일 때 Type I 해가 존재하면 z가 (4k+3)p² + p⁴ 형태가 된다고 보이지만, 중간에 사용된 “이전 논문”의 결과와 gcd( xy, x+y )와의 관계는 구체적으로 증명되지 않는다. 특히 4xy−(x+y)p = gcd( xy, x+y )라는 식은 단순히 변형한 것처럼 보이지만, 정수성 및 양수 조건을 만족한다는 검증이 빠져 있다. Lemma 1과 Lemma 2는 복잡한 모듈러 식 p ≡ n mod ( … )을 제시하고, 해당 식을 만족하는 소수에 대해 세 개의 단위분수 형태를 만든다. 그러나 n과 k, ℓ 사이의 선택 규칙이 모호하고, 실제로 무한히 많은 소수를 커버하는지에 대한 증명은 전혀 제시되지 않는다. “커버링 시스템”이라고 주장하지만, 이는 단순히 몇 개의 잔여류에 대해 사례를 나열한 것에 불과하며, 전체 소수 집합을 포괄한다는 논리적 연결고리가 빠져 있다. 또한 p≡3(mod 4)인 경우에 대한 논의가 거의 없으며, 이 경우는 기존 연구에서도 별도의 처리가 필요함에도 불구하고 논문에서는 “다양한 해가 존재한다”는 수준에 머문다. 전체적으로 증명 과정이 구체적 계산 없이 추상적인 모듈러 연산에 의존하고 있어, 검증 가능한 수학적 엄밀성을 결여한다. 따라서 현재 형태로는 에르되시‑스트라우스 추측을 완전히 해결했다고 보기 어렵다.