これは鯵坂もっちょ氏が企画されたアドベントカレンダー 好きな証明 Advent Calendar 2018 - Adventar の4日目の記事です。今回は今までに執筆したブログ記事の中から私の好きな証明を幾つか選んで紹介したいと思います。 全ての頂点のx座標, y座標が整数であるような正五角形が存在しないことの証明 ネイピア数が無理数であることの好きな証明 素数が無数に存在することの好きな証明 バーゼル問題の好きな証明 代数学の基本定理の好きな証明 1000009が素数でないことの証明 特定の数の無限性に関するグラフを使った証明 ラマヌジャンのτが23の倍数になるための十分条件の証明 三木の恒等式の証明 アックス-グロタンディークの定理の証明 ファン・デル・ヴェルデンの定理の証明 高次元最密球充填の最近の進展における証明のアイデア おまけ 全ての頂点のx座標, y座標が整数であるような正