정수와 소수 부분의 새로운 부등식

초록

본 논문은 정수 부분(바닥함수)과 소수 부분(소수점 이하) 사이에 적용되는 43개의 새로운 부등식을 제시한다. 각 부등식은 기존 문헌에 없는 형태를 가지고 있으며, 증명에는 기본적인 수학적 귀납법, 평균값 정리, 그리고 연속성 및 단조성 특성을 활용한다. 이 결과들은 수론, 해석학, 그리고 최적화 문제에 직접적인 응용 가능성을 제공한다.

상세 요약

논문은 먼저 정수 부분 ⌊x⌋와 소수 부분 {x}=x−⌊x⌋의 기본 성질을 정리하고, 이를 바탕으로 새로운 부등식들을 체계적으로 구축한다. 저자는 기존에 알려진 ⌊x⌋+⌊y⌋≤⌊x+y⌋와 같은 기본 부등식을 출발점으로 삼아, 두 변수 이상의 경우, 곱셈 및 제곱 연산이 포함된 복합 형태로 확장한다. 예를 들어, ⌊x⌋·⌊y⌋+{x}{y}≤⌊xy⌋와 같은 형태는 정수와 소수 부분이 서로 교차 작용할 때의 상한을 제시한다. 이러한 부등식들은 일반적인 실수 x,y에 대해 엄격히 성립함을 보이기 위해, 경우의 수를 나누어 (0≤{x}<1, 0≤{y}<1) 구간별로 세밀한 비교를 수행한다.

특히 저자는 부등식의 강도를 평가하기 위해, 기존 부등식과의 비교를 통해 “강한 부등식”과 “약한 부등식”을 구분한다. 예컨대, ⌊x⌋+{x}=x라는 항등식에서 파생된 ⌊x⌋≤x≤⌊x⌋+1은 자명하지만, 논문에서 제시된 ⌊x⌋+{x}²≤x≤⌊x⌋+{x}·(2−{x})와 같은 비선형 형태는 보다 정밀한 경계를 제공한다. 이러한 비선형 부등식은 증명 과정에서 제곱근 및 로그 함수의 단조성을 활용하며, 경우에 따라 라그랑주 평균값 정리를 적용한다.

또한, 저자는 43개의 부등식 중 12개를 “동등성 조건”을 포함하도록 설계하였다. 즉, 특정 x에 대해 부등식이 등호를 만족하는 경우를 명시하고, 그 경우에 해당하는 x의 구간을 정확히 규정한다. 이는 부등식의 최적성을 검증하는 데 중요한 역할을 한다.

논문의 증명 방법은 크게 세 가지로 구분된다. 첫 번째는 직접적인 대수적 변형을 통한 증명으로, ⌊x⌋와 {x}를 각각 변수 a, b라 두고 a+b=x를 이용해 식을 재구성한다. 두 번째는 함수의 단조성 및 볼록성을 이용한 비교법으로, f(t)=⌊t⌋와 g(t)={t}의 그래프적 특성을 분석한다. 세 번째는 수학적 귀납법을 통한 일반화로, n차원 확장 부등식(예: ⌊x₁⌋+…+⌊xₙ⌋≤⌊x₁+…+xₙ⌋)을 증명한다.

응용 측면에서는, 이러한 부등식이 정수 프로그래밍의 제약식으로 활용될 수 있음을 제시한다. 특히, 소수 부분을 명시적으로 제어해야 하는 최적화 문제에서, 부등식은 해의 탐색 공간을 효과적으로 축소한다. 또한, 수론적 문제, 예컨대 디오판틴 근사식이나 베르트랑의 소수 정리와 연계된 추정식에서도 유용하게 쓰일 수 있다.

전체적으로 논문은 기존에 알려진 정수·소수 부등식의 한계를 명확히 인식하고, 이를 보완하는 새로운 형태를 제시함으로써 이론적 깊이와 실용적 가치를 동시에 확보한다.