QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3897|回复: 5
打印 上一主题 下一主题

关于素数公式的初等证明[原创]

[复制链接]
字体大小: 正常 放大
sdqdzhxg        

8

主题

4

听众

165

积分

升级  32.5%

  • TA的每日心情
    难过
    2015-1-23 07:21
  • 签到天数: 7 天

    [LV.3]偶尔看看II

    跳转到指定楼层
    1#
    发表于 2011-9-14 09:29 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    本帖最后由 sdqdzhxg 于 2011-9-14 09:38 编辑 : x) W% @) f# i5 r  W

    5 \0 a, h6 r- U4 P- i, ]8 ~6 A' F- N
    - _$ [) ~& w! `  z
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    海里游        

    0

    主题

    4

    听众

    655

    积分

    升级  13.75%

  • TA的每日心情
    开心
    2012-7-29 10:51
  • 签到天数: 191 天

    [LV.7]常住居民III

    具体一点,公式是什么,代入什么样的数字,得出那些数字,既然这个公式包括了所有素数,从头到尾的多算出几个,或从自然数的那一段到那一段共有多少素数,通过公式一代入一个也不少的求出来,那大家才佩服你呀,只是这么一证,也不知你是在证明n^2-n+p,还是证n^2-n+p的拓展,不管怎样n^2-n+p还是个代数式,你的三个是定理还是公式,没看出来,要是定理就不能说是公式,要是公式就是明明白白的代数式,也许我没认真看,我相信别人也不会认真看的,既然说是公式,就把公式摆出来,别人按你的要求一代,想算什么素数就算什么素数,那才叫素数公式。你计算的代数式一会加,一会减,一会平方,一会立方,不知再算什么。不能只是自我陶醉呀,希望能给一个清楚明白的计算。
    回复

    使用道具 举报

    0

    主题

    4

    听众

    7

    积分

    升级  2.11%

    该用户从未签到

    对不起楼主,由于本人是新手,无发贴的权利,只好将我的一篇论文登在此处,与大家探讨。* g# R1 O: L1 w# Z1 b
    用求根方法巧妙证明费马猜想/ n; N; k" e& g4 N, E
    作者:刘孝强1 m- H- L8 v# O
    一、费马猜想简介:" q. g$ a! J/ n. Z/ Z* Y
    1.费马猜想: 当整数n > 2时,关于x, y, z的不定方程 x^n + y^n = z^n无正整数解。
    - ?" {! `5 v. t, i' j2.费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现了一种美妙的证法,可惜这里空白的地方太小,写不下。”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.")毕竟费马没有写下证明,而他的其它定理对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容,推动了数论的发展。
    # w# `- L8 N& t3 \# K8 {3.这个猜想,本来又称费马最后定理,由17世纪法国数学家费马提出,而当时人们称之为“猜想”,并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝妙证明,但经过三个半世纪的努力,这个世纪数论难题才由普林斯顿大学英国数学家安德鲁•怀尔斯和他的学生理查•泰勒于1995年成功证明。证明利用了很多新的数学,包括代数几何中的椭圆曲线和模形式,以及伽罗华理论和Hecke代数等,令人怀疑费马是否真的找到了正确证明。而安德鲁•怀尔斯(Andrew Wiles)由于成功证明此猜想,获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。
      ?8 M# N. F0 o5 _3 q8 Q/ S4 [甚至有许多数学家断言:费马猜想不可能用初等数学的方法证明。
    4 r1 z  Q$ G, z1 C) n二、求根方法证明费马猜想简介:4 n9 `) v* h9 R( E/ ?3 K4 B$ y  [
    安德鲁•怀尔斯的证明十分繁琐,而本人以下的证明十分简明。& \  l; U- a5 k: g1 K6 S
    1.我们知道费马猜想即:当n > 2时,不定方程x^n + y^n = z^n 没有正整数解。为了证明这个结果,只需证明方程x^4 + y4^ = z^4 (x , y,z) = 1和方程x^p + y^p = z^p (x , y,z) = 1[p是一个奇素数]均无正整数解即可。) o. _3 m( l2 ?/ }% T* B' h
    n = 4的情形已由莱布尼茨和欧拉解决。( M& ^" ^$ V) u# w- K! W$ Q6 _) o" `
    现在本人用求根方法来证明x^p + y^p = z^p ,(x , y,z)= 1[p是一个奇素数]无正整数解。
    ( a& p2 e: |4 i0 r3 r) E因(x , y,z)= 1,很容易证明x和 y,要么均为奇数,要么为一奇一偶。. e4 z/ v" _+ ?0 x% I; v6 C- {1 a! |: e
    2.为了证明简单明了,我们先来看p=3的情形。我这种证明方法可推出p为任何奇素数的对费马猜想的一般证明:当p≥3的素数时,x^n+y^n=z^n无正整数解。8 r! H6 B4 f' r1 b
    用反证法。假定 x^3+y^3=z^3有正整数解。有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么有:$ r# F# O  x7 S; E* i3 M
    z^3 = x^3 + y^3=(x + y)(x^2 + y^2-xy)。
    # c- k+ |( X4 ]设x^2 + y^2-xy=A,即x^2 -xy + y^2-A =0,把此式看成关于x的一元二次方程。
    6 V1 k# m( ^8 F; O" P0 v/ P, y/ x为了后面的证明,我把x^2 -xy + y^2-A =0这样的方程称为标准方程。
    ' h3 g8 q) F0 i: v2 ]) L" U" I即求x^2 -xy +y^2-A =0的解。用求根公式,有x=-(-y)±√(-y)^2-4(y^2-A)/2(注:√表示根号)= y±√(-y)^2-4y^2+4A/2= y±√4A-3y^2/2=  y±√4(x^2 + y^2-xy)-3y^2/2= y±√(2x -y)^2/2。因(2x -y)^2≥0,所以方程在实数范围内有根。这里需要讨论:" j8 P* A2 x. h6 H2 i, e" {8 I- [
    (1)当2x -y>0时,因x= y±√(2x -y)^2/2,可得x=x,或x = y/2 即y= 2x(这与2x -y>0相矛盾,舍去)。: J' S3 y8 q8 D
    (2)当2x -y<0时,因x= y±√(2x -y)^2/2,可得x=x,,或x = y/2 即y= 2x(这与2x -y<0相矛盾,舍去)。
    ) t6 g+ c  {9 x  V4 y(3)当2x -y=0时,因x= y±√(2x -y)^2/2,可得y= 2x。
    + ^1 Q' c* j6 E* b7 c综合上面三种情况:在实数范围内,x^2 -xy + y^2-A =0有实根x=x或x = y/2 即y= 2x。, F* B- f" ?( r( b2 f, m; R( y
    但显然在正整数范围内,因y= 2x,有y为偶数,与前面假设y为奇数相矛盾。也就是说x^3+y^3=z^3在正整数范围内无解。
    ! e! E7 C. d( c1 r1 ~为进一步明白我的思路,现在来看x^5 + y^5=z^5的情况。这时有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么:
    + N' j4 @5 {2 A% l! I" r7 h1 b: RZ^5= x^5 + y^5=(x + y)(x^4 + xy^3-x^2y^2+ x^3y+y^4)* G. x2 S9 t/ b* v; V. t) E! x
    设x^4 + xy^3-x^2y^2+x^3y+ y^4=M,又设x^4-x^2y^2+ y^4=M- xy^3 -x^3y =C,即x^4+ y^4-x^2y^2- C = 0,用代元法,设x^2=X ,y^2=Y,有:X^2+ Y^2-XY- C = 0,这就成了标准方程,从而可用证明标准方程的方法进行证明即可。采用上面的方法,在实数范围内,有由X = X或X= Y/2 即Y= 2X。但在正整数范围内,由Y= 2X,有y^2= 2x^2,这时y为偶数,与前面假设y为奇数相矛盾。也就是说x^5+y^5=z^5在正整数范围内无解。  O0 e8 m- ]2 G: A
    现在来看费马猜想的一般情形:同样用反证法。假定x^P+y^P=z^P(p是一个奇素数)有正整数解。这时有x和 y要么均为奇数,要么为一奇一偶。不妨假设y为奇数。那么因z^P=x^P-y^P=(x + y)(x^P-1+xy^p-2+…- x ^p-1/2y^p-1/2+…+ x^P-2y+ yP-1),设(x^P-1+xy^p-2+…- x ^p-1/2y^p-1/2+…+ x^P-2y+ y^P-1)=C,即x^P-1+…- x^ p-1/2y^p-1/2+…+ x^P-2y + y^P-1-C=0,设D=C-(xy^p-2+…+ x^P-2y),采用上面的方法很容易推出方程:x^P-1-x^p-1/2y^p-1/2+y^P-1-D=0,用代元法设x^ P-1/2=X ,y^p-1/2=Y,有:X^2+ Y^2-XY- D = 0,这就成了标准方程,从而按证明标准方程的方法就可以证明:x^P+y^P=z^P(p是一个奇素数)无正整数解。
    ( y3 B* y6 d6 e证毕。3 J, z9 z# G4 Q& [- `) e7 o
    2 t$ m; n. _2 l) C$ g# n
                             2010年12月3日5 o3 Y: @. E$ R' e6 }

    , p/ S( ^$ _1 A+ w6 a% ?(作者单位:四川省万源市太平镇。QQ号:516030331)( }3 p/ b9 U" f- s" Y6 a
    ! {2 V- o) S3 k2 d7 v
    回复

    使用道具 举报

    sdqdzhxg        

    8

    主题

    4

    听众

    165

    积分

    升级  32.5%

  • TA的每日心情
    难过
    2015-1-23 07:21
  • 签到天数: 7 天

    [LV.3]偶尔看看II

    本帖最后由 sdqdzhxg 于 2011-11-15 17:14 编辑 8 Q5 d, `' z) ]6 }3 F  e1 z
    海里游 发表于 2011-11-12 19:18 1 e, }; M2 a- S/ q" I; A7 `! ~& d" [
    具体一点,公式是什么,代入什么样的数字,得出那些数字,既然这个公式包括了所有素数,从头到尾的多算出几 ...

    # G& ?9 f+ c/ @1 v, O8 [
    : [* P' h# q2 R' a! E: h) _8 b    感谢关注并参与讨论。任何一门科学知识的创新与发展,都应该是人类科学的一部分;都应该为社会大众所认知和接受,并成为人们认识自然服务社会的重要工具;而不应是人人都看不懂的天书。本人的论文也是按照这一原则,对所证明之问题,力求做到规范、严谨、通俗、直观的证明。现在看来,并不能如愿。对于你出的问题作如下解释说明。$ N! l  v% ]' ~/ W7 Z" X
    1:: M4 s. X: P- o) a  M; z6 d" W
        定理3,是定理1定理2的推论,是判定特定整数域内之整数,是否为素数的充分必要条件;是判定特定整数域内之素数的充分必要条件的文字表达。
    / l% J' H8 E6 X% f# I% u2:- X6 a0 K( h# h0 @& D
        <1>式是定理3的标准代数表达式。准确地说,<1>式是一个关于定特定整数域内之素数的函数表达式,它是一个关于整数域内,从小到大之素数的序数n,与小于第n+1个素数的平方的整数域内,素数的函数表达式;是对定理3的高度抽象概括;是全面计算和表达特定和整数域内之素数的唯一方法。
    & c7 ?2 i; Q/ \  R) G+ y" Q    <1>式从形式上分:可分解为两个(等价的)式子,即加法算式和减法算式。从层次上分:也可分解为两个(等价的)式子,即指数算式(在算式当中素数的指数是一个变量)和非指数算式(在算式当中素数的指数是1)。很好的了解“唯一分解定理”有助于对本定理的理解。* x9 K" g) x$ Y6 k7 m2 d& u
       论文中列举已知第一、第二、两个素数时,以及已知第一、第二、第三、三个素数时的情形及公式代入,希望能够帮助你的理解。这样回答不知你是否满意?8 {$ z+ ^4 {' C! O
    回复

    使用道具 举报

    0

    主题

    4

    听众

    18

    积分

    升级  13.68%

  • TA的每日心情
    擦汗
    2011-12-16 10:50
  • 签到天数: 1 天

    [LV.1]初来乍到

    自我介绍
    喜欢一切美丽的事物,尤其喜欢**
    回复

    使用道具 举报

    sdqdzhxg        

    8

    主题

    4

    听众

    165

    积分

    升级  32.5%

  • TA的每日心情
    难过
    2015-1-23 07:21
  • 签到天数: 7 天

    [LV.3]偶尔看看II

    meinv001.com 发表于 2011-12-8 17:42 $ K! }5 q" s# ~+ V& U. h: e$ u/ O# ^
    楼主的,顶下,看贴要回
    * E+ }1 j# W5 {: `
    感谢光临,多多交流。
    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-6-13 03:12 , Processed in 0.440914 second(s), 79 queries .

    回顶部