1
$\begingroup$

The idea here is to extend to three dimensions what ordinary compass-and-straightedge constructions do in two dimensions. The first thing is to define the tools and rules for their use. For instance, in two dimensions, the tools are a compass and straightedge (like a ruler, but with only one edge and no markings), and with them, one may: Draw a line between any two distinct points. Draw a circle with one point as the center, and any other point on its circumference. Draw an arbitrary point on a line or a circle, or off it. Draw the point at the intersection of two lines (if they intersect). Draw the point (or two) at the intersection of two circles (if they intersect). Draw the point (or two) at the intersection of a line and a circle (if they intersect).

In three dimensions, the canvas is not a flat plane, as it is in two dimensions, but all of space. And we introduce a new tool, which I will call a flatiron, which permits you to draw planes. The flatiron rules are as follows; in addition to the above, one may: Draw the unique plane containing any three non-collinear points. Draw a sphere with one point as the center, and any other point on its surface. Draw an arbitrary point on a plane or a sphere, or off it. Draw the line at the intersection of two planes (if they intersect). Draw the circle (or point) at the intersection of two spheres (if they intersect). Draw the circle (or point) at the intersection of a plane and a sphere (if they intersect). Draw the point (or two) at the intersection of a line or circle with a plane or sphere (if they intersect). As an example of what one might do in a three-dimensional construction, consider the following fairly simple task: Given points P and Q, construct a regular tetrahedron with PQ as edge. We proceed as follows: Draw spheres of radius PQ around both P and Q. Draw the circle C at the intersection of spheres P and Q. Draw R, an arbitrary point on circle C. Draw a sphere of radius PR around R. Draw S, one of the two points of intersection between circle C and sphere R. PQRS is then a regular tetrahedron.

Given these new abilities, would it be possible construct a cuberoot?

$\endgroup$
  • 4
    $\begingroup$ While I enjoy the idea of people constructing things with your instruments, I'm afraid it won't change the picture from the point of view of algebra: you're still adding only quadratic extensions, the cube root of $2$ is out of reach. $\endgroup$ – Professor Vector Sep 2 '17 at 18:55
  • $\begingroup$ If you can construct something in 2 dimensions, and then lift and bend it into 3, isn't that folding which would be able to create cubics $\endgroup$ – Jacobian Sep 2 '17 at 22:40
  • $\begingroup$ Why would "folding" create cubics? The linear dimensions of a regular tetrahedron, for example, are related by square roots but not cube roots. $\endgroup$ – David K Sep 3 '17 at 4:30
1
$\begingroup$

Probably not with spheres as intersection of a sphere with a plane just gives a circle like conventional construction. Try a conical drawing tool, which gives a greater variety of planar sections such as parabolas, instead: Doubling the cube with the help of a parabola

$\endgroup$
1
$\begingroup$

If you assume that when you intersect two spheres, or a sphere with a plane, or two planes, that $all$ of the intersection points are called constructed points, then any real length is constructible.

But suppose that you only assume a limited amount of information (which I am too tired too specify now. I will get back to this) Then for about the same reason as in $2$ dimensions: Examine the equations for the co-ordinates of lines, planes,circles, and spheres and for the co-ordinates of the intersections of any two of those types of figures.

Choose a $2$-D or $3$-D co-ordinate system where you start by being given the origin and a finite number of other points with rational co-ordinates. The co-ordinates of any constructible point will be members of $\;\mathbb Q[\sqrt {.}\;]\;$.... which is the smallest sub-field of $\mathbb R$ that contains the square roots of all its positive members.

The number $2^{1/3}$ does not belong to this field.

If we could construct two points whose distance apart is $2^{1/3}$ or two segments such that the ratio of their lengths is $2^{1/3}$ then we could construct the point whose first co-ordinate is $2^{1/3}$ and whose other co-ordinate(s) is (are) $0.$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.