慶應義塾大学大学院理工学研究科KiPAS数論幾何グループの平川義之輔(博士課程3年)と松村英樹(博士課程2年)は、『辺の長さが全て整数となる直角三角形と二等辺三角形の組の中には、周の長さも面積も共に等しい組が(相似を除いて)たった1組しかない』という、これまで知られていなかった定理の証明に成功しました。 線の長さや図形の面積は、私たちの身の回りにあるものを測量する際に欠かせない基本的な「幾何学」的対象です。例えば、辺の長さが3、4、5の直角三角形は教科書でもおなじみの図形ですが、辺の長さが全て「整数」となる直角三角形はどのくらいあるか?という問題は、古代ギリシャ時代に研究がなされた重要な問題でした。この流れを汲んで20世紀に大きく発展した現代数学の一分野が「数論幾何学」です。 本研究では、数論幾何学における「p進Abel積分論」と「有理点の降下法」を応用することで、冒頭の定理の証明に成功し
![世界に1つだけの三角形の組 -抽象現代数学を駆使して素朴な定理の証明に成功-:[慶應義塾]](https://cdn-ak-scissors.b.st-hatena.com/image/square/5dfc0abd34a05119d1794b243090925052592510/height=288;version=1;width=512/https%3A%2F%2Fwww.keio.ac.jp%2Fja%2Fassets%2Fcommon%2Fimages%2Fogp%2F01.png)