## You are here

Homemotivation of definition of constructible numbers

## Primary tabs

# motivation of definition of constructible numbers

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 $\mathbb{E}$, the field of real constructible numbers:

1. $0,1\in\mathbb{E}$;

2. If $a,b\in\mathbb{E}$, then also $a\pm b$, $ab$, and $a/b\in\mathbb{E}$, the last of which is meaningful only when $b\not=0$;

3. If $r\in\mathbb{E}$ and $r>0$, then $\sqrt{r}\in\mathbb{E}$.

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

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

Secondly, if $a,b\in\mathbb{E}$, which should mean that line segments of lengths $|a|$ and $|b|$ are constructible, then we can easily construct line segments of lengths $|a+b|$ and $|a-b|$ by matching up endpoints of line segments.

Thirdly, if $a,b\in\mathbb{E}$, then we can construct a line segment of length $|ab|$ by the compass and straightedge construction of similar triangles.

Fourthly, if $a,b\in\mathbb{E}$ and $b\neq 0$, we can construct a line segment of length $1/|b|$ by the compass and straightedge construction of inverse point. By the previous paragraph, multiplication by $a$ poses no problems.

Finally, if $r\in\mathbb{E}$ and $r>0$, then we can construct a line segment of length $\sqrt{r}$ by the compass and straightedge construction of geometric mean, letting $a=1$ and $b=r$.

Now to address the definition of $\mathbb{F}$, the field of constructible numbers:

1. $0,1\in\mathbb{F}$;

2. If $a,b\in\mathbb{F}$, then also $a\pm b$, $ab$, and $a/b\in\mathbb{F}$, the last of which is meaningful only when $b\not=0$;

3. If $z\in\mathbb{F}\setminus\{0\}$ and $\operatorname{arg}(z)=\theta$ where $0\leq\theta<2\pi$, then $\sqrt{|z|}e^{{\frac{i\theta}{2}}}\in\mathbb{F}$.

It turns out that the elements of $\mathbb{F}$ 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 $\mathbb{E}$ along with the notion of copying an angle. For example, if $a,b\in\mathbb{F}$, then the following picture can be made by copying an angle:

Finally to justify rule 3. If $z\in\mathbb{F}$, then $|z|\in\mathbb{E}$, so we have that $\sqrt{|z|}\in\mathbb{E}$. Since $|z|e^{{i\theta}}=z\in\mathbb{F}$, we must have that an angle with measure $\theta$ is constructible. By the compass and straightedge construction of angle bisector, an angle with measure $\theta/2$ is also constructible.

## Mathematics Subject Classification

12D15*no label found*51M15

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

Jun 13

new question: young tableau and young projectors by zmth

Jun 11

new question: binomial coefficients: is this a known relation? by pfb

Jun 6

new question: difference of a function and a finite sum by pfb