In order to understand the significance of constructible numbers and how they are useful in solving problems in Euclidean geometry, we need to determine how the definitions and properties of these numbers relate to Euclidean geometry.

To start with, let us investigate some properties of , the field of real constructible numbers:

1. ;
2. If , then also , , and , the last of which is meaningful only when ;
3. If and , then .

It turns out that the nonnegative elements of are in one-to-one correspondence with lengths of constructible line segments. Let us determine why this is:

First of all, and are self-evident, as these are basic requirements for to be a field. Moreover, corresponds to the tacit assumption in compass and straightedge construction that a line segment of length is constructible.

Secondly, if , which should mean that line segments of lengths and are constructible, then we can easily construct line segments of lengths and by matching up endpoints of line segments.

Thirdly, if , then we can construct a line segment of length by the compass and straightedge construction of similar triangles.

Fourthly, if and , we can construct a line segment of length by the compass and straightedge construction of inverse point. By the previous paragraph, multiplication by poses no problems.

Finally, if and , then we can construct a line segment of length by the compass and straightedge construction of geometric mean, letting and .

Now to address the definition of , the field of constructible numbers:

1. ;
2. If , then also , , and , the last of which is meaningful only when ;
3. If and where , then .

It turns out that the elements of are in one-to-one correspondence with the constructible points of the complex plane. Let us determine why this is:

Rule 1 is similarly justified as above.

In order to justify rule 2, all we need is the justification of rule 2 for along with the notion of copying an angle. For example, if , then the following picture can be made by copying an angle:

Finally to justify rule 3. If , then , so we have that . Since , we must have that an angle with measure is constructible. By the compass and straightedge construction of angle bisector, an angle with measure is also constructible.