エイプリルフール記事君にこの問題が解けるか！？ - INTEGERSで出題した問３の解説を行います。問題は次のようなものでした：問３ 数列をおよびによって定義する。 このとき、任意の自然数に対してが整数であることを証明せよ。これはGöbel数列と呼ばれてい…

この記事は非公開化されました。integers.hatenablog.com非公開前の内容要約: 高野喜久雄の公式などのMachin型の公式の証明法(≠発見法)の解説など。