OFFSET
0,3
COMMENTS
We say that a real number is a constructible number if it is the distance between two points that can be determined from a straightedge-and-compass construction.
A straightedge-and-compass construction starts with 2 points marked on the plane, traditionally (0,0) and (1,0). In the constructions counted by this sequence, only the compass is used. Circles can be drawn at any marked point through any other marked point, and new points are marked where circles intersect.
LINKS
EXAMPLE
For n = 0 and n = 1, the only number that is constructible is 1, the distance between the two initial points.
For n = 2, we additionally can construct sqrt(3): draw two unit circles, centered at each of the two starting points. These unit circles intersect in two places, which are a distance of sqrt(3) apart.
For n = 3, we additionally can construct 2, and 3.
CROSSREFS
KEYWORD
nonn,more,hard
AUTHOR
Peter Kagey, Apr 16 2025
STATUS
approved
