Figure6:陈封润 注10.l621年,Bachet猜测g(2)=4,Fermat之后宣称他可以证明, 但第一个证明由拉格朗日四平方数定理给出(见下):g(3)=9被Wieferich于1909年 读大学(德国明斯特大学)时证明:1986年,印度数学家R.Balasubrama- nian证明g(4)=19.1964年,陈封润证明g(5)=37(参考注13).1940年, 印度数学家S.S.Pillai证明g(6)=73.前面的g()值的数列是 1,4,9,19,37,73.143,279,548,1079,2132,4223,8384,16673,33203,66190,132055.… 一般地,猜想(1772,J.A.Euler,老欧拉之子) g(n)=2n+[(3/2)n]-2 一个完整的证明足以流芳百世,但,百世未必足以给出一个完整的证明.… 13Figure 6: ➑➭❞ ✺10. 1621❝➜Bachetßÿ g(2) = 4➜ Fermat❷❭→➛➀➧②➨➜ ✂✶➌❻②➨❞✳❶❑❋♦➨➄ê➼♥❽Ñ(❸❡)➯g(3) = 9 ✚Wieferich✉1909❝ Ö➀➷ (✙■➨❞❆➀➷)➒②➨➯1986❝➜❁Ýê➷❬R. Balasubramanian②➨g(4) = 19 . 1964❝➜➑➭❞②➨g(5) = 37 (ë⑧✺13). 1940❝➜ ❁Ýê➷❬S.S. Pillai②➨g(6) = 73 . ❝→✛g(k)❾✛ê✎➫ 1, 4, 9, 19, 37, 73, 143, 279, 548, 1079, 2132, 4223, 8384, 16673, 33203, 66190, 132055... ➌❸✴➜ß➂(1772, J.A.Euler➜Pî✳❷❢) g(n) = 2n + [(3/2)n ] − 2 ➌❻✑✒✛②➨✈➧✻➃③➢, ✂, ③➢➍✼✈➧❽Ñ➌❻✑✒✛②➨...... 13