三体問題が解けないことを証明したのは誰?…ポアンカレはいったい何を証明したのか 三体から生まれた「カオス」の発見 ポアンカレは「三体問題が解けないことを証明した」といわれます。しかし、「二体問題」の一般解を求める方法(「求積法」)では、「三体問題」の一般解を求めることができないということは1887年にドイツの天文学者ハインリヒ・ブルンスによって証明されていました。それではいったい、ポアンカレは何を証明したのでしょうか? 浅田秀樹さんの著書『三体問題』から、ポアンカレが証明した驚くべき事実をご紹介します。 ポアンカレの登場 ブルンスによる証明がなされた2年後の1889年、スウェーデン国王兼ノルウェー国王のオスカル2世の60歳の誕生日を祝うために、数学に関する懸賞問題が公表されました。 このオスカル2世の懸賞問題とは、厳密な数学的な定義・用語を避けて筆者なりに意訳すればおおよそ以下のようなもの