杨 明 顺
(渭南师范学院 数理学院,陕西 渭南714099)
【自然科学基础理论研究】
含有伪Smarandache函数的方程的求解问题
杨 明 顺
(渭南师范学院 数理学院,陕西 渭南714099)
伪Smarandache函数;原根;方程;正整数解
引理1[5]设n>1为正整数,a为任意整数且(a,n)=1,则aφ(n)≡1(modn),其中:φ(n) 为Euler函数,即φ(n)表示不超过n且与n互素的正整数的个数。
证明 以下分两种情况进行讨论:
(1)当n=2m(m为自然数)为偶数时,有
(1)
(2)
(3)
当2k-1>4时,注意到:Z(4(2k-1))≤2k-2。如果k≡1(mod 4),则Z(4(2k-1))≤2k-1;如果k≡0(mod 4),则Z(4(2k-1))≤3(2k-1)-1;如果k≡2(mod 4),则Z(4(2k-1))≤3(2k-1);如果k≡3(mod 4),则有
(4)
注意到Z(2n)≤4n-1 ,因此
(5)
由(3)(4)(5)式可得
(6)
由(1)(2)(6)式可得
于是,证明了当n为偶数时结论成立。
(2)当n为奇数时,设n=2m+1(m为自然数),利用Z(2(2m+1))≤2m+1及上面已经证明的结果有
于是,完成了引理的证明。
引理3[7]若p为奇素数,则模p有原根。
(2)因为δs(s=1,2,…,r)是τ的因数,而1,2,…,p-1中任一数的指数在δ1,δ2,…,δr中出现,故xr≡1(modp),x=1,2,…,p-1,即xr≡1(modp)至少有p-1个解,从而p-1≤r,但由指数的性质可知δs|p-1 (s=1,2,…,r),故τ|p-1,由此可得τ≤p-1,故τ=p-1。
引理4 若p为奇素数,则模pα有原根,其中α≥1为整数。
证明 不妨设α>1。由于g是模p的原根,则(g,p)=1,因此存在整数x0,使得gp-1=1+px0,于是,对于任意的整数t有
(g+pt)p-1=gp-1+p(p-1)tgp-2+…=1+p(x0-gp-2t)+p2Q2。
其中:Q2∈Z。
从而(g+pt)p-1≡1+p(x0-gp-2t)(modp2),当p不能整除x0时,取t0=0;当p能整除x0时,取t0=1,故p不能整除x0-gp-2t0=y0,于是
(g+pt0)p-1=1+py0≡1(modp2),
(g+pt0)p(p-1)=(1+py0)p=1+p2y1。
因此,当p不能整除y1时,同理可得
(g+pt0)p2(p-1)=(1+p2y1)p=1+p3y2,
(g+pt0)p3(p-1)=(1+p3y1)p=1+p4y3,
……
(g+pt0)pα-1(p-1)=(1+pα-1y1)p=1+pαyα-1。
其中:yα-1≡yα-2≡…≡y0(modp),因此,p不能整除yi(0≤i≤α-1)。
设g+pt0对模pα的指数为δ,则(g+pt0)δ≡1(modpα),由此即得(g+pt0)δ≡1(modp),但g+pt0是模p的一个原根,故p-1能整除δ。另一方面,由δ的定义知δ|φ(pα),即δ|pα-1(p-1),故δ=pr-1(p-1),1≤r≤α,由此结果可得1+pryr-1≡1(modpα),即pryr-1≡1(modpα),从而有r≥α,故r=α,g+pt0是模pα的一个原根。
引理5 关于模m(>1)有原根的充要条件是m是形如2,4,pk,2pk的数,其中:p为奇素数,k为正整数。
证明 (1)必要性:
若m不具备定理中的形式,则
m=2k(k≥3),
(7)
(8)
(9)
其中:pi(1≤i≤l)为奇素数,ki(1≤i≤l)为正整数。
若m是形如(8)式的数,那么对任意a,(a,m)=1,有
aφ(2k)≡1(mod 2k),
aλ(m)≡1(mod 2k),
aλ(m)≡1(modpiki),1≤i≤l,
aλ(m)≡1(modm)。
(10)
(2)充分性:
1)若m=2n。当n=1时,m=2,此时φ(m)=1,显然1是它的原根。当n=2时,m=4,此时φ(m)=2,易知1,3是模4的简化剩余系,显然3是它的原根。当n≥3时,对任意奇数a,由于a=2a1+1,从而a2=4a1(a1+1)+1≡1(mod 23), 则
3)若m=2pk,此时φ(m)=φ(2)φ(pk),g是模pk的原根,那么,当g为奇数时,g是模m的原根,这是因为(g,m)=1,gφ(m)≡1(modm),假设g关于模m的阶数λ<φ(m),则从gλ≡1(modm),即有gλ≡1(modpk),而这与g是模pk的原根的假设矛盾,因此λ=φ(m),于是g是模m的原根。当g为偶数时,因为g+pk是pk的原根,而g+pk为奇数,所以g+pk也是模m的原根。
于是完成了引理的证明。
定理2 设n是存在原根的正整数,则伪Smarandache函数Z(n)为n的原根当且仅当n=2,3,4。
证明 显然,Z(2)=3是2的一个原根,Z(4)=7是4的一个原根,现在考虑n=pα,其中:p为奇素数。若Z(n)是模n=pα的原根。则由Z(n)的定义及性质知Z(n)=pα-1,所以pα-1为模n=pα的原根。又由于Z2(n)=(pa-1)2≡1(modpa)且pα-1为模n=pα的原根,所以 2=φ(pα)=pa-1(p-1),由此式立刻推出α=1,p-1=2。即就是p=2+1=3。因此,当n=pα(p为奇素数)时,Z(n)为n的原根当且仅当n=p=3。
当n=2pα时,注意到前面列出Z(n)的性质,我们分两种情况讨论:
(1)若pα≡3(mod 4),则由Z(n)的定义及性质可得Z(n)=pα,因为(pα,2pα)=pα>1,所以Z(n)=pα不可能为n=2pα的原根。
(2)若pα≡1(mod 4),则由Z(n)的定义及性质可得Z(n)=pα-1。因为(pα-1,2pα)=2>1,所以Z(n)=pα-1也不可能为n=2pα的原根。
综合以上结果及引理4、引理5可得,Z(n)为n的原根当且仅当n=2,3,4。
[1]SmaradacheF.OnlyProblems,NotSolutions[M].Chicago:XiquanPublishingHouse,2001.
[2]GorskiD.Thepseudo-Smarandachefunction[J].SmarandacheNotionsJournal,2002,13:140-145.
[3]LIUYah-hi.OntheSmarandachePseudoNumberSequenc[J].ChineseQuarterlyJournalofMathematics,2006,21(4):581-584.
[4]WANGJinrui.OntheSmarandachefunctionandtheFermatnumber[J].ScienfiaMagna,2008,4(2):25-28.
[5] 张文鹏.初等数论[M].西安:陕西师范大学出版社,2008.
[6] 张爱玲.关于伪Smarandache函数的一个方程及其正整数解[J].西北大学学报(自然科学版),2008,38(4):535-538.
[7] 闵嗣鹤,严士健.初等数论[M].北京:高等教育出版社,2003.
[8] 朱敏慧.关于Smarandache函数与费尔马数[J].西北大学学报(自然科学版),2010,40(4):583-585.
【责任编辑 牛怀岗】
The Solution of Equations Involving Pseudo Smarandache Functions
YANG Ming-shun
(School of Mathematics and Physics,Weinan Normal University,Weinan 714099,China)
pseudo function; primitive root; equation; positive integer solution
O
A
1009-5128(2017)08-0005-05
2016-12-17
陕西省自然科学基金资助项目:Mocktheta函数理论及其交叉应用研究(2016JM1004);陕西省教育厅自然科学研究计划项目:Hurwritz-zeta函数高阶导函数的新型均值计算及应用研究(16JK1265);渭南师范学院科研计划项目:数论函数及其在大数据处理方面的应用研究(15YKF005);渭南师范学院教育科学研究项目:协同创新下师范生职业技能的培养(2015JYKX016)
杨明顺(1964—),男,陕西渭南人,渭南师范学院数理学院教授,主要从事数论研究。