正十七边形

正十七边形

尺规作法(无刻度）

步骤一：

给一圆O，作两垂直的半径OA、OB，

作C点使OC＝1/4OB，

作D点使∠OCD＝1/4∠OCA，

作AO延长线上E点使得∠DCE＝45度。

步骤二：

作AE中点M，并以M为圆心作一圆过A点，此圆交OB于F点，

再以D为圆心，作一圆过F点，此圆交直线OA于G4和G6两点。

步骤三：

过G4作OA垂直线交圆O于P4，

过G6作OA垂直线交圆O于P6，

则以圆O为基准圆，A为正十七边形之第一顶点P4为第四顶点，P6为第六顶点。

连接P4P6，以1/2弧P4P6为半径，在圆上不断截取，即可在此圆上截出正十七边形的所有顶点。

历史

最早的十七边形画法创造人为高斯。高斯(1777~1855年)，德国数学家、物理学家和天文学家。在童年时代就表现出非凡的数学天才。三岁学会算术，八岁因发现等差数列求和公式而深得老师和同学的钦佩。1799年以代数基本定理的四个漂亮证明获得博士学位。高斯的数学成就遍及各个领域，其中许多都有着划时代的意义。同时，高斯在天文学、大地测量学和磁学的研究中也都有杰出的贡献。

1801年，高斯证明：如果k是质数的费马数，那么就可以用直尺和圆规将圆周k等分。高斯本人就是根据这个定理作出了正十七边形，解决了两千年来悬而未决的难题。

道理

当时，如果高斯的老师告诉了高斯这是道2000多年没人解答出来的题目，高斯就不会画出这个正十七边形。这说明了你不怕困难，困难就会被攻克，当你惧怕困难，你就不会胜利。

正十七边形的证明方法

正十七边形的尺规作图存在之证明:

设正17边形中心角为a,则17a=360度,即16a=360度-a

故sin16a=-sina,而

sin16a=2sin8acos8a=4sin4acos4acos8a=16sinacosacos2acos4acos8a

因sina不等于0,两边除之有:

16cosacos2acos4acos8a=-1

又由2cosacos2a=cosa+cos3a等,有

2(cosa+cos2a+…+cos8a)=-1

注意到 cos15a=cos2a,cos12a=cos5a,令

x=cosa+cos2a+cos4a+cos8№a

y=cos3a+cos5a+cos6a+cos7a

有:

x+y=-1/2

又xy=(cosa+cos2a+cos4a+cos8a)(cos3a+cos5a+cos6a+cos7a)

=1/2(cos2a+cos4a+cos4a+cos6a+…+cosa+cos15a)

经计算知xy=-1

又有

x=(-1+根号17)/4,y=(-1-根号17)/4

其次再设:x1=cosa+cos4a,x2=cos2a+cos8a

y1=cos3a+cos5a,y2=cos6a+cos7a

故有x1+x2=(-1+根号17)/4

y1+y2=(-1-根号17)/4

最后,由cosa+cos4a=x1,cosacos4a=(y1)/2

可求cosa之表达式,它是数的加减乘除平方根的组合, 故正17边形可用尺规作出

数学未解之谜 一 数学基础问题。

1、 数是什么？

2、 四则运算是什么？

3、 加法和乘法为什么符合交换律，结合律，分配律？

4、 几何图形是什么？

二 几个未解的题。

1、求 (1/1)^3+（1/2）^3+(1/3)^3+(1/4)^3+(1/5)^3+ … +（1/n）^3=?

更一般地：

当k为奇数时 求

(1/1)^k+（1/2）^k+(1/3)^k+(1/4)^k+(1/5)^k+ … +（1/n）^k=?

背景：

欧拉求出：

(1/1)^2+（1/2）^2+(1/3)^2+(1/4)^2+(1/5)^2+ … +（1/n）^2=（π^2）/6

并且当k为偶数时的表达式。

2、e+π的超越性

背景

此题为希尔伯特第7问题中的一个特例。

已经证明了e^π的超越性，却至今未有人证明e+π的超越性。

3、素数问题。

证明：

ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s + …

(s属于复数域)

所定义的函数ζ(s)的零点，除负整实数外，全都具有实部1/2。

背景：

此即黎曼猜想。也就是希尔伯特第8问题。

美国数学家用计算机算了ζ(s)函数前300万个零点确实符合猜想。

希尔伯特认为黎曼猜想的解决能够使我们严格地去解决歌德猜想（任一偶数可以分解为两素数之和）和孪生素数猜想（存在无穷多相差为2的素数）。

引申的问题是：素数的表达公式？素数的本质是什么？

4、 存在奇完全数吗？

背景：

所谓完全数，就是等于其因子的和的数。

前三个完全数是：

6=1+2+3

28=1+2+4+7+14

496=1+2+4+8+16+31+62+124+248

目前已知的32个完全数全部是偶数。

1973年得到的结论是如果n为奇完全数，则：

n>10^50

5、 除了8=2^3,9=3^2外，再没有两个连续的整数可表为其他正整数的方幂了吗？

背景：

这是卡塔兰猜想（1842）。

1962年我国数学家柯召证明了不存在连续三个整数可表为其它正整数的方幂。

1976年，荷兰数学家证明了大于某个数的任何两个正整数幂都不连续。因此只要检查小于这个数的任意正整数幂是否有连续的就行了。

但是，由于这个数太大，有500多位，已超出计算机的计算范围。

所以，这个猜想几乎是正确的，但是至今无人能够证实。

6、 任给一个正整数n，如果n为偶数，就将它变为n/2,如果除后变为奇数，则将它乘3加1（即3n+1）。不断重复这样的运算，经过有限步后，一定可以得到1吗？

背景：

这角古猜想（1930）。

人们通过大量的验算，从来没有发现反例，但没有人能证明。

三 希尔伯特23问题里尚未解决的问题。

1、问题1连续统假设。

全体正整数（被称为可数集）的基数 和实数集合（被称为连续统）的基数c之间没有其它基数。

背景：1938年奥地利数学家哥德尔证明此假设在集合理系统，即策莫罗-佛朗克尔公理系统里，不可证伪。

1963年美国数学家柯恩证明在该公理系统，不能证明此假设是对的。

所以，至今未有人知道，此假设到底是对还是错。

2、问题2 算术公理相容性。

背景：哥德尔证明了算术系统的不完备，使希尔伯特的用元数学证明算术公理系统的无矛盾性的想法破灭。

3、 问题7 某些数的无理性和超越性。

见上面 二 的 2

5、 问题 8 素数问题。

见上面 二 的 3

6、 问题 11 系数为任意代数数的二次型。

背景：德国和法国数学家在60年代曾取得重大进展。

7、 问题 12 阿贝尔域上的克罗内克定理在任意代数有理域上的推广。

背景：此问题只有些零散的结果，离彻底解决还十分遥远。

8、 问题13 仅用二元函数解一般7次代数方程的不可能性。

背景：1957苏联数学家解决了连续函数情形。如要求是解析函数则此问题尚未完全解决。

9、 问题15 舒伯特计数演算的严格基础。

背景： 代数簌交点的个数问题。和代数几何学有关。

10、 问题 16 代数曲线和曲面的拓扑。

要求代数曲线含有闭的分枝曲线的最大数目。和微分方程的极限环的最多个数和相对位置。

11、 问题 18 用全等多面体来构造空间。

无限个相等的给定形式的多面体最紧密的排列问题，现在仍未解决。

12、 问题 20 一般边值问题。

偏微分方程的边值问题，正在蓬勃发展。

13、 问题 23 变分法的进一步发展。

四 千禧七大难题

2000年美国克雷数学促进研究所提出。为了纪念百年前希尔伯特提出的23问题。每一道题的赏金均为百万美金。

1、 黎曼猜想。

见 二 的 3

透过此猜想，数学家认为可以解决素数分布之谜。

这个问题是希尔伯特23个问题中还没有解决的问题。透过研究黎曼猜想数

学家们认为除了能解开质数分布之谜外，对於解析数论、函数理论、

椭圆函数论、群论、质数检验等都将会有实质的影响。

2、杨-密尔斯理论与质量漏洞猜想(Yang-Mills Theory and Mass Gap

Hypothesis)

西元19 年杨振宁与密尔斯提出杨-密尔斯规范理论，杨振宁由

数学开始，提出一个具有规范性的理论架构，后来逐渐发展成为量子

物理之重要理论，也使得他成为近代物理奠基的重要人物。

杨振宁与密尔斯提出的理论中会产生传送作用力的粒子，而他们

碰到的困难是这个粒子的质量的问题。他们从数学上所推导的结果

是，这个粒子具有电荷但没有质量。然而，困难的是如果这一有电荷

的粒子是没有质量的，那麼为什麼没有任何实验证据呢？而如果假定

该粒子有质量，规范对称性就会被破坏。一般物理学家是相信有质

量，因此如何填补这个漏洞就是相当具挑战性的数学问题。

3、P 问题对NP 问题(The P Versus NP Problems)

随著计算尺寸的增大，计算时间会以多项式方式增加的型式的问题叫做「P 问题」。

P 问题的P 是Polynomial Time(多项式时间)的头一个字母。已

知尺寸为n，如果能决定计算时间在cnd (c 、d 为正实数) 时间以下

就可以或不行时，我们就称之为「多项式时间决定法」。而能用这个

算法解的问题就是P 问题。反之若有其他因素，例如第六感参与进来

的算法就叫做「非决定性算法」，这类的问题就是「NP 问题」，NP 是

Non deterministic Polynomial time (非决定性多项式时间)的缩写。

由定义来说，P 问题是NP 问题的一部份。但是否NP 问题里面有

些不属於P 问题等级的东西呢？或者NP 问题终究也成为P 问题？这

就是相当著名的PNP 问题。

4、.纳维尔–史托克方程（Navier–Stokes Equations）

因为尤拉方程太过简化所以寻求作修正，在修正的过程中产生了

新的结果。法国工程师纳维尔及英国数学家史托克经过了严格的数学

推导，将黏性项也考虑进去得到的就是纳维尔–史托克方程。

自从西元1943 年法国数学家勒雷（Leray）证明了纳维尔–史托

克方程的全时间弱解(global weak solution)之后，人们一直想知道

的是此解是否唯一？得到的结果是：如果事先假设纳维尔–史托克方

程的解是强解(strong solution)，则解是唯一。所以此问题变成:弱解与强解之间的差距有多大，有没有可能弱解会等於强解？换句话说，是不是能得到纳维尔–史托克方程的全时间平滑解？再者就是证

明其解在有限时间内会爆掉(blow up in finite time)。

解决此问题不仅对数学还有对物理与航太工程有贡献，特别是乱

流(turbulence)都会有决定性的影响，另外纳维尔–史托克方程与奥

地利伟大物理学家波兹曼的波兹曼方程也有密切的关系，研究纳维

尔–史托克（尤拉）方程与波兹曼方程（Boltzmann Equations）两

者之关系的学问叫做流体极限(hydrodynamics limit)，由此可见纳

维尔–史托克方程本身有非常丰富之内涵。

5.庞加莱臆测(Poincare Conjecture)

庞加莱臆测是拓朴学的大问题。用数学界的行话来说：单连通的

三维闭流形与三维球面同胚。

从数学的意义上说这是一个看似简单却又非

常困难的问题，自庞加莱在西元1904 年提出之

后，吸引许多优秀的数学家投入这个研究主题。

庞加莱（图4）臆测提出不久，数学们自然的将

之推广到高维空间(n4)，我们称之为广义庞加莱臆测：单连通的

≥

n(n4)维闭流形，如果与n

≥ 维球面有相同的基本群(fundamental group)则必与n维球面同胚。

经过近60 年后，西元1961 年，美国数学家斯麦尔（Smale）以

巧妙的方法，他忽略三维、四维的困难，直接证明五维(n5)以上的

≥

广义庞加莱臆测，他因此获得西元1966 年的费尔兹奖。经过20年之

后，另一个美国数学家佛瑞曼（Freedman）则证明了四维的庞加莱臆

测，并於西元1986年因为这个成就获得费尔兹奖。但是对於我们真

正居住的三维空间(n3)，在当时仍然是一个未解之谜。

=

一直到西元2003 年4 月，俄罗斯数学家斐雷曼（Perelman）於

麻省理工学院做了三场演讲，在会中他回答了许多数学家的疑问，许

多迹象显示斐雷曼可能已经破解庞加莱臆测。数天后「纽约时报」首

次以「人解决了著名的数学问题」为题向公众披露此一消息。同

日深具影响力的数学网站MathWorld 刊出的头条文章为「庞加莱臆测

被证明了，这次是真的！」[14]。

数学家们的审查将到2005年才能完成，到目前为止，尚未发现

斐雷曼无法领取克雷数学研究所之百万美金的漏洞。

6.白之与斯温纳顿-戴尔臆测（Birch and Swinnerton-Dyer

Conjecture）

一般的椭圆曲线方程式 y^2=x^3+ax+b ，在计算椭圆之弧长时

就会遇见这种曲线。自50 年代以来，数学家便发现椭圆曲线与数论、

几何、密码学等有著密切的关系。例如：怀尔斯（Wiles）证明费马

最后定理，其中一个关键步骤就是用到椭圆曲线与模形式(modularform)之关系－即谷山-志村猜想，白之与斯温纳顿-戴尔臆测就是与

椭圆曲线有关。

60年代英国剑桥大学的白之与斯温纳顿-戴尔利用电脑计算一些

多项式方程式的有理数解。通常会有无穷多解，然而要如何计算无限

呢？其解法是先分类，典型的数学方法是同余(congruence)这个观念

并藉此得同余类(congruence class)即被一个数除之后的余数，无穷

多个数不可能每个都要。数学家自然的选择了质数，所以这个问题与

黎曼猜想之Zeta 函数有关。经由长时间大量的计算与资料收集，他

们观察出一些规律与模式，因而提出这个猜测。他们从电脑计算之结

果断言：椭圆曲线会有无穷多个有理点，若且唯若附於曲线上面的

Zeta 函数ζ (s) = 时取值为0，即ζ (1)

；当s1= 0

7.霍奇臆测(Hodge Conjecture)

「任意在非奇异投影代数曲体上的调和微分形式，都是代数圆之

上同调类的有理组合。」

最后的这个难题，虽不是千禧七大难题中最困难的问题，但却可

能是最不容易被一般人所了解的。因为其中有太多高深专业而且抽象

参考资料：《数学的100个基本问题》《数学与文化》《希尔伯特23个数学问题回顾》