新しいものづくりがわかるメディア

RSS


33は3つの立方数の和で表せるのか——64年来の数学上の難題が解かれる

Lucy Reading-Ikkanda/Quanta Magazine

ブリストル大学の数学者Andrew Booker氏が、33を3つの立方数の合計で表すこと、すなわち33=x³+y³+z³という方程式の解を求めることに成功した。16桁(1000兆)という正と負の整数の組み合わせを効率的に探索できるアルゴリズムを開発し、(8,866,128,975,287,528)³+(-8,778,405,442,862,239)³+(-2,736,111,468,807,040)³=33であることを明らかにした。

k=x³+y³+z³の方程式を満たす3組の整数(x,y,z)を求めるという問題は、数学者たちを長年魅了し続けてきた。k=29のように解を容易に導き出せる場合や、9で除したときに4か5が余りとして残る整数、例えばk=32のように解が存在しないことが分かっている場合もあるが、大抵の場合において解は自明ではない。今のところ、解を発見する唯一の方法は、コンピューターを使って総当たりで宝くじを引き続けるだけだ。

世界中の数学者たちは1955年以来、利用可能な最も強力なコンピューターを用い、解を導き出してきたが、いくつかのkについては未だに当たりくじを引けていない。100以下の整数の中で、解のないものを除いて、解が分かっていない2つの整数は、33と42だ。

1955年から、Booker氏が33の解を発見するまで実に64年もの時を要した。ここまで長い時間がかかった理由は、(x,y,z)の正しい組み合わせを求めるために、正負の整数を1016(1京)まで検索することが、Booker氏の新アルゴリズムが誕生するまで不可能だったからだ。オーストリアの数学者であるTim Browning氏は「彼は10年前に比べてより高性能なコンピューターでアルゴリズムを走らせただけでなく、解を導くための本当にもっと効率的な方法を編み出した」と、Booker氏の研究を評する。

Booker氏のアルゴリズムは、kを従来の約20倍の速度で検索することができるという。彼はそのアルゴリズムを大学のスーパーコンピューターで、3週間連続して走らせて解を導いた。Booker氏によると、解が出るのに6カ月くらいかかると思っていたが、予想より早かったという。同氏の次なる目標は、もちろんk=42の解を見つけることだ。

fabcross for エンジニアより転載)

関連情報

おすすめ記事

 

コメント

今人気の記事はこちら

  1. 現役理学療法士が開発——リハビリ向け筋力測定デバイス「Power gauge」
  2. 世界最大の航空機「Stratolaunch」が初飛行に成功
  3. 3サイズで各種素材に対応——レーザー刻印機やCNC彫刻機にもなる3Dプリンター「Snapmaker 2.0」
  4. 3D CADと3Dプリンターでルアーを作るワークショップから、ゲルを使って暮らしを裕にするひみつ道具を作るハッカソンまで(5月24日~)
  5. Raspberry PiでAlexaのスキルを開発——スペクトラム・テクノロジー「はじめてのAlexa開発キット」発売
  6. エアフィルターとカメラ、照明が追加できる——3Dプリンター「Creality CR-10/10S」用ケース「PrintBox」
  7. Azure IoT Plug and Playに対応——STマイクロ、IoTセンサーモジュール「SensorTile.box」を発表
  8. あらゆる機器をIoT化——JIG-SAW、IoT組み込みエンジン「neqtoエンジン」の提供開始
  9. ハードウェア×ネコ愛のスタートアップ、ハチたま・ネコトイレ「トレッタ」の戦略
  10. それ、ラズパイでつくれるよ——人類史上最も無駄のないノートPC。をつくれるよ

ニュース

編集部のおすすめ

連載・シリーズ

注目のキーワード

もっと見る