Citizendia

Creating a regular hexagon with a ruler and compass
Creating a regular hexagon with a ruler and compass
Construction of a regular pentagon
Construction of a regular pentagon

Compass-and-straightedge or ruler-and-compass construction is the construction of lengths or angles using only an idealized ruler and compass. In Geometry and Trigonometry, an angle (in full plane angle) is the figure formed by two rays sharing a common Endpoint, called Idealization ( British English: idealisation) is the process by which scientific models assume facts about the phenomenon being modeled that are certainly A ruler, or rule, is an instrument used in Geometry, Technical drawing and engineering/building to measure distances and/or to rule straight A compass or pair of compasses is a Technical drawing instrument that can be used for inscribing Circles or arcs They can also be used as

Trisecting a segment with ruler and compass.
Trisecting a segment with ruler and compass.

The ruler to be used is assumed to be infinite in length, has no markings on it and only one edge, and is known as a straightedge. A straightedge is a tool with an accurately straight edge used for drawing or cutting straight lines or checking the straightness of lines The compass is assumed to collapse when lifted from the page, so may not be directly used to transfer distances. (This is an unimportant restriction, as this may be achieved via the compass equivalence theorem. The compass equivalence theorem is a statement of Compass and straightedge constructions that whenever the compass is lifted from the page it is assumed to collapse )

Every point constructible using straightedge and compass may be constructed using compass alone. A number of ancient problems in plane geometry impose this restriction. In Mathematics, plane geometry may mean geometry of a plane, geometry of the Euclidean plane, or sometimes

The most famous ruler-and-compass problems have been proven impossible in several cases by Pierre Wantzel, using the mathematical theory of fields. Pierre Laurent Wantzel ( June 5, 1814 in Paris – May 21, 1848 in Paris was a French Mathematician who proved In spite of these impossibility proofs, some mathematical novices persist in trying to solve these problems. Many of them fail to understand that many of these problems are trivially solvable provided that other geometric transformations are allowed: for example, doubling the cube is possible using geometric constructions, but not possible using ruler and compass alone. Doubling the cube (also known as The Delian Problem) is one of the three most famous geometric problems unsolvable by Compass and straightedge construction

Mathematician Underwood Dudley has made a sideline of collecting false ruler-and-compass proofs, as well as other work by mathematical cranks, and has collected them into several books. Underwood Dudley (born January 6, "Crank" is a Pejorative term for a person who either holds some belief which the vast majority of his contemporaries would consider false is eccentric (especially

Contents

Compass and straightedge tools

A compass
A compass

The "compass" and "straightedge" of compass and straightedge constructions is an idealization of rulers and compasses in the real world:

Each construction must be exact. "Eyeballing" it (essentially looking at the construction and guessing at its accuracy, or using some form of measurement, such as the units of measure on a ruler) and getting close does not count as a solution.

Stated this way, compass and straightedge constructions appear to be a parlour game, rather than a serious practical problem; but the purpose of the restriction is to ensure that constructions can be proven to be exactly correct. A parlor game is a group Game played indoors During the Victorian era in Great Britain and in the United States, these games were extremely One of the chief purposes of Greek mathematics was to find exact constructions for various lengths; for example, the side of a pentagon inscribed in a given circle. Regular pentagons The term pentagon is commonly used to mean a regular convex pentagon, where all sides are equal and all interior angles are equal (to The Greeks did not find constructions for three problems:

For 2000 years people tried to find constructions within the limits set above, and failed. All three have now been proven under mathematical rules to be impossible generally — some angles, for example, can in fact be trisected, but many (in particular the innocent looking π/3) cannot. The radian is a unit of plane Angle, equal to 180/ π degrees, or about 57

The basic constructions

The basic constructions
The basic constructions

All compass and straightedge constructions consist of repeated application of five basic constructions using the points, lines and circles that have already been constructed. These are:

For example, starting with the minimal state of a drawing, with just two distinct points, we can create a line or either of two circles. From the two circles, two new points are created at their intersections. Drawing lines between the two original points and one of these new points completes the construction of an equilateral triangle.

Therefore, in any geometric problem we have an initial set of symbols (points and lines), an algorithm, and some results. From this perspective geometry is equivalent to an axiomatic algebra, replacing its elements by symbols. Abstract algebra is the subject area of Mathematics that studies Algebraic structures such as groups, rings, fields, modules Probably Gauss was the first one who realized this, and used it to prove the impossibility of some constructions, but only much later Hilbert found a complete set of axioms for geometry. David Hilbert ( January 23, 1862 &ndash February 14, 1943) was a German Mathematician, recognized as one of the most Hilbert's axioms are a set of 20 assumptions (originally 21 David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry.

Constructible points and lengths

Suppose an algorithm that gives you a point as a result. The point will always be given by intersection of two lines (or line and circle or two circles. See previous elemental operations), but there are infinite points in a classical euclidean space.

Regardless of the algorithm we use, we can only perform a finite number of steps. Therefore, no matter what algorithm we use to determine them, there will always be points that we cannot mark by crossing of two lines (same holds if we mark the point as intersection of a line and a circle, or of two circles)

Formal proof

There are many different ways to prove something is impossible. A more rigorous proof would be to demarcate the limit of the possible, and show that to solve these problems one must transgress that limit. Much of what can be constructed is covered in intercept theory. The intercept theorem is an important theorem in Elementary geometry about the ratios of various Line segments that are created if 2 intersecting Lines are

We could associate an algebra to our geometry using a Cartesian coordinate system made of two lines, and represent points of our plane by vectors. In Mathematics, the Cartesian coordinate system (also called rectangular coordinate system) is used to determine each point uniquely in a plane Finally we can write these vectors as complex numbers.

Using the equations for lines and circles, one can show that the points at which they intersect lie in a quadratic extension of the smallest field F containing two points on the line, the center of the circle, and the radius of the circle. In Mathematics, Kummer theory provides a description of certain types of Field extensions involving the adjunction of n th roots of elements of That is, they are of the form x +y√k, where x, y, and k are in F.

Since the field of constructible points is closed under square roots, it contains all points that can be obtained by a finite sequence of quadratic extensions of the field of complex numbers with rational coefficients. By the above paragraph, one can show that any constructible point can be obtained by such a sequence of extensions. As a corollary of this, one finds that the degree of the minimal polynomial for a constructible point (and therefore of any constructible length) is a power of 2. In particular, any constructible point (or length) is an algebraic number. In Mathematics, an algebraic number is a Complex number that is a root of a non-zero Polynomial in one variable with rational (or

Constructible angles

There is a bijection between the angles that are constructible and the points that are constructible on any constructible circle. In Mathematics, a bijection, or a bijective function is a function f from a set X to a set Y with the property The angles that are constructible form an abelian group under addition modulo 2π (which corresponds to multiplication of the points on the unit circle viewed as complex numbers). An abelian group, also called a commutative group, is a group satisfying the additional requirement that the product of elements does not depend on their order (the The angles that are constructible are exactly those whose tangent (or equivalently, sine or cosine) is constructible as a number. For example the regular heptadecagon is constructible because

\cos{\left(\frac{2\pi}{17}\right)} = -\frac{1}{16} \; + \; \frac{1}{16} \sqrt{17} \;+\; \frac{1}{16} \sqrt{34 - 2 \sqrt{17}} \;+\; \frac{1}{8} \sqrt{ 17 + 3 \sqrt{17} - \sqrt{34 - 2 \sqrt{17}} - 2 \sqrt{34 + 2 \sqrt{17}} }

as discovered by Gauss. Heptadecagon construction The regular heptadecagon is a Constructible polygon, as was shown by Carl Friedrich Gauss in 1796 Johann Carl Friedrich Gauss (ˈɡaʊs, Gauß Carolus Fridericus Gauss ( 30 April 1777 – 23 February 1855) was a German [1]

The group of constructible angles is closed under the operation that halves angles (which corresponds to taking square roots). The only angles of finite order that may be constructed starting with two points are those whose order is either a power of two, or a product of a power of two and a set of distinct Fermat primes. In Mathematics, a Fermat number, named after Pierre de Fermat who first studied them is a positive integer of the form F_{n} = 2^{2^{ In addition there is a dense set of constructible angles of infinite order.

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. Euclidean geometry is a mathematical system attributed to the Greek Mathematician Euclid of Alexandria. See also Orientation (geometry. In Mathematics, an orientation on a real Vector space is a choice of which Complex plane In Mathematics, the complex numbers are an extension of the Real numbers obtained by adjoining an Imaginary unit, denoted

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 π). In Abstract algebra, a field is an Algebraic structure in which the operations of Addition, Subtraction, Multiplication and division In Mathematics, the complex conjugate of a Complex number is given by changing the sign of the Imaginary part. In Mathematics, a square root of a number x is a number r such that r 2 = x, or in words a number r whose Complex plane In Mathematics, the complex numbers are an extension of the Real numbers obtained by adjoining an Imaginary unit, denoted 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. Addition is the mathematical process of putting things together Subtraction is one of the four basic Arithmetic operations it is the inverse of Addition, meaning that if we start with any number and add any number and then subtract In Mathematics, especially in elementary Arithmetic, division is an arithmetic operation which is the inverse of Multiplication. In Mathematics, the complex conjugate of a Complex number is given by changing the sign of the Imaginary part. In Mathematics, a square root of a number x is a number r such that r 2 = x, or in words a number r whose 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

\mathrm{Re}(z)=\frac{z+\bar z}{2}\;
\mathrm{Im}(z)=\frac{z-\bar z}{2i}\;
\left | z \right | = \sqrt{z \bar z}.\;

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. In Mathematics, a rational number is a number which can be expressed as a Ratio of two Integers Non-integer rational numbers (commonly called fractions In Mathematics, a Fermat number, named after Pierre de Fermat who first studied them is a positive integer of the form F_{n} = 2^{2^{ This article discusses cubic equations in one variable For a discussion of cubic equations in two variables see Elliptic curve. In Mathematics, a transcendental number is a Complex number that is not algebraic, that is not a solution of a non-zero Polynomial equation None of these are in the fields described, hence no compass and straightedge construction for these exists.

Impossible constructions

Squaring the circle

Main article: Squaring the circle

The most famous of these problems, squaring the circle, otherwise known as the quadrature of the circle, involves constructing a square with the same area as a given circle using only straightedge and compass. Squaring the circle is a problem proposed by ancient Geometers. Squaring the circle is a problem proposed by ancient Geometers.

Squaring the circle has been proven impossible, as it involves generating a transcendental ratio, namely 1/{\sqrt{\pi}}. In Mathematics, a transcendental number is a Complex number that is not algebraic, that is not a solution of a non-zero Polynomial equation Only certain algebraic ratios can be constructed with ruler and compass alone, namely those constructed from the integers with a finite sequence of operations of addition, subtraction, multiplication, division, and square roots. In Mathematics, an algebraic number is a Complex number that is a root of a non-zero Polynomial in one variable with rational (or The phrase "squaring the circle" is often used to mean "doing the impossible" for this reason.

Without the constraint of requiring solution by ruler and compass alone, the problem is easily solvable by a wide variety of geometric and algebraic means, and has been solved many times in antiquity.

Doubling the cube

Main article: Doubling the cube

Doubling the cube: using only a straight-edge and compass, construct the side of a cube that has twice the volume of a cube with a given side. Doubling the cube (also known as The Delian Problem) is one of the three most famous geometric problems unsolvable by Compass and straightedge construction This is impossible because the cube root of 2, though algebraic, cannot be computed from integers by addition, subtraction, multiplication, division, and taking square roots. This follows because its minimal polynomial over the rationals has degree 3. In Linear algebra, the minimal polynomial of an n -by- n matrix A over a field F is the Monic polynomial This construction is possible using a ruler with two marks on it and a compass.

Angle trisection

Main article: Angle trisection

Angle trisection: using only a ruler and a compass, construct an angle that is one-third of a given arbitrary angle. The problem of trisecting the angle is a classic problem of Compass and straightedge constructions of ancient Greek mathematics. With a straightedge and compass, it is in general impossible. For example, the angle of π/3 radians (60°) cannot be trisected, though, say, 2π/5 radians (72°) may be trisected. The radian is a unit of plane Angle, equal to 180/ π degrees, or about 57 This article describes the unit of angle For other meanings see Degree. The radian is a unit of plane Angle, equal to 180/ π degrees, or about 57

Constructing regular polygons

Some regular polygons (e. General properties These properties apply to both convex and star regular polygons g. a pentagon) are easy to construct with ruler and compass; others are not. Regular pentagons The term pentagon is commonly used to mean a regular convex pentagon, where all sides are equal and all interior angles are equal (to This led to the question: Is it possible to construct all regular polygons with ruler and compass?

Carl Friedrich Gauss in 1796 showed that a regular n-sided polygon can be constructed with ruler and compass if the odd prime factors of n are distinct Fermat primes. Johann Carl Friedrich Gauss (ˈɡaʊs, Gauß Carolus Fridericus Gauss ( 30 April 1777 – 23 February 1855) was a German Year 1796 ( MDCCXCVI) was a Leap year starting on Friday (link will display the full calendar of the Gregorian calendar (or a Leap year In Number theory, the prime factors of a positive Integer are the Prime numbers that divide into that integer exactly without leaving a remainder In Mathematics, a Fermat number, named after Pierre de Fermat who first studied them is a positive integer of the form F_{n} = 2^{2^{ Gauss conjectured that this condition was also necessary, but he offered no proof of this fact, which was proven by Pierre Wantzel in 1837. In Mathematics, a conjecture is a Mathematical statement which appears resourceful but has not been formally proven to be true under the rules of Pierre Laurent Wantzel ( June 5, 1814 in Paris – May 21, 1848 in Paris was a French Mathematician who proved Year 1837 ( MDCCCXXXVII) was a Common year starting on Sunday (link will display the full calendar of the Gregorian Calendar (or a Common See constructible polygon. In mathematics a constructible polygon is a Regular polygon that can be constructed with compass and straightedge.

Constructing with only ruler or only compass

It is possible (according to the Mohr-Mascheroni theorem) to construct anything with just a compass if it can be constructed with a ruler and compass. In Mathematics, the Mohr–Mascheroni Theorem states that any geometric construction that can be performed by a Compass and straightedge can be performed It is impossible to take a square root with just a ruler, so some things cannot be constructed with a ruler that can be constructed with a compass; but (by the Poncelet-Steiner theorem) given a single circle and its center, they can be constructed.

Extended constructions

Markable rulers

Archimedes and Apollonius gave constructions involving the use of a markable ruler. Archimedes of Syracuse ( Greek:) ( c. 287 BC – c 212 BC was a Greek mathematician, Physicist, Engineer This would permit them, for example, to take a line segment, two lines (or circles), and a point; and then draw a line which passes through the given point and intersects both lines, and such that the distance between the points of intersection equals the given segment. This the Greeks called neusis ("inclination", "tendency" or "verging"), because the new line tends to the point. The neusis is a geometric construction method that was used in antiquity by Greek mathematicians

This construction extends geometry beyond the reach of Euclid's Elements. Euclid has no axiom, and can prove no theorem, that such verging lines even exist, so he cannot use them for constructions. In this expanded geometry, any distance whose ratio to an existing distance is the solution of a cubic or a quartic equation is constructible. This article discusses cubic equations in one variable For a discussion of cubic equations in two variables see Elliptic curve. In Mathematics, a quartic equation is one which can be expressed as a Quartic function equalling zero It follows that, if markable rulers and neusis are permitted, the trisection of the angle (see Archimedes' trisection) and the duplication of the cube can be achieved; the quadrature of the circle is still impossible. Some regular polygons, like the heptagon, become constructible; and John H. Conway gives constructions for several of them;[2] but the 11-sided polygon, the hendecagon, is still impossible, and infinitely many others. Construction A regular heptagon is not constructible with Compass and straightedge but is constructible with a marked Ruler and compass John Horton Conway (born December 26, 1937, Liverpool, England) is a prolific mathematician active in the theory of finite groups Use in coinage The Canadian dollar coin the Loonie, is patterned on a regular Hendecagonal prism, as is the Indian two-rupee coin

When only angle trisector is permitted, there is a complete description of all regular polygons which can be constructed, including above mentioned regular heptagon, triskaidecagon (13-gon) and enneadecagon (19-gon). Construction A regular heptagon is not constructible with Compass and straightedge but is constructible with a marked Ruler and compass In Geometry, a triskaidecagon (or tridecagon is a Polygon with 13 sides and angles [3] It is open whether there are infinitely primes p for which a regular p-gon is constructible with ruler, compass and an angle trisector.

Origami

Similarly, the mathematical theory of origami (i. (from oru meaning "folding" and kami meaning "paper" is the ancient Japanese Art of Paper folding. e. paper folding without any equipment) is more powerful than the compass and staightedge, for the same reasons. It can also be used to solve cubic equations (and hence quartic equations), and thus solve two of the classical problems.

Origami can construct exactly the same set of points as the extended constructions using a compass and a marked ruler.

The extension field

In abstract terms, using these more powerful tools of either neusis using a markable ruler or the constructions of origami extends the field of constructible numbers to a larger subfield of the complex numbers, which contains not only the square root, but also the cube roots, of every element. In Abstract algebra, a Field extension L / K is called algebraic if every element of L is algebraic over K, i A point in the Euclidean plane is a constructible point if given a fixed Coordinate system (or a fixed Line segment of unit Length In Mathematics, a cube root of a number denoted \sqrt{x} or x1/3 is a number a such that a 3 =  x The arithmetic formulae for constructible points described above have analogies in this larger field, allowing formulae that include cube roots as well. The field extension generated by any additional point constructible in this larger field has degree a multiple of a power of two and a power of three, and may be broken into a tower of extensions of degree 2 and 3.

Recent research

Simon Plouffe has written a paper showing how ruler and compass can be used as a simple computer with unexpected power to compute binary digits of certain numbers. Simon Plouffe is a Quebec Mathematician born on June 11 1956 in, Quebec. A computer is a Machine that manipulates data according to a list of instructions. A bit is a binary digit, taking a value of either 0 or 1 Binary digits are a basic unit of Information storage and communication [4]

References

  1. ^ Eric W. Weisstein, Trigonometry Angles--Pi/17 at MathWorld. Eric W Weisstein (born March 18, 1969, in Bloomington Indiana) is an Encyclopedist who created and maintains MathWorld MathWorld is an online Mathematics reference work created and largely written by Eric W
  2. ^ Conway, John H. and Richard Guy: The Book of Numbers
  3. ^ Gleason, Andrew: "Angle trisection, the heptagon, and the triskaidecagon", Amer. Andrew Mattei Gleason (born November 4 1921 in Fresno, California, U Math. Monthly 95 (1988), no. 3, 185-194.
  4. ^ Simon Plouffe. "The Computation of Certain Numbers Using a Ruler and Compass. " Journal of Integer Sequences, Vol. 1 (1998), Article 98. 1. 3.

See also

External links

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
 Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic