この記事では(\ref{eq:walliswithbinomialodd})式の結果を証明なしで用いています。スポンサーリンクまとめWallis積分自体は特に難しいものではないと思うのですが、おまけとして書いた二項係数による表現方法は一見しただけではなんでそうなるのかがわかりにくい(※個人の感想です。)と思ったので、記事にしてみました。大学入試の数学の問題でWallis積分をストレートに計算させる問題が出題されることはあまりないと思いますが、求積問題の計算の途中等で登場する可能性がありますので、頭の片隅に入れておくとよいことがあるかもしれません。リンクLegendre多項式の直交性を最高次の項の係数だけを計算することにより証明してみた。