https://github.com/mk9207/beal-conjecture-constructive-proof
Constructive proof of the Beal Conjecture using ABC-model extension and coprime domain elimination
https://github.com/mk9207/beal-conjecture-constructive-proof
abc-extension arxiv-compatible beal-conjecture constructive-mathematics gcd-analysis latex math number-theory
Last synced: 12 months ago
JSON representation
Constructive proof of the Beal Conjecture using ABC-model extension and coprime domain elimination
- Host: GitHub
- URL: https://github.com/mk9207/beal-conjecture-constructive-proof
- Owner: Mk9207
- License: other
- Created: 2025-06-16T10:04:25.000Z (12 months ago)
- Default Branch: main
- Last Pushed: 2025-06-16T10:07:39.000Z (12 months ago)
- Last Synced: 2025-06-16T11:25:20.295Z (12 months ago)
- Topics: abc-extension, arxiv-compatible, beal-conjecture, constructive-mathematics, gcd-analysis, latex, math, number-theory
- Language: TeX
- Homepage:
- Size: 5.86 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# 構成的完全証明：Beal予想 / Constructive Proof of the Beal Conjecture
このリポジトリは、Beal予想に対する構成的完全証明を収録しています。
## 🔍 問題概要
Beal予想とは、次の形の等式に関する未解決問題です：
> \( A^x + B^y = C^z \quad ext{かつ}\quad x, y, z > 2 \Rightarrow \gcd(A, B, C) > 1 \)
これはフェルマーの最終定理の拡張とも言われ、共通因数の存在が必須であることを主張します。
## ✅ 証明の特徴
- A型素数と構成的指数密度モデルによる除外領域の構成
- ABC予想モデルの拡張による指数和の稀薄性の証明
- 共通因数なしの領域における零密度化と除去関数の使用
- 構成的定義・補題・定理ブロックによる段階的な証明展開
## 📂 ディレクトリ構成
```
.
├── main.tex
├── sections/
│ ├── introduction.tex
│ ├── exponential_structure.tex
│ ├── gcd_filtering.tex
│ ├── abc_extension.tex
│ ├── theorem_proof.tex
│ └── conclusion.tex
├── README.md
├── LICENSE
├── compile.sh
└── .gitignore
```
## 🧠 証明論的アプローチ
- \( A^x + B^y = C^z \) の共通因数なし領域を構成的に除去
- 既存のABC構成理論を指数項へ一般化
- 排除領域が零密度となることを証明する除去関数を定義
## 🌐 GitHub Topics（推奨）
```
math
number-theory
beal-conjecture
constructive-mathematics
abc-extension
gcd-analysis
latex
arxiv-compatible
```
## ✍️ ライセンス
本リポジトリは [CC BY-NC 4.0](https://creativecommons.org/licenses/by-nc/4.0/) に従って公開されています。
---
_この証明は、AIと人間の協働による構成的数論の体系構築の一環として完成されました。_