[原创]数学是什么

非诚勿扰123

原帖由 非诚勿扰123 于 2009-1-8 14:35 发表
数学是人类编制的一种专用于近似量化自然界的语言。

由于数学的近似性、不确定性、不可靠性，所以我一直很少抽时间去搭理它。

[ 本帖最后由 非诚勿扰123 于 2009-1-8 15:06 编辑 ]

cjaizss

晕死,还要我明说吗?
合数可以分解成质数的乘积,这是先质数无穷的定理

cjaizss

..........

[ 本帖最后由 cjaizss 于 2009-1-8 14:56 编辑 ]

shan_ghost

那么，

如果b是合数,则它在a1....an中至少有一个约数,但它没有,所以不是合数
如果b是质数,则b应该是a1....an中的一元,可是它大于a1....an中的每一个数,所以不是质数

这两句话，你又是怎么推出来的？



汗，纠正一下：
    如果q是b的约数，那么它就不能是b+1的约数

根据你的叙述，应该是：  如果q是b-1的约数，那么它就不能是b的约数
这句话和上面的引用等价。

[ 本帖最后由 shan_ghost 于 2009-1-8 14:59 编辑 ]

cjaizss

原帖由 shan_ghost 于 2009-1-8 14:36 发表


这句话不能随便说……所以必须有证明……

这句话隐含引用的东西是： 如果q是b的约数，那么它就不能是b+1的约数

而上面这个结论的证明，就是 如果 q同时是b和b+1的约数，那么它就必须能整除b+1-b
这个 ...

我来告诉你为什么
如果b|c,b|d
那么b|ec+df
如果
q|b
q|b+1
则
q|-1*b+1*(b+1)
则
q|1

cjaizss

如果b|c,b|d
那么b|ec+df
这个定理很容易证明
b|c,b|d
设置
c=c'b
d=d'b
ec+df=ec'b+fd'b=(ec'+fd')*b
所以
b|ec+df

cjaizss

满足交换律、结合律、分配律即使不是数论里的公理，但也应该在定义整除之前给全部证明了

shan_ghost

原帖由 cjaizss 于 2009-1-8 15:02 发表
如果b|c,b|d
那么b|ec+df
这个定理很容易证明
b|c,b|d
设置
c=c'b
d=d'b
ec+df=ec'b+fd'b=(ec'+fd')*b
所以
b|ec+df

见这个头大……文字瞟一眼就懂了，这个要琢磨半天才能和客观世界的东东联系起来……

shan_ghost

所以俺不喜欢往深里研究，就喜欢看别人说的清清楚楚的皮毛

huxk

我似乎感覺我們一直里沒有很濃的數學式思維