東北大学の材料科学高等研究所助教の高橋悠樹氏が仙台で出会った知り合いの娘さん(おそらく高校生)がラマヌジャン級の天才ではないかと注目を浴びています(2019年7月)。ここで彼女が発見したとされる数式を幾つか紹介します。
既に知られているものがたくさんあるようですが、彼女が独自に発見したようです。どのようにして見つけたのかは分かっていませんが、もしラマヌジャン級の数学力をもっているのであれば、どのような理論に基づいて数式を見つけたかを自分で説明できないか、説明できても他者には意味不明か、あるいは明らかに間違った説明と見なされる可能性があります。
ネット上では彼女の能力を疑う意見も散見されますが、ラマヌジャンの才能を見出したハーディは、信じがたい公式を捏造する詐欺師よりも、偉大な数学者の方が現実には存在し得る、と述べているようです。私もこの意見を支持します。
この種の数式は、証明することよりも発見することの方が難しい場合があります。発見したあとで説明をつけることはそれほど難題ではありません。また、発見した人は何か特定の理論を使って発見したとは限りません。以下にこれらの数式について解説を試みますが、数式の発見に比べれば遥かにたやすく、とるに足らない作業です。
ピタゴラスの三つ組は一般に、
として、解の公式より、
以下の解が得られる。(他にもある。)