【数学】「x3+y3+z3=k」人生、宇宙、すべての答えの｢42｣を3つの立法数の和で表す数学界の難問がついに解ける
■ このスレッドは過去ログ倉庫に格納されています
ブリストル大学とマサチューセッツ工科大学（MIT）が率いるチームは、65年におよぶ数学パズルで、最後まで残っていた解を求めることに成功した。
この問題は1954年にケンブリッジ大学で設定された方程式 x3+y3+z3=k について、k=1から100までのすべての解を求めるというものだ。このディオファントス方程式（Diophantine Equation：多変数多項式の整数解や有理数解を求める問題）を解くには、膨大な計算を必要とするため、当時すぐに手に負えなくなった。しかしその後のコンピューターの進歩により、それぞれのkについて解が求まり、あるいは解がないことが証明され、「33」と「42」が残っていた。このうち「33」については、ブリストル大学のAndrew Booker教授がスーパーコンピューターを使って解を求めることに成功し、残るは「42」だけとなっていた。
奇しくも「42」は、イギリスの脚本家Douglas AdamsによるスラップスティックSF小説『銀河ヒッチハイク・ガイド（Hitchhiker’s Guide to the Galaxy）』に登場するスーパーコンピューター「ディープ・ソート」が750万年かけて出した「生命、宇宙、その他もろもろについての深遠なる疑問の答え」と同じだ。
小説では「42」に対応する「深遠なる疑問」を明らかにするため、惑星ほどの大きさの巨大コンピューター「地球」が建造されるが、Booker教授はその代わりにMITの計算数理学者Andrew Sutherland教授の協力を得て、地球規模のコンピューティングプラットフォーム「Charity Engine」を利用した。Charity Engineには、世界規模で50万台を越えるPCが接続され、各PCの空き時間を使って計算を実行する。Charity Engineによる100万時間を越える計算の結果得られた解は次の通りだ。
X = -80,538,738,812,075,974
Y = 80,435,758,145,817,515
Z = 12,602,123,297,335,631
これにより、1954年に示された有名なディオファントス方程式のk=1から100に対する解は「42」を含み全て求められ、長年の問題に終止符が打たれたことになる。
Booker教授は、「ホッとしている。このゲームでは、地震を予知しようとする努力にも似て、何かを見つける確信は持てない。数カ月の探索で何か見つかるかもしれないし、100年かかっても何も見つけられないかもしれない」とコメントしている。
https://assets.media-platform.com/gizmodo/dist/images/2019/09/19/190918diophantineequation.png
https://engineer.fabcross.jp/wp-content/uploads/2019/09/190921_Charity-Engine.png
https://engineer.fabcross.jp/archeive/190921_charity-engine.html ラーメン荘地球規模で考えろの山盛りラーメン50万杯とか病死者1000人くらい出そう 知ってた。もっと簡単な方法があるけど、
安倍が気に入らないから教えない。 ジャップは何をしてんだ？
男性公務員が男子学生のウンコが出るとこ盗撮するのがジャップか？
糞民族は世界の恥だ 数学においてコンピューターを使って導き出し答えなんて、美しくない これ、どーでもいいけど
x3ってx^3って意味で書いているの？
(´・ω・｀) ( ﾟ∀ﾟ)o彡° ＢＵＫＫＡＫＥ教授！ ＢＵＫＫＡＫＥ教授！ 頭いい人たちはなんだか知らない世界を見ているんですね
さっぱりわかりません ぱっと見、42より明らかにでかい数字になりそうなんだが、
俺が馬鹿だから理解してないんだろうな。 100万時間て114年なんだけれど、どういうことなの？ >18
100万時間というのは「のべ」の計算時間。
50万台以上のPCを使った並列計算だからできたってわけ。 足し算とかけ算しか無いのになんで小さい数字になるんだ？ >>13
そもそも^に累乗という意味は無い
一部のプログラミング言語がそう記述してるだけ >>17
「42」は問いの方だ
理解してないのを理解出来てるやん 使ったコンピューターに故障中の張り紙があったのでそっと捨てた windowsの電卓で計算してみたら合ってた
50万台×100万時間の電気代をグレタに報告だ >>24
負の数×負の数×負の数が負の数になるからｗ Windowsの計算機使ったらエラーで計算できないw >>38
Ｘ+Ｙ ≒0だから、
X^3+Y^3=(X+Y)(X^2-XY+Y^2)
などを使うと少しは数値計算がしやすくなるね。 −2.416162164362e17
電卓はじいたらこんな数字出たw X = -80,538,738,812,075,974
Y = 80,435,758,145,817,515
Z = 12,602,123,297,335,631
これは確かにスパコンレベルじゃなきゃ出てこない解だわな 100まで、とか限定してる時点で数学的な意味はあんまり無いだろ
あくまでただのパズル問題 なんだろ
本来の数学の基準が十進数じゃないんじゃないの？ と思ったりするな
2進数なのか、16進数なのか
π（パイ）を基準にするのも直感的では無いし…
10進数よりも16進数の方がいろいろ便利かも
人類の指はなんで五本なんだろ、八本あれば、より便利そうなのに 「算数セット」使ってた頃につまづいた俺には到底理解出来ない 当然この方程式を解くことは難しいんだろうけど
検算だけならお手元のコンピュータで簡単にできちゃうね。
$ bc
(-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3
42
この手の問題は「解なし」を証明する論理展開が面白い場合が多いな。
「まだ発見されてないだけで存在するかも」ていう可能性を完全に潰すための
一見無関係な入り口からのアプローチ。 答えは出たので
次は「生命、宇宙、その他もろもろについての深遠なる疑問」
がなんなのかを考える段階だな >>4
女口説くより数学口説いてる方が面白いからな 次は俺がなんでぶさいくでデブで40過ぎても女と付き合ったことないのか答えてみろや >>24
中学生レヴェルの数学が分かってないやつ！？ 画像2番目の紙には気体の状態方程式っぽいものが書いてあるけど、関係あんのかな X = -80,538,738,812,075,974
Y = 80,435,758,145,817,515
Z = 12,602,123,297,335,631
数が大きいので桁数を下げて近似値で計算してみると。
X = -80.53
Y = 80.43
Z = 12.60
とすると、
Xの3乗＝-522243.564877
Yの3乗＝520300.455507
Zの3乗＝2000.376
ここで小数点以下はいらないから省略で
Xの3乗＝-522243
Yの3乗＝520300
Zの3乗＝2000
として
Xの3乗+Yの3乗+Zの3乗を計算すると、答えは
57 だな
まあだいたい42に近いということで良しとしよう（笑） 暇つぶしにパソコンでパズル
ソリティアおじさんかと このクイズで長年飯食ってた数学者が
多数いたって考えるとやりきれない >>50
たまたま人類の手の指が10本だから十進法が普及しただけで
一般的な知的生命は16進数で文明を気付く
不便な十進法派の地球人は全宇宙でもレアな少数派 なにかの証明ならともかくくだらない計算式思いついたな フェルマーの最終定理も1997年に証明されたし
数学界にまだ残されてる難問というのはどんなのがあるのだろう？ お前らすごいな。語れるだけですごい。
俺なんか>>1のしじみの部分だけ理解できたわ。 >>1の数式見て思い出したんだけど、
桂馬クリッって今何してんだろう？ >>70
12進法の方が優れてない？16進法の方が優れてる理由は？すべてがFになるも16進法出てきてたね >>68
42 + 69 = 111
間に一人入っとる >惑星ほどの大きさの巨大コンピューター「地球」が建造されるが、
これが、みんながスマホ猿と化した理由か 数学に人生とか宇宙とかこじつけてる時点で数学じゃないから
数学には意味も意義もないんだよ
あるのは整合性だけ >>66
数学者はこの問題にそんなに意義感じてないんじゃないかな。
これ解いても特に発展なさそうだし、コンピューターでの力業計算だし。
フェルマーワイルズで憤死した人はたくさんいそう。 >>77
約数の多さで12進法の方が優れてるが
２進法から発展で16が一般的知性の主流だろうかと 「生命、宇宙、そして万物についての究極の疑問の答え」をgoogleでググると
42って表示されるからなｗ
はじめて知ったときワロタわ >>72
いろいろあるんだけど、フェルマーの大予想のように素人に主張が理解しやすいものは少ない
フェルマーの大予想の証明は素人にはとても理解できないが、予想の内容自体は素人にも分かりやすい >>85
なるほど。
じゃあ24進法が最強だな！！ 地球の上で人間が何かをする理由みたいなんは
ヴォネガットの『タイタンの妖女』でもやっとったな
もっとシニカルだった >>1
^を使うなりして記述しないと
3(x+y+z)=k
との違いが判らない スパコンなんて使わなくても、
頭脳王で出題すれば、東大生と京大生が１秒で解いてくれるのに。 >>4
その気になればお前より高収入だから
作れるぞ ■ このスレッドは過去ログ倉庫に格納されています
