motivation of definition of constructible numbers

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

𝔼

, the field of real constructible numbers:

1.

0

,

1

∈

𝔼

;

2.

If

a

,

b

∈

𝔼

, then also

a

±

b

,

a

⁢

b

, and

a

/

b

∈

𝔼

, the last of which is meaningful only when

b

≠

0

;

3.

If

r

∈

𝔼

and

r

>

0

, then

r

∈

𝔼

.

It turns out that the nonnegative elements of

𝔼

are in

one-to-one correspondence

with lengths of

constructible

line segments

(

http://

planetmath

.org/Constructible2

). Let us determine why this is:

First of all,

0

∈

𝔼

and

1

∈

𝔼

are self-evident, as these are basic requirements for

𝔼

to be a field. Moreover,

1

∈

𝔼

corresponds to the tacit assumption in compass and straightedge construction that a line segment of length

1

is constructible (

http://planetmath.org/Constructible2

).

Secondly, if

a

,

b

∈

𝔼

, 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

∈

𝔼

, then we can construct a line segment of length

|

a

⁢

b

|

by the

compass and straightedge construction of similar triangles

.

Fourthly, if

a

,

b

∈

𝔼

and

b

≠

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

∈

𝔼

and

r

>

0

, then we can construct a line segment of length

r

by the

compass and straightedge construction of geometric mean

, letting

a

=

1

and

b

=

r

.

Now to address the definition of

𝔽

, the field of constructible numbers:

1.

0

,

1

∈

𝔽

;

2.

If

a

,

b

∈

𝔽

, then also

a

±

b

,

a

⁢

b

, and

a

/

b

∈

𝔽

, the last of which is meaningful only when

b

≠

0

;

3.

If

z

∈

𝔽

∖

{

0

}

and

arg

⁡

(

z

)

=

θ

where

0

≤

θ

<

2

⁢

π

, then

|

z

|

⁢

e

i

⁢

θ

2

∈

𝔽

.

It turns out that the elements of

𝔽

are in one-to-one correspondence with the constructible points (

http://planetmath.org/Constructible2

) 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

a

,

b

∈

𝔽

, then the following picture can be made by copying an angle:

Finally to justify rule 3. If

z

∈

𝔽

, then

|

z

|

∈

𝔼

, so we have that

|

z

|

∈

𝔼

. Since

|

z

|

⁢

e

i

⁢

θ

=

z

∈

𝔽

, we must have that an angle with measure (

http://planetmath.org/AngleMeasure

)

θ

is constructible. By the compass and straightedge construction of

angle bisector

, an angle with measure

θ

/

2

is also constructible.

Title

motivation of definition of constructible numbers

Canonical name

MotivationOfDefinitionOfConstructibleNumbers

Date of creation

2013-03-22 17:16:05

Last modified on

2013-03-22 17:16:05

Owner

Wkbj79 (1863)

Last modified by

Wkbj79 (1863)

Numerical id

7

Author

Wkbj79 (1863)

Entry type

Topic

Classification

msc 12D15

Classification

msc 51M15

Related topic

CompassAndStraightedgeConstruction

Generated on Fri Feb 9 16:38:37 2018 by

LaTeXML