TOP

Home  >  ブログ  >  時空 解  >  マスペディア 1000  >  マスペディア 304 ケプラー予想 …果物屋のみかんの積み方を見たケプラー

時空 解 さんの日記

[2022-10] 
 
2022
10月 14
(金)
09:26
マスペディア 304 ケプラー予想 …果物屋のみかんの積み方を見たケプラー
本文
皆さんこんにちは、時空 解です。

ここ2、3日、朝に急用が入ります。なかなか数学の学習が思うように進められませんので、今日はマスペディア 1000 のトピックを取り上げます。

今回はトピック304番、ケプラー予想です。
この予想、私は知りませんでした。( ^^;

恥ずかしいですね、これは有名な予想のようです。
なんと言ってもヒルベルトの23問のうちの一つにも選ばれているんですよね。

18番の問題:合同な多面体による空間の構築

さて、問題の概要としては、みかんを積み上げる時に、どんな積み上げ方をすると体積が一番小さく収まるのか?
と言うものです。
積み上げ方自体は、ケプラーが果物屋さんで見たように、昔から分かってはいるのですよね。ただ、それが本当に最小になる積み方なのか…? 

ケプラーはその証明を試みたのです。でも、できなかったのですよね。
近代になってようやくその証明が出て来たのですが、なんと長い証明だったそうで、マスペディア 1000 には
1998年になってようやく、トマス・へ―ルズが教え子である大学院生、サミュエル・ファーガソンと共同で証明を完成させた。ところが、その証明は250ページにもわたる長いものであり、コンピュータープログラムや3ギガバイトを超えるデータに依存する長い節がいくつかあり、正当性を確かめるのも相当な困難だった。

と記述されています。

この証明が確かめられたのが、つい最近の2014年なんだそうです。これは実用数学技能検定「数検」の Twitter にも紹介されていました。
6月4日

うーむ…ケプラー予想と言うものを知らなかった私ですが、数検が Twitter をやっているということも知りませんでした。
ちょくちょくチェックした方がいいかな…ここのブログのタイトルが「数検に挑戦中」なんだからね… ( ^^;

では今日も1日の習慣を始めてます。小さな一歩・挑戦を試みています。
( ブログのコメント欄は 2022-04-16 に閉鎖いたしました )
閲覧(866)
コメントを書く
コメントを書くにはログインが必要です。
メインメニュー
ログイン
ユーザー名:

パスワード:



日記投稿者リスト
カレンダー
月表示
カテゴリー
にほんブログ村リンク