相加相乗平均に新証明法 高校教諭、運転中にひらめく

http://www.asahi.com/science/update/0816/OSK200808160004.html

　証明したのは「相加相乗平均の定理」。高校１年で習うことが多い。
　内田さんは、ある定理の証明で描いていた図形が、相加相乗平均の定理の証明に使えることに気づいた。さらに簡単な証明法がないかと連日、考えていたところ、出勤途中の運転中にひらめいた。高校入学後すぐに扱う簡単な公式を使うだけの方法だった。
　この定理の証明方法は５０以上あるとされる。高校生でも理解できるほど「簡単な」方法だっただけに、新しい証明法かどうかがわからない。県立図書館や広島大学の図書館などに通ったがはっきりしなかったという。
　そのころ、数学のノーベル賞と言われるフィールズ賞受賞者の広中平祐さん（７７）と偶然会った。欧州旅行をした０６年６月、イタリア・ミラノの空港で見かけた。以前、講演を聴いたこともあり、声を掛けて新しい証明方法のことを話した。すると「それはおもしろい」と数学談議で盛り上がったという。広中さんは「新しいかどうか分からないが自分で見つけたことに価値がある。不等式専門の学術雑誌があるから投稿してみてはどうか」とアドバイス。
　論文を作り上げ、今年３月に提出。掲載を伝える電子メールが届いたのは５月上旬だった。「非常にシンプルな新しい証明方法です」。職員室でガッツポーズが出た。

恐ろしくマイナーな話題だけど、一種のヒラメキとかがうまくはまったときの昂揚とかは、もともとひどくパーソナルな楽しみなわけで。