Definition:Constructible Point in Plane

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathcal C$ be a Cartesian coordinate plane.

Let $S$ be a set of points in $\mathcal C$.


Let $P$ be a point in $\mathcal C$.

Let there exist a compass and straightedge construction for $P$ from a line segment $AB$, where $A, B \in S$


Then $P$ is defined as constructible from $S$.


Sources