已知 都是质数(素数),且 和 也都是质数,则 的值是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先用奇偶迫一个素数为二,再利用模三覆盖剩下素数的两种非零余类。
若 ,则 不是素数,故 为奇素数。若 也为奇数, 就是大于二的偶数,不是素数。因此 。 若素数 ,则 或二模三:余一时 被三整除且大于三;余二时 被三整除且大于三,都矛盾。故 。此时两个线性式均为十七,确为素数。所求 。
模三排除时必须允许素数本身等于三,故另核 ;奇偶排除时也已单列 ,没有将所有素数一律当奇数。
多项式同时取素数,常先用奇偶锁定偶素数,再以小模数的全部余类迫例外素数。
需先处理二这一奇偶例外,再用模三完整排除非三素数,并回验剩下的素数对。
已记下,谢谢!