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)
“loosely bound
By countless silken ties of love and thought
To everything on earth the compass round,”
—Robert Frost (1874–1963)
“We must open our eyes and see that modern civilization has become so complex and the lives of civilized men so interwoven with the lives of other men in other countries as to make it impossible to be in this world and out of it.”
—Franklin D. Roosevelt (1882–1945)
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)