孙子定理是数论中的一个关于一元线性同余方程组的定理,说明了一元线性同余方程组有解的准则以及求解方法。也称为中国剩余定理,古有“韩信点兵”、“孙子定理”、“求一术”(宋 沈括)“鬼谷算”(宋 周密)、“隔墙算”(宋 周密)、“剪管术”(宋 杨辉)、“秦王暗点兵”、“物不知数”之名。