倒数k次幂定律的尺规可构造性
Straightedge-and-Compass Constructibility of the Reciprocal-$k$-th-Power Law
浏览论文内容
中文总结 AI 辅助
该研究证明仅当k为2的幂次时，可通过经典尺规构造满足倒数k次幂定律的c，还给出k=4的显式构造及对应迭代，同时描述了拉梅曲线旋转曲面投影的几何实现方式。
中文摘要 AI 辅助
给定正长度a和b以及正整数k，令c满足等式1/c^k = 1/a^k + 1/b^k。我们证明：对每一对a,b，存在有限次无刻度直尺与圆规的单一构造得到c，当且仅当k是2的幂次。必要性通过取a=b=1并应用2^(1/k)的代数次数障碍得到；充分性通过使用第三比例项、第四比例项与比例中项的递归构造确立。我们给出k=4的显式构造及其对k=8,16,…的迭代，还描述了由拉梅曲线生成的旋转曲面的投影，该投影对所有实数k>1在几何上实现相同关系，尽管通常不通过经典尺规操作。
英文摘要
Given positive lengths $a$ and $b$ and a positive integer $k$, let $c$ be determined by $$ \frac{1}{c^k}=\frac{1}{a^k}+\frac{1}{b^k}. $$ We prove that a single finite unmarked-straightedge-and-compass construction producing $c$ for every pair $a,b$ exists if and only if $k$ is a power of two. Necessity follows by specializing to $a=b=1$ and applying the algebraic-degree obstruction to $2^{1/k}$; sufficiency is established by a recursive construction using third, fourth, and mean proportionals. We give an explicit construction for $k=4$ and its iteration for $k=8,16,\ldots$. We also describe a plane construction, intersecting a line with a Lamé curve, that realizes the same relation geometrically for every real $k>1$, although generally not by classical straightedge-and-compass operations.
