Ruizの恒等式 を非負整数、を任意の実数とする。このとき、が成り立つ。証明. に関する帰納法で証明する。とおく。である。であると仮定して、を示せばよい。より、は定数であることがわかる。従って、を得る。 Q.E.D.Ruizはこの恒等式を用いてWilsonの定理…