唐 静，赵美利

（滁州城市职业学院，安徽滁州 239000）

众所周知，素数的判定问题一直是数论研究的中心问题之一，我们熟悉的歌德巴赫猜想、费尔玛大定理[1]，他们与素数都有直接的关系，而素数的判定方法也在不断改进。威尔逊[2]从同余角度给出了正整数P为质数的充分必要条件是，郝稚传[3]给出若P是奇数，P是素数的充分必要条件为。从组合数的角度给出了奇数是素数的判定条件，开辟了一个新的途径，在此基础上如何找到更实用、更简单、更一般的素数判断新方法仍然是数论研究的热点之一。王晓静[4]给出了组合数被素数整除的一种判别法 。针对m，n数值较大时，吴跃生[5]给出组合数被素数整除的又一种判别法。蒋娅[6]总结了能被素数整除的组合数的形式若p为素数，则，但对一个正整数是否是素数，有没有一个一般的方法均未作深入探讨。以下对奇数是素数的一般方法进行简单的探讨，并基于C++语言给出程序实现。

1 预备知识

素数的定义：一个大于1的整数，除了1和他自身外，不能被任何一个数整除，则这个数称为素数，否则就称这个数是合数，2是最小的素数。

2 相关结论

该定理给出了更一般判定奇数是质数的充要条件，我们下面给出证明，并用JAVV语言给出程序设计及实现效果。要证明此结论，需要证明以下结论。

综上所述引理4成立，由以上引理，我们容易得到定理的证明，下面我们来证明定理是正确的。

证明：“⇒”

所以定理得证。

下面我们验证此定理的正确性和简便化，比如，我们验证7是否是素数，可以取n=3，r=2，k=2，得到能够被7整除，所以7是素数。……