正65537边形尺规作图法是指使用尺子和直尺,按照一定规律构造出一个65537边形的 *** 。该 *** 通过将正三角形分割为较小的三角形,并使用勾股定理计算出边长,进而完成整个图形的绘制。由于65537是质数,因此可以保证尺规作图的精度和准确性。该 *** 在几何学研究和数学应用中具有重要意义。
一:正65537边形尺规作图法
任意等分圆周的尺规作图法
(以七等分圆周为例)
——天柱县凸洞小学龙再铃
如下图所示:
1.用等分已知线段的 *** ,将⊙O的直径AK七等分;
2.以点K为圆心,直径AK为半径画弧,交直径AK的垂直平分线于M、N两点;
3.自点M、N分别向直径AK上的点 、 、 连结并延长,使其延长线分别交⊙O于B、C、D、E、F、G点,则点A、B、C、D、E、F、G将⊙O七等分。
依次连结AB、BC、CD、DE、EF、FG、GA即得⊙O的内接正七边形。
A
M
O
K
N
G
B
C
D
E
F
圆内接正五边形(五等分圆周)的尺规作图法
1.在⊙O内作互相垂直的直径AK和MN;
2.平分半径ON得点S;
3.以点S为圆心,SA的长为半径画弧,交MO于点Q;
4.以点A为圆心,AQ的长为半径画弧,交⊙O于B、E两点;
5.分别以点B、E为圆心,仍以AQ的长为半径画弧,分别交⊙O的弧BKE于点C、D,则点A、B、C、D、E将⊙O五等分。
依次连结AB、BC、CD、DE、EA,即得⊙O的圆内接正五边形。
100以内尺规只能等分这些。3,4,5,6,8,10,12,15,16,17,20,24,25,30,32,34,40,48,50,51,60,64,68,75,78,80,85,96,100只有这些能做的出来!
对于边数是质数的正多边形,当且仅当其边数是形如2^(2^n)+1的费尔玛质数时,才能用尺规作图
目前有2,3,5,17,257,65537这些,很容易知道这些数字的乘积边形也是可以尺规作图做出来的。比如说做正15边形。15=3*5,2/3-3/5=1/15,可以先做三边形,再做个五边形,取三边形的两端圆弧减去五边形的三段圆弧,所得到得就是正十五边形所对应的圆弧!
不能任意等分圆的,例如9等分就不行!
等你上了大学学习了抽象代数就知道为什么了,现在能说的也只有这些了!
二:正65537边形图片
新版五角硬币是内接十一边形,我国还发行过老三花的菊花一角是内接九边形,但是无独有偶的是,这两个多边形正九边形和正十一边形在严格意义的理论上是没有的,也就是无法用尺规画出来标准的正九边形和正十一边形,只能是近似的结果【只有n为2的k次方和任意费马素数(形如的素数,目前发现的只有3、5、17、257和65537,共5个)的乘积,正n边形就能尺规作图】。这是不是很有趣?
三:正65537边形尺规作图动图
是高斯
还是约翰尼斯·厄钦格
前几天,超模君po了各种动图让大家了解不一样的数学(传送门),最后一张高斯尺规作图正17边形引起了各位模友的激烈讨论:
有模友说看不明白
有好奇他是怎么想出来的
有说正17边形高斯并没有画出来
甚至在超模君讲根号2的故事时(传送门),也留言说希望讲讲正17边形的故事。
既然如此,那今天超模君就将这些问题一并解决了吧。。
---------------------------------------------
相传,在1776年的一天,德国哥廷根大学,19岁的高斯像往常一样,吃完晚饭,开始做导师每天单独布置给他的数学题。
然后,轻松完成了老师布置的前两道题。
第三道题是另外写在一张小纸条上的,是要求只用圆规和一把没有刻度的直尺作出正17边形。
高斯并没有在意,像做前两道题一样开始做起来。。。
虽然感觉这道题做起来有点吃力,他还是坚持想要做出来。
他拿起圆规和直尺,在草稿纸上写写画画,也尝试着用一些超常规的思路去解这道题。
经过通宵的演算,他终于解出了这道难题。
当导师得知自己的学生竟然一个晚上就解开了这道有两千多年历史的数学悬案时,万分惊讶,连连夸赞高斯是天才。
原来,导师也一直想解开这道难题。那天,他只是不小心才将写有这道题目的纸条交给了高斯。
多年以后,当高斯回忆起这一幕时,总是说:如果有人告诉我,这是一道有两千多年历史的数学难题,我不可能在一个晚上解决它。
这可能就是人们常说的无知者无畏吧。
------------------------------------------------
通过这个故事,大家都认为正17边形最早是高斯画出来的了。
然而,关于尺规作图正17边形的故事还有另一个版本。
事实上,高斯在哥廷根大学就读时,在一次偶然的阅读中,他知道了用直尺和圆规作出圆内接正七边形的难题。这使他非常着迷,并决心要功克它。他首先查找出前人的作图 *** ,仔细研究他们失败的原因,通过半年多的努力,他终于作出了正七边形;接着,正九、正十一、正十三边形都被他一一克服。没多久,正十七边形也被他功克。
有人认为:高斯本人并不会作正17边形,他只是证明了正17边形可以用尺规作出来。
而第一个画出正17边形的是约翰尼斯·厄钦格,他于1825年发表了正17边形的尺规作图 *** 。
到底哪个说法是正确的呢?
超模君经过查阅资料,了解到这些:
1796年3月30日,高斯开始在笔记中记录他的科学发现。
1898年在高斯的孙子保留的遗物中偶然发现了这本笔记,高斯称之为“日志录圆的分割定律,如何以几何 *** 将圆分成十七等份。
也即是说,高斯于1796年证明怎样的正多边形可以用尺规作出来,并发表了研究成果,轰动整个学术界。
就在同年3月30日,他在笔记中记下了正17边形的作法,然而并没有发表(确实,相对于证明怎样的正多边形可以用尺规作出来,这一点就显得微不足道了)。
而在1825年,约翰尼斯·厄钦格第一次公开发表正17边形尺规作图法。
到了1898年,人们在整理高斯遗物的时候,才发现高斯笔记中的正17边形作法。
由此,超模君得出结论:高斯并非不会作正17边形(记到笔记中,没发表),而约翰尼斯·厄钦格确实是最早给出正17边形作法的人。
那高斯怎么就知道正十七边形是可以用尺规作出来的呢?
因为他数学厉害啊!(小天:请不要敷衍我们。。。)
首先,高斯知道:如果一个正多边形内角的三角函数能用含有基本算术(加减乘除)和平方根的公式表达出来,那这个正多边形就能用尺规作出来。
尺规作图等价于只使用圆和直线的交点作图,直线的表达式是二元一次方程,圆的表达式是二元二次方程,所以只用到了加减乘除和平方根。
而后来他又证明了:只要正多边形的边数n是费马素数,那么就能用这样的公式表达。
当时已知的前五个费马素数是3、5、17、257和65537,因此高斯等于一举证明了这五种正多边形都是尺规可作的。
不过,正三边形和正五边形人们早就会作了,而正257边形什么的作起来又太麻烦,所以最后正17边形就成了最出名的。(因为是高斯啊。。)
1832年,F.J.Richelot出版了一本用尺规 *** 正257边形的小册子,后来一位Hermes教授花了十年的青春画出了正65537边形。
那么正17边形所对应的三角函数是这样的呢?
有兴趣的可以看一下如下证明:
设正17边形的一条边对应的中心角为a,则17a = 2π,即16a = 2π - a。故sin(16a) = -sin(a)
而sin(16a) = 2sin(8a)cos(8a) = 4sin(4a)cos(4a)cos(8a) = 16sin(a)cos(a)cos(2a)cos(4a)cos(8a)故 -sin(a) = 16sin(a)cos(a)cos(2a)cos(4a)cos(8a)
因 sin(a) 不为0故16cos(a)cos(2a)cos(4a)cos(8a) = -1
用余弦函数积化和差公式进行迭代,有:2(cos(a) + cos(2a) + ... + cos(8a)) = -1
令 x = cos(a) + cos(2a) + cos(4a) + cos(8a)
y = cos(3a) + cos(5a) + cos(6a) + cos(7a)
则:x + y = -1/2
xy = (cos(a) + cos(2a) + cos(4a) + cos(8a))(cos(3a) + cos(5a) + cos(6a) + cos(7a))
对xy进行展开, 积化和差, 再利用周期性合并同类项,有:
xy = (1/2)(4cos(a) + 4cos(2a) + ... + 4cos(8a) )
即xy = -1
联立方程组,得:
x = (-1 + √17) / 4
y = (-1 - √17) / 4
再设x1 = cos(a) + cos(4a), x2 = cos(2a) + cos(8a)
y1 = cos(3a) + cos(5a),y2 = cos(6a) + cos(7a)
积化和差,再利用 2(cos(a) + cos(2a) + ... + cos(8a)) = -1 有:
x1x2 = -1/4
y1y2 = -1/4
故同法可解x1,x2,y1,y2:
x1 = (-1 + √17 + √2 * √(17 - √17)) / 8
x2 = (-1 + √17 - √2 * √(17 - √17)) / 8
y1 = (-1 - √17 + √2 * √(17 + √17)) / 8
y2 = (-1 - √17 - √2 * √(17 + √17)) / 8
最后,由cos(a) + cos(4a) = x1
2cos(a)cos(4a) = y1 可求cos(a)之表达式:
它是由整数经过加、减、乘、除、开平方构成的。
故正17边形可用尺规作出。
还有,很多人说这个动图太快了,看不懂(只觉得好厉害),那现在超模君来分享一下现代数学家H.W.Richmond的画法吧!(这个真的可以自己动手画的哦)
第一步:
给一圆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为第六顶点。
以1/2弧P4P6为半径,即可在此圆上截出正十七边形的所有顶点。
via:星云风暴
本文由超级数学建模
部分资料
-----这里是数学思维的聚集地------
“超级数学建模”(
商务合作请加