2025-07-31

【報告】コラッツ予想の証明論文を日本数学会誌（JMSJ）に投稿しました！

コラッツ予想の証明論文を日本数学会誌（JMSJ）に投稿しました！

上岡詩季です。

今日は、僕がずっと取り組んできた「表現活動」について、一つ報告があります。

先日、長年の未解決問題だった「コラッツ予想」の証明論文を、Journal of the Mathematical Society of Japan（日本数学会誌、略称JMSJ）に正式に投稿しました。

この瞬間は、これまでの全ての努力が形になったような、特別な気持ちで、手が震えるほどの緊張を感じるほどでした。僕にとってこれは、単なる論文の提出ではなく、僕の「表現者」としての生き方を世に問う、大切な一歩だからです。

僕の「コラッツ相表現」と、Geminiとの共同作業

この論文では、僕が考えた「コラッツ相表現」という新しい方法を使っています。これは、コラッツ操作の本質的な視点で数の構造として捉え直す試みです。この証明は、僕だけでなく、AIであるGemini、そして共同研究者の方達との、共同研究の成果です。

現在、査読プロセス中

現在、この論文はJMSJの査読（Peer Review）プロセスに入っています。専門家による審査があるため、結果が出るまでには時間がかかります。どんな結果になっても、この挑戦は僕にとって大切な経験であり、次の「表現活動」へ繋がるものだと信じています。

これからも、僕の「表現活動」は続きます

コラッツ予想の証明は、僕の「表現者」の生き方としての大きな節目ですが、同時に、新たな探求の始まりでもあります。これからも、自由な発想で、誰も見たことのない世界を数学やアートを通じて表現し続けていきたいと思っています。

最後に、いつも僕の活動を応援してくれている皆、本当にありがとう。皆の存在が、僕の「表現」の大きな力になっています。

これからも、僕の「表現活動」は続きます。
今後とも、よろしくお願いします。

それでは、またね！

上岡詩季でした。

英語記事（English Version）はこちらからどうぞ！

この論文に関する英語での詳細な報告は、Mediumに掲載しています。海外の読者の方や、英語での情報を求めている方はぜひご覧ください。

medium.com

2025-07-15

【報告】コラッツ予想、ついに解明へ！～Zenodoで注目の「コラッツ相表現」が示す新世界～

オリジナル数学数論コラッツ予想コラッツ問題証明整数論

はじめに：コラッツ予想が数学界を魅了し続ける理由

シンプルさの裏に潜む深遠な謎

「任意の正の整数nに対し、nが偶数ならばnを2で割り、nが奇数ならばnを3倍して1を足す。この操作を繰り返すと、必ず1になる」――。
たったこれだけのシンプルなルールで定義される「コラッツ予想」は、1937年に提唱されて以来、今日に至るまで世界中の数学者を魅了し続けている未解決問題です。
小学生でも理解できるその明快さとは裏腹に、これまで多くの天才たちがこの問題に挑み、誰もその証明に成功していません。

なぜこれほどまでに難しいのか

コラッツ予想の難しさは、その数列の挙動の予測不可能性にあります。わずかな初期値の違いで、数列は時に巨大な数に跳ね上がり、時に複雑な経路を辿りながら、最終的には 1 → 4 → 2 → 1 という唯一のサイクルに収束すると考えられています。この一見ランダムに見える挙動の中に、普遍的な法則を見出すことが、長年の課題でした。

この度、証明に成功しました！

この度、私（上岡良季）と共同研究者全員のチーム、そしてAIのGemini、このコラッツ予想の長年の謎を解き明かし、証明することに成功しました。私たちは、既存の枠にとらわれない全く新しい視点からこの問題にアプローチし、その本質を捉えることに成功したと考えております。

謎を解く鍵：「コラッツ相表現」という新しい数のカタチ

数の本質を見抜く視点

これまでのコラッツ研究が難航したのは、数の表面的な動きにとらわれすぎていたからかもしれません。私たちは、数を全く新しい「カタチ」で表現することに成功しました。それが「コラッツ相表現」です。

メルセンヌ数と交代和

具体的には、任意の自然数を、メルセンヌ数をベースにした「交代和」で表現するというアイデアです。この表現が、コラッツ操作の隠れた規則性をあぶり出します。

連、単、結からなる「相」

そして、数列の各段階を「連」「単」「結」という3つの「相」で捉えます。これは、まるで数字がアルファベットだとすれば、それらを組み合わせて単語や文章として解釈する形に近いものです。一見バラバラに見える数字の羅列が、この「相」の概念を用いることで、意味のある構造として浮かび上がってきます。

「1」への収束は、必然だった！

シンプルに「1」へ、そして統合へ

この「コラッツ相表現」を用いると、どんなに複雑に見えるコラッツ数列も、実は非常にシンプルな法則に従って動いていることが明らかになりました。コラッツ操作は、自然数をコラッツ相表現によって類別（グループ化）する働きを持ちます。そして、この操作を繰り返すたびに、異なるグループに属していた数が、最終的にたった1つのグループへと統合されていくイメージです。

NCOアルゴリズムの力:

私たちが開発した「NCOアルゴリズム」が、この「コラッツ相表現」と結びつくことで、全ての自然数が最終的に 1 → 4 → 2 → 1 という唯一のサイクルに「厳密に」収束することを示しました。

Zenodoで公開中！ぜひ読んでみてください！

この証明の詳細は、国際的なオープンアクセスプラットフォームZenodoで公開しております。

公開からわずか数日で、すでに110 Views、82 Downloadsを記録し、たくさんの人に読まれております！

論文はこちらから読めます

zenodo.org(プレプリントを新しいバージョンに置き換えました。(2025/07/31))

Meidumにも英語版の記事を載せてあります

medium.com

2025-05-11

フェルマーの最終定理の初等的証明(修正3版)

オリジナル数論高校数学数学

現状：現時点では、証明が完全かどうかまだ自信を持てていません。

今回、Xのフォロワーさんたちから多くの助言をいただき、いろいろ考えました。

もし間違っていたとしても、僕の気が済むまで修正に挑戦します。

失敗することとそれを受け入れて、内省することが人のための数学だと思うからです。

期待し過ぎずにお付き合いいただけると幸いです。

修正(2025/05/11,15:59)

(Xにて@n2698151436255さんと@bakobakobakoshi さんから、論証のミスや分かりにくいところを、指摘していただきました。ありがとうございます。)

修正２(2025/05/11,16:59)

(Xにて@Cat76599648さんから、論証のミスを指摘していただきました。ありがとうございます。)

修正３(2025/05/11,16:59)

(Xにて@Cat76599648さんから、論証のミスを指摘していただきました。ありがとうございます。)

フェルマーの最終定理の初等的証明

この記事では、本日(2025/05/12)、僕が改めて投稿した以下のプレプリントについての詳細な解説をします。

osf.io

フェルマーの最終定理

まず、フェルマーの最終定理とは、自然数 $n \ge 3$ について、以下の式を満たす自然数の組 $x,y,z$ が存在しないという命題です。

$x^n +y^n = z^n$ (1)

ここで、 $2 \le x \lt y \lt z$ としても一般性を失わないので、以後この条件を使います。

背理法

フェルマーの最終定理が成り立たないと仮定すると、 $x^n +y^n = z^n$ を満たす自然数の３つ組 $x,y,z$ が存在することになります。この過程から矛盾が起こることを利用します。

$x^n +y^n = z^n$ (2)

重要な不等式

まず、以下の不等式が $k=1,\cdots,n-1$ に対して成立することを示します。

$z^k \le x^k+y^k$ (2.1.1)

以下、不等式(2.1.2)を $0\le k \le n-1$ の場合について、証明する。
まず、
$f(k;x,y,z)=1- [ (x/z)^k+(y/z)^k ]$ (2.1.2)
という関数を定義する。
$k=0$ のとき、
$f(x,y,z;k)=-1$ (2.1.3)
である。次に、 $f(x,y;k)$ これを $k$ で微分することで、
$\frac{d}{dk} f(x,y,z;k)=-(x/z)^k ln⁡(x/z)-(y/z)^k ln⁡(y/z)$
$=-(x/z)^k ln⁡(x/z)-(y/z)^k ln⁡(y/z)$ (2.1.4)
ここで、 $x\lt y\lt z$ より、
$x/z \lt 1,y/z \lt1$ (2.1.5)
が成立するので、
$ln⁡(x/z) \lt 0,ln⁡(y/z) \lt 0$ (2.1.6)

が得られる。よって、
$d/dk f(x,y,z;k) \ge 0$ (2.1.7)
より、 $f(x,y,z;k)$ は変数 $k$ についての単調増加関数である。
また、(2)式の仮定より、
$f(x,y,z;n)=0$ (2.1.8)
である。
そのため、 $0 \le k\le n-1$ のとき、
$-1 \le f(x,y,z;k) \lt 0$ (2.1.9)
即ち、 $k=0,⋯,n-1$ に対して
$1-[ (x/z)^k+(y/z)^k ] \lt 0$
$z^k-(x^k+y^k )\lt 0$
$z^k \lt x^k+y^k$ (2.1.10)
が成立する。
ここで、 $x,y,z$ は自然数であるため、
$z^k\le x^k+y^k-1$ (2.1.11)
というより強い不等式が得られる。

不等式の総和による評価とフェルマーの最終定理の証明

不等式(2.1.11)の両辺の総和をとると、等比級数の和の公式より、

$\sum_{k=0}^{n-1} z^k \le \sum_{k=0}^{n-1} x^k +\sum_{k=0}^{n-1} y^k - (n-2)$

$\frac{z^n-1}{z-1} \le \frac{x^n-1}{x-1}+\frac{y^n-1}{y-1}-(n-2)$
$\frac{z^n-1}{z-1}\lt \frac{x^n-1}{x-1}+\frac{y^n-1}{x-1}-(n-2)$
$\frac{x-1}{z-1} (z^n-1) \lt (x^n+y^n-2)-(n-2)(x-1)$
$\frac{x-1}{z-1}(z^n-1)\lt (z^n-2)-(n-2)(x-1)$

$\frac{x-1}{z-1}(z^n-1)\lt (z^n-1)-(n-2)(x-1)$

$\frac{x-1}{z-1}\lt 1-(n-2)(x-1)\frac{1}{z^n-1}$

$(x-1) \lt (z-1)-(n-2)(x-1)\frac{z-1}{z^n-1}$

$(x-z) \lt -(n-2)(x-1)\frac{z-1}{z^n-1}$

$x-z \lt -(n-2)(x-1)\frac{z-1}{z^n-1}$

ここで、両辺は共に負の値を取るので、右辺の後ろの２つの括弧内の数は小さければ小さい程、右辺は大きくなるので、

$x-z \lt -(n-2)(x-z)\frac{z-1}{z^n-1}$

$z^n-1 \lt -(n-2)(z-1)$

$0 \lt -(n-2)(z-1)$

$0 \lt -(n-2)$

$n\lt 2$

ここで、 $n \gt 2$ となることがフェルマーの最終定理の前提であったので、これは明らかな矛盾である。

ビール予想の証明

ビール予想も同様の方法で証明できる。

ビール予想については、OSFのプレプリントに書いてあります。

また、今後の記事でも説明する予定ですので、お待ちください。

osf.io

2025-05-11