>> 欢迎您,客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:正多边形尺规作图 标记论坛所有内容为已读 

 目前论坛总在线 6 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 1553 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: 正多边形尺规作图 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  Gauss–Wantzel定理:正$\,n\,$边形尺规可作当且仅当$\,n=2^k{\small\displaystyle{\prod_{p\in E}}p}$]]]}O
$\quad k\in\mathbb{N},\;E\subset \mathbb{F}_p =\{F_n = 2^{(2^n)} +1:\; n\in\mathbb{N}\}\cap\mathbb{P}$2U
©Elinkage数学论坛 -- Elinkage极酷超级论坛  .n7KDV

正十五边形($15 = F_0 F_1$):X0 ##A
按此在新窗口浏览图片BU


发贴时间2015/11/04 03:59am IP: 已设置保密[本文共323字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  按此在新窗口浏览图片5Nn.V9


发贴时间2015/11/04 05:34am IP: 已设置保密[本文共55字节]  
 风花飘飘 




等级: 新手上路
信息: 该用户目前不在线 帅哥 戌狗 白羊座
威望: 0 积分: 0
现金: 5379 雷傲元
存款: 2890 雷傲元
贷款: 没贷款
来自: 保密 blank
发帖: 130
精华: 0
资料:  
在线: 67 时 47 分 16 秒
注册: 2012/08/26 01:54am
造访: 2018/12/05 03:01am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 3 楼]
  存在这里吧:;O
©Elinkage数学论坛 -- Elinkage极酷超级论坛  4'=t
按此在新窗口浏览图片6Hu>x


发贴时间2018/06/10 05:51am IP: 已设置保密[本文共77字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 4 楼]
  按此在新窗口浏览图片+)fQ:


发贴时间2020/02/25 06:47am IP: 已设置保密[本文共54字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 5 楼]
  $\qquad$正十七边形尺规作图代数推导<z2u
©Elinkage数学论坛 -- Elinkage极酷超级论坛  (V^zTK
令$\,\zeta=\exp\big(\frac{2\pi}{17}i\big),\;$则$\underset{\,}{\;}\zeta^k\,\small(k=\overline{0,16})\,$是$\,z^{17}-1=0\,$的全部根.1i:sJ
记$\,\lambda=\zeta+\zeta^{-1},\,\lambda_k=\zeta^k+\zeta^{-k},\,$由$\;\zeta^{17}=1\underset{\,}{\,}$得EsWc%$
$(\dagger)\underset{\,}{\quad}\lambda_m = \lambda_{17k\pm m},\;\;\lambda_m\lambda_n=\lambda_{m+n}+\lambda_{m-n}\,\;(k,m,n\in\mathbb{Z})$E_7m>
$(\ddagger)\underset{\,}{\quad}z^{16}+z^{15}+\cdots+z+1=0\,$是$\,\zeta\,$的最小多项式.o1
令$\quad\underset{\,}{\;} a=\lambda_1+\lambda_2+\lambda_4+\lambda_8,\;\,a'=\lambda_3+\lambda_5+\lambda_6+\lambda_7,$?\Nd
由$\underset{\,}{\,}(\dagger),(\ddagger)\,$可得$\,\;a+a'=-1,\;\;aa'=4(a+a')=-4.$E
$\therefore\underset{\,}{\quad}a\overset{>}{,}a'\,$是$\,z^2+z-4=0\,$的根${\small\,\dfrac{-1\pm\sqrt{17}}{2}.\;}\boxed{a=\small\frac{\sqrt{17}-1}{2}}$^
令$\underset{\,}{\quad} a=b+b',\;\,b=\lambda_1+\lambda_4\;(=\zeta+\zeta^4+\zeta^{13}+\zeta^{16}),\,\;$则l}
$\underset{\,}{\qquad}b\,b'=(\lambda_1+\lambda_4)(\lambda_2+\lambda_8)$X_{O0
$\underset{\,}{\qquad}\quad\,=\lambda_3+\lambda_1+\lambda_9+\lambda_7+\lambda_2+\lambda_6+\lambda_{12}+\lambda_4$Y
$\underset{\,}{\qquad}\quad\,=\lambda_1+\lambda_2+\lambda_3+\lambda_4+\lambda_5+\lambda_6+\lambda_7+\lambda_8=-1.$tCyl%
$\therefore\underset{\,}{\quad}b\;\overset{>}{,}\;b'\,$是方程$\,z^2-az-1=0\,$的根$\;\boxed{b=\small\frac{a+\sqrt{a^2+4}}{2}}$mDCP
最后令$\underset{\,}{\;}b=c+c',\;c=\lambda=\zeta+\zeta^{-1},\;c'=\lambda_4,\;c\,c'=\lambda_1\lambda_4,$>#;VA
$\therefore\underset{\,}{\quad}c\;\overset{>}{,}\;c'\,$是$\,z^2-bz+\lambda_1\lambda_4\,$的根. 据$\,(\dagger),\;\lambda_k^2=\lambda_{2k}+2,$XzW
$\therefore\underset{\,}{\quad}b^2-b'-4=(\lambda_1+\lambda_4)^2-(\lambda_2+\lambda_8)=2\lambda_1\lambda_4$+q2X
$\therefore\underset{\,}{\quad}{\small\lambda=}\frac{b+\sqrt{-b^2+2b'+8}}{2}=\frac{a+\sqrt{a^2+4}+\sqrt{2a(2-a)-2(2+a)\sqrt{a^2+4}+28}}{4}$98[
$\therefore\small\;\;\boxed{\cos{\small\frac{2\pi}{\scriptsize 17}}=\scriptsize\frac{-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}+2\sqrt{17+3\sqrt{17}-\sqrt{170+38\sqrt{17}}}}{16}}$7l@c


发贴时间2020/02/28 10:11am IP: 已设置保密[本文共2134字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 6 楼]
  按此在新窗口浏览图片(,"


发贴时间2020/03/07 10:28am IP: 已设置保密[本文共62字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前不在线 此人为版主
威望: 0 积分: 0
现金: 146806 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2131
精华: 0
资料:  
在线: 43天0时10分29秒
注册: 2010/12/07 06:27am
造访: 2020/03/28 03:23pm
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 7 楼]
  按此在新窗口浏览图片-MgFR


发贴时间2020/03/09 02:54pm IP: 已设置保密[本文共58字节]  

 该主题只有一页

快速回复主题: 正多边形尺规作图
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
有回复时使用邮件通知您?

使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动


© 中文版权所有: 雷傲科技
程序版权所有: 雷傲超级论坛  版本: LeoBBS X Build051231
 

本论坛言论纯属发表者个人意见,与 Elinkage数学论坛 立场无关