以下の等式について考える.
この等式は, 積分botの問題を解いてみた2 や 積分botの数式を漸化式で解く議論 などで示されているが, ここでは別の角度から考えてみる. まず, 以下のような多項式を定義する.
これはGegenbauer多項式と呼ばれている直交多項式になっており, 直交性
を満たす. また, 等式
の係数を比較することによって,
という表示が得られる. これらを用いて最初の式を示す.
途中の変形で直交性によって
このように, 直交多項式を用いることによって, 比較的見通しの良い計算で積分の等式を示すことができることもある.