正十七边形尺规作图
2026-01-10 22:33:41
发布于:上海
正十七边形尺规作图
一、核心数学基础
1. 可作性依据
17 是费马素数,形式为 F_k = 2 ^ (2^k) + 1,其中 k=2 时 F_2=17。
尺规作图仅能完成线段的和、差、积、商、开平方五种运算。正多边形可尺规作图的充要条件为:边数的质因数仅含 2 和互不相同的费马素数。
2. 单位根与余弦值推导
设圆周角 θ = 2π/17(对应 360°/17),17 次单位根 α_k = cos(kθ) + i·sin(kθ),满足方程 α_k^17 = 1。
通过高斯分圆理论,将单位根分组求和,逐级解二次方程可得 cosθ:
一级和:x₁ = α₁+α₂+α₄+α₈,x₂ = α₃+α₅+α₆+α₇+α₉+α₁₀+α₁₁+α₁₂
二级和:y₁ = α₁+α₄,y₂ = α₂+α₈
三级和:z₁ = α₁+α₁₆,z₂ = α₄+α₁₃
满足方程组:
x₁ + x₂ = -1,x₁·x₂ = -4
y₁ + y₂ = x₁,y₁·y₂ = -1
z₁ + z₂ = y₁,z₁·z₂ = x₂
cosθ = z₁ / 2
最终得到 cosθ 的显式表达式:
二、作图准备
工具
无刻度直尺、圆规
基础图形
- 作圆 O,半径记为 R;
- 作圆 O 的水平直径 AB,左端点为 A,右端点为 B;
- 作圆 O 的垂直直径 CD,上端点为 C,下端点为 D,AB 与 CD 交于圆心 O。
三、分步作图流程
步骤 1:构造基础辅助点
- 以 B 为圆心,BO 为半径作弧,交圆 O 于 P₁、P₂ 两点;
- 连接 P₁P₂,交 OB 于 E 点,E 为 OB 中点,OE = EB = R/2;
- 以 E 为圆心,EC 为半径作弧,交 AO 延长线于 F 点;
由勾股定理得 EC = √(OE² + OC²) = √[(R/2)² + R²] = (√5 R)/2,故 EF = EC; - 以 F 为圆心,FE 为半径作弧,交 AB 于 G、H 两点(G 在 F 左侧,H 在 F 右侧),FG = FH = (√5 R)/2。
步骤 2:构造一级和 x₁、x₂ 对应线段
- 作线段 L_√17:作直角三角形,直角边分别为 R 和 4R,斜边即为 √(R² + (4R)²) = √17 R;
- 构造 L_x1(对应 x₁):
- 作线段差 L_(-1+√17) = L_√17 - R;
- 取 L_(-1+√17) 的中点,得 L_x1 = L_(-1+√17)/2;
- 构造 L_x2(对应 x₂):
- 作反向线段和 L_(-1-√17) = -(R + L_√17);
- 取 L_(-1-√17) 的中点,得 L_x2 = L_(-1-√17)/2。
步骤 3:构造二级和 y₁、y₂ 对应线段
- 作线段 L_√(x₁²+4):作直角三角形,直角边为 L_x1 和 2R,斜边即为 √(L_x1² + (2R)²) = √(x₁² + 4)·R;
- 构造 L_y1(对应 y₁):
- 作线段和 L_(x1+√(x1²+4)) = L_x1 + L_√(x₁²+4);
- 取中点得 L_y1 = L_(x1+√(x1²+4))/2;
- 构造 L_y2(对应 y₂):
- 作线段差 L_(x1-√(x1²+4)) = L_x1 - L_√(x₁²+4);
- 取中点得 L_y2 = L_(x1-√(x1²+4))/2。
步骤 4:构造三级和 z₁ 对应线段
- 作线段 L_√(y₁²-4x₂):作直角三角形,直角边为 L_y1 和 2L_x2,斜边即为 √(y₁² - 4x₂)·R;
- 构造 L_z1(对应 z₁ = 2cosθ):
- 作线段和 L_(y1+√(y1²-4x₂)) = L_y1 + L_√(y₁²-4x₂);
- 取中点得 L_z1 = L_(y1+√(y1²-4x₂))/2。
步骤 5:确定正十七边形顶点并完成作图
- 在直径 AB 上,从圆心 O 向 A 方向截取线段 OM = L_z1 / 2(即 OM = cosθ·R);
- 过 M 点作 AB 的垂线,交圆 O 于 P₁ 点,P₁ 即为正十七边形的第一个顶点;
- 以 P₁ 为圆心,P₁A 为半径作弧,依次在圆 O 上截取 P₂、P₃、...、P₁₇ 共 17 个顶点;
- 用直尺依次连接 P₁-P₂-P₃-...-P₁₇-P₁,即得到正十七边形。
这里空空如也



















有帮助,赞一个