を負でない整数とし,とおく.でを示す.
のとき. で成立.のとき成立するとする.
なので帰納法の仮定から が成立し,かつ なので、でが成立する.よってすべてのででが成立.
でもちいると, が成り立つ.
∴
右辺の分母分子の次数から,のとき右辺なので,である.
を負でない整数とし,とおく.でを示す.
のとき. で成立.のとき成立するとする.
なので帰納法の仮定から が成立し,かつ なので、でが成立する.よってすべてのででが成立.
でもちいると, が成り立つ.
∴
右辺の分母分子の次数から,のとき右辺なので,である.