Given positive lengths and and a positive integer , let be determined by We prove that a single finite unmarked-straightedge-and-compass construction producing for every pair exists if and only if is a power of two. Necessity follows by specializing to and applying the algebraic-degree obstruction to ; sufficiency is established by a recursive construction using third, fourth, and mean proportionals. We give an explicit construction for and its iteration for . We also describe a plane construction, intersecting a line with a Lam'e curve, that realizes the same relation geometrically for every real , although generally not by classical straightedge-and-compass operations.

生成讲解博客的中文版本

生成AI智能校验的中文版本