关于数论函数方程解析.docVIP

关于数论函数方程 李宋宋 （安徽师范大学 安徽芜湖 241000） 摘要:对于任给的正整数，和分别是Euler函数和Smarandache函数，本文根据初等数论的理论以及分类讨论的方法，对数论方程的解进行了讨论并给出了解的表达式以及解的判别条件。 关键词:Euler函数;Smarandache函数;阶乘;费马数;方程 On the Arithmetic Functional Equation Abstract: For any given positive integer n, and are Euler function and Smarandache function respectively, according to the elementary number theory and the method of classification discussion, this article has discussed the arithmetic functional equation and finally given the expression and the discriminants of solution. Keywords: Euler function；Smarandache function；factorial；Fermat number；equations 1 引言 对于任意正整数,设和分别是Euler函数和Smarandache函数.其中,表示不大于且与互素的正整数的个数定义为最小正整数,使得即的各种性质是数论及其应用领域中一个十分引人关注的研究课题关于这两个函数之间关系的讨论,一直也是很多学者研究的对象, 例如文献[2]中讨论了数论方程的相关性质和求解过程，并且在很多学者努力下，此类型方程的求解结果已经很完善；文献[4]中讨论并给出了方程的解.在诸多文章和结果的启发下，本文一类数论方程,并在现有的五个费马素数的基础上得到了此类方程解的表达式和部分解的判别条件对于任给的正整数,和分别是Euler函数和Smarandache函数为数论方程的解的标准分解式为：, ,其中，，满足： (1)当时，，或者满足不等式组： ， 特别地，当时，.（2）当时， 或者满足不等式组： 其中.为的二进制表示的各数字之和. 2 相关引理 引理1[5] 对任意互素的正整数和，Euler函数. 引理2[5] 如果是正整数的标准分解式,其中为不同素数，为正整数，则有 引理3[6] 如果是正整数的标准分解式,则有 引理4[5] 若为不大于的互不相同的正素数，则的标准分解式为 其中. 引理5 对任给的正整数,方程的解满足： 其中表示的二进制表示的各数字之和. 证明 设的标准分解式中,2的指数为,首先证明 . 设的二进制表示为 ,其中或1，,记为二进制表示的数字之和，即 则由引理4, 其中,于是 其次,若为方程的解,由的定义知,,也就是： 即  引理6[7] 若为型的素数,则,即为费马素数. 目前知道的费马素数只有3,5,17,257, 65537,本文就在这些费马素数的范围内讨论所给方程的解. 3 定理的证明 分两部分证明，首先证明方程解的标准分解式为 , ；其次给出应满足的条件。 第一部分： 当时,,因此不是方程的解； 当时,代入方程有： 因此要求 i) 当时,,即,显然等式不成立,故此种情形无解； ,即.由于 所以,故此种情形无解；当, 此时方程为： 要使方程有解,则,.则必为型的素数,由引理6知, 为Fermat素数,本文仅考虑3,5,17,257,65537这5个费马素数.设, , 其中根据 代入方程得, 但是 也即 .因此,此种情形方程无解. 排除以上几种情况,并且由上面的分析可知,的只能为： ——（**） 第二部分： 将（**）代入方程： 如果方程有解,则必须为形的素数,由引理6,为费马素数.下面对进行分类讨论：当时即,,根据引理和引理3有： 代入方程： ① 当时,若方程有解,则 对进行分类讨论： 当时,,但是,矛盾！ 时, ，但是,矛盾！ 当时, ，并且,故为方程的解； 当时250，并且,故为方程的解； 时,65522，并且,故为方程的解； ②当时,若方程有解,则,同样对进行分类讨论： 当时,有,由此种情形无解； 当时,有,若方程有解,由引理5应满足： 因此,为方程的解. 当时,有,若为方程的解,由引理,当且仅当 当时,有,若为方程的解,由引理5,当且仅当 当时,有,若为方程的解,由引理5,当且仅当 综合起来,型的解为：，或者满足不等式组： . 并且当时，.解的具体表达式参见表