Construct a Geometric Figure

Produce a ruler-and-compass construction for a specified geometric figure, documenting every step with its Euclidean justification and verifying the result against the original specification.

When to Use

• Given specific geometric elements (points, segments, angles) and asked to construct a figure
• Tasked with producing a classical Euclidean construction (bisectors, perpendiculars, tangents)
• Verifying whether a figure is constructible with straightedge and compass alone
• Generating construction instructions for educational or documentation purposes
• Converting a geometric specification into an ordered sequence of primitive operations

Inputs

• Required: Description of the target figure (e.g., "equilateral triangle with side length AB")
• Required: Given elements (points, segments, circles, angles provided as starting data)
• Optional: Output format (narrative prose, numbered steps, pseudocode, SVG coordinates)
• Optional: Level of justification detail (terse, standard, rigorous with theorem citations)
• Optional: Whether to include impossibility analysis if figure is not constructible