又称“剩余定理”。初等代数中的一条重要定理。即多项式f除以x-a所得的余式等于这个多项式当x＝a时的值f。因法国数学家裴蜀首先发现，故也称“裴蜀定理”。