Compass and Straightedge Constructions As Complex Arithmetic
Given a set of points in the Euclidean plane, selecting any one of them to be called 0 and another to be called 1, together with an arbitrary choice of orientation allows us to consider the points as a set of complex numbers.
Given any such interpretation of a set of points as complex numbers, the points constructible using valid compass and straightedge constructions alone are precisely the elements of the smallest field containing the original set of points and closed under the complex conjugate and square root operations (to avoid ambiguity, we can specify the square root with complex argument less than π). The elements of this field are precisely those that may be expressed as a formula in the original points using only the operations of addition, subtraction, multiplication, division, complex conjugate, and square root, which is easily seen to be a countable dense subset of the plane. Each of these six operations corresponding to a simple compass and straightedge construction. From such a formula it is straightforward to produce a construction of the corresponding point by combining the constructions for each of the arithmetic operations. More efficient constructions of a particular set of points correspond to shortcuts in such calculations.
Equivalently (and with no need to arbitrarily choose two points) we can say that, given an arbitrary choice of orientation, a set of points determines a set of complex ratios given by the ratios of the differences between any two pairs of points. The set of ratios constructible using compass and straightedge from such a set of ratios is precisely the smallest field containing the original ratios and closed under taking complex conjugates and square roots.
For example the real part, imaginary part and modulus of a point or ratio z (taking one of the two viewpoints above) are constructible as these may be expressed as
Doubling the cube and trisection of an angle (except for special angles such as any φ such that φ/6π is a rational number with denominator the product of a power of two and a set of distinct Fermat primes) require ratios which are the solution to cubic equations, while squaring the circle requires a transcendental ratio. None of these are in the fields described, hence no compass and straightedge construction for these exists.
Read more about this topic: Compass And Straightedge Constructions
Famous quotes containing the words compass and, compass, complex and/or arithmetic:
“The statue is then beautiful when it begins to be incomprehensible, when it is passing out of criticism, and can no longer be defined by compass and measuring-wand, but demands an active imagination to go with it, and to say what it is in the act of doing.”
—Ralph Waldo Emerson (1803–1882)
“It is the star to every wand’ring bark,
Whose worth’s unknown, although his height be taken.
Love’s not Time’s fool, though rosy lips and cheeks
Within his bending sickle’s compass come;
Love alters not with his brief hours and weeks,
But bears it out even to the edge of doom.”
—William Shakespeare (1564–1616)
“All of life and human relations have become so incomprehensibly complex that, when you think about it, it becomes terrifying and your heart stands still.”
—Anton Pavlovich Chekhov (1860–1904)
“‘Tis no extravagant arithmetic to say, that for every ten jokes,—thou hast got an hundred enemies; and till thou hast gone on, and raised a swarm of wasps about thine ears, and art half stung to death by them, thou wilt never be convinced it is so.”
—Laurence Sterne (1713–1768)