多項式恒等式のスポットチェック

多項式の恒等式がいくつかのランダムな点で成り立てば、それが真である可能性は非常に高い。この原理をSchwartz-Zippelの補題として知られる形で精密化し、二項係数の恒等式などへの応用を紹介する。