Difference between revisions of "Constructible number"

(Definition)
 
m (categories)
Line 2: Line 2:
  
 
We say that a complex number <math>z = x+yi</math> is constructible if <math>|x|</math> and <math>|y|</math> are both constructible (we also say that the point <math>(x,y)</math> is constructible). It is easy to show that <math>x+yi</math> is constructible iff the point <math>(x,y)</math> can be constructed with a [[straight edge]] and [[compass]] in the [[cartesian plane]] starting with the points <math>(0,0)</math> and <math>(1,0)</math>.
 
We say that a complex number <math>z = x+yi</math> is constructible if <math>|x|</math> and <math>|y|</math> are both constructible (we also say that the point <math>(x,y)</math> is constructible). It is easy to show that <math>x+yi</math> is constructible iff the point <math>(x,y)</math> can be constructed with a [[straight edge]] and [[compass]] in the [[cartesian plane]] starting with the points <math>(0,0)</math> and <math>(1,0)</math>.
 +
 +
[[Category:Geometry]]
 +
[[Category:Field theory]]

Revision as of 21:26, 20 August 2009

We say that a nonnegative real number $x$ is constructible if a segment of length $x$ can be constructed with a straight edge and compass starting with a segment of length $1$.

We say that a complex number $z = x+yi$ is constructible if $|x|$ and $|y|$ are both constructible (we also say that the point $(x,y)$ is constructible). It is easy to show that $x+yi$ is constructible iff the point $(x,y)$ can be constructed with a straight edge and compass in the cartesian plane starting with the points $(0,0)$ and $(1,0)$.