- 注册时间
- 2009-10-14
- 最后登录
- 1970-1-1
- 威望
- 星
- 金币
- 枚
- 贡献
- 分
- 经验
- 点
- 鲜花
- 朵
- 魅力
- 点
- 上传
- 次
- 下载
- 次
- 积分
- 47
- 在线时间
- 小时
|
楼主 |
发表于 2009-11-3 18:17:49
|
显示全部楼层
你们这个论坛弄的不是很好, 发贴点出一个小窗口后(在小窗口里发不了贴), 必须要点大窗口才能发的上来. 而且里面的很多设置繁琐. 有些都是无效的失灵的. 实际上我就根本没点收费,我都不知道收费是怎么出来的
下面是一个网友发表的回复:
首先a/b要约分成互质,为m/n,那么m/n与1/n循环节一样。
把n中的2和5的因式全部去掉,这样不影响循环节长度,剩下的因式记为n1。
根据循环小数化为分数的方法,分母必然是99…9(k个9)=10^k-1,并且n1必然整除10^k-1,这样问题就转化为求满足10^k≡1 (mod n1)的最小正整数k。
首先要说欧拉函数φ(n):欧拉函数是一个定义在正整数上的函数,φ(n)的值等于以下这些整数0、1、2、…、n-1与n互素的数的个数。
由定义知,φ(1)=1,φ(2)=1,φ(3)=2,φ(4)=2,……,当p是素数时,φ(p)=p-1。
欧拉函数的计算方法:设n的标准分解式子是p1^k1·p2^k2·…·pm^km,其中p1、p2、…、pm是互不相等的素数,k1、k2、…、km都是正整数,则φ(n)=n(1-1/p1)(1-1/p2)…(1-1/pm)。
例如φ(10)=10×(1-1/2)×(1-1/5)=4。
欧拉定理:设a、m为整数,m>1,(a,m)=1,则a^φ(m)≡1 (mod m)。
整数的次数:a、m为整数,m>1,(a,m)=1,k是使a^k≡1 (mod m)成立的最小正整数,则k叫做a对模m的次数。
次数定理:设a对模m的次数为k,n是满足a^n≡1 (mod m)的正整数,则k|n。
欧拉函数的计算方法、欧拉定理的证明、次数定理的证明可以找初等数论的书,这里就不发上来了。
由欧拉定理可以得到求1/n循环节长度的方法。
举个简单的例子。
例如n=11,则φ(11)=10,根据欧拉定理10^10≡1 (mod 11),所以循环节长度一定是10的正约数。而10的正约数有1、2、5、10,从小到大逐一检验,得到10^2≡1 (mod 11),所以1/11的循环节长度就是2。
假设a、n是大于1的正整数,p是素数,则a对模p的次数没有什么好办法去求,只能用上面的方法。
其它情形有下面两个定理:
假设a、n是大于1的正整数,n的标准分解式是p1^k1·p2^k2·…·pt^kt,其中p1、p2、…、pt是互不相等的素数,k1、k2、…、kt都是正整数,a对模pi^ki的次数为mi,则a对模n的次数为m1、m2、…、mt的最小公倍数。
如果a、n是大于1的正整数,p是素数,k是正整数,a对模p^k的次数是m,则a对模p^(k+1)的次数是m或pm。
这两个定理也可以从初等数论里找到证明,我也不发上来了。
再举一个例子
539=7^2×11
10对模7的次数为6,那么10对模7^2的次数或者是6或者是42,经计算验证得10对模7^2的次数是42。
10对模11的次数为2。
所以10对模539的次数为2和42的最小公倍数,即42,所以1/539的循环节长度为42。
《数论导引》里的差不多就是这些内容了,到现在为止求循环节长度的解法已经全部发上来了。
下面是另一个网友发表的回复:
我将做大胆的猜想(需证明):
1,两个整数相除,结果一定是循环小数。 (只是有些循环节更大些)
2,循环节大小跟被除数无关。
3,循环节大小跟除数成决定性关系。
4,如果被除数为1,那循环小数为“纯循环数”;如果如果被除数>1,那循环小数可能为“非纯循环数”。
5,除数的最大素数越大,往往循环节越大。
关于@3的关系:(我很多概念忘记了,叫不上名,用实际数字说明)
Ex: 153 = 17 * 3 * 3;
我们现说“153”由两个素数组成: 17,3。
那么 循环节大小 受17主要影响,受3次要影响。
被除数:1; 除数:如下:
------------------------------------------------------
2, 除尽
3, 0.33333333333333333333333333333333
5, 除尽
7, 0.14285714285714285714285714285714
11, 0.090909090909090909090909090909091
13, 0.076923076923076923076923076923077
17, 0.058823529411764705882352941176471
19, 0.052631578947368421052631578947368
23, 0.043478260869565217391304347826087
29, 0.034482758620689655172413793103448
31, 0.032258064516129032258064516129032
... |
|