「57 は 3 で割れ切れる」の別証明（したかった→できた） - tsujimotterのノートブック2017/02/04: こちらの記事の計算に誤りがあることが発覚しました。今は手が離せないので，また後ほど訂正いたします・・・。 2017/02/05: 上記の誤りについてですが，たしかに誤りであることが確認できました。どの箇所が誤っているかについて，末尾の「追記」に詳しくまとめました。 2022/08/05: 実は、今回の方法でも「57は3で割り切れる」を証明できることに気づきました。気付いたのは2021/03/17だったのですが、ブログに反映させるのが億劫でやっておりませんでした。今回、その証明をまとめたツイートをブログ末尾の「追記３」にまとめました。 57 という数は「グロタンディーク素数」と呼ばれています。グロタンディークという高名な数学者が「57 を素数と間違えた」というエピソードに由来しています。 このエピソードは，私のブログでも紹介したことがありました。 tsujimotte
