3.4.11 高级专题：方程模整数当写出方  解释为两个整数 表达式在模某个固定整数下相等是方便的. 使用弱相等概念解方程在数论中的 许多问题中都是很重要的. 模整数求解方程 有两种处理方程模整数的方法. 第一种是明确指出要使用的模，第二种是让 Solve 找出方程所满足的模. 这个方程在复数域上不能求出封闭形式的解
Out[1]= |  |
但是，在整数模 19下,该方程有简单的解注意果包含一个模果包含一个模 数的方程，则不必明显设置 Mode->Modular
Out[2]= |  |
如果使用 Mode->Modular，但不明显包含想使用模数的方程，那么， Mathematica 将尝试找出方程组满足的模数. 此结果表明，当x为奇数时，这些方程满足模数 2
Out[3]= |  |
当以通常的方式在复数域上解方程时，n 个方程决定 n 个复数值. 然而，当使用 Mode-->Modular，事先不指定模数时，仅通过给出  个方程，就会得到  个整数变量的有限个解.可以把额外的方程看作是决定模数的.
这是一个三次多项式
Out[4]= |  |
这里求使 f 和其导数均为零的 x 值的模数
Out[5]= |  |
这里是 f 和 D[f,x]的相应值
Out[6]= |  |
它们模 8059 确实为零
Out[7]= |  |
这里是具有两个变量的多项式
Out[8]= |  |
用算术几何语言来讲这里显示出由  定义的曲线有一个模素数 11 的奇异点
Out[9]= |  |
| 
