abc Conjecture｜構成的＋非構成的統合証明

🇬🇧 Overview

This repository provides a constructive and non-constructive unified proof of the abc conjecture. The proof uses a 6n±1 prime structure and composite removal functions to estimate the radical rad(abc) relative to c. Density bounds and exception limits are evaluated to support the classical inequality:

[ c < \mathrm{rad}(abc)^{1+\varepsilon} ]

🇯🇵 概要

本リポジトリでは、abc予想の構成的・非構成的な統合理論を提示します。6n±1型の素数構成と除去関数を通じて、rad(abc) の成長率が常に c を十分に上回ることを密度と例外上限をもとに導出します。特に、任意の ε > 0 に対して不等式：

[ c < \mathrm{rad}(abc)^{1+\varepsilon} ]

がほぼ常に成立することを形式的に示します。