Straightedge and compass construction

<h2 id="straightedge-and-compass-tools">Straightedge and compass tools</h2>

The "straightedge" and "compass" of straightedge-and-compass constructions are idealized versions of real-world <a href="/facts/Ruler/jKWAdmso">rulers</a> and <a href="/facts/Compass_(drawing_tool)/0uNSeGy9">compasses</a>.

<ul><li>The straightedge is an infinitely long edge with no markings on it. It can only be used to draw a line segment between two points, or to extend an existing line segment.</li>
<li>The compass can have an arbitrarily large radius with no markings on it (unlike certain real-world compasses). <a href="/facts/Circle/9fy5ggKn">Circles</a> and <a href="/facts/Circular_arc/RrehhCQR">circular arcs</a> can be drawn starting from two given points: the centre and a point on the circle. The compass may or may not collapse (i.e. fold after being taken off the page, erasing its 'stored' radius).</li>
<li>Lines and circles constructed have infinite precision and zero width.</li></ul>
Actual compasses do not collapse and modern geometric constructions often use this feature. A 'collapsing compass' would appear to be a less powerful instrument. However, by the <a href="/facts/Compass_equivalence_theorem/depqqsxe">compass equivalence theorem</a> in Proposition 2 of Book 1 of <a href="/facts/Euclid%2527s_Elements/nPKvCIxs">Euclid's Elements</a>, no power is lost by using a collapsing compass. Although the proposition is correct, its proofs have a long and checkered history.<a class="footnote-ref" id="fnref:1" href="#fn:1">1</a> In any case, the equivalence is why this feature is not stipulated in the definition of the ideal compass.
Each construction must be mathematically exact. "Eyeballing" distances (looking at the construction and guessing at its accuracy) or using markings on a ruler, are not permitted. Each construction must also terminate. That is, it must have a finite number of steps, and not be the limit of ever closer approximations. (If an unlimited number of steps is permitted, some otherwise-impossible constructions become possible by means of <a href="/facts/Sequence/gV2S4uqp">infinite sequences</a> converging to a <a href="/facts/Limit_(mathematics)/j8JBhj4e">limit</a>.)
Stated this way, straightedge-and-compass constructions appear to be a <a href="/facts/Parlour_game/Ullq7j0A">parlour game</a>, rather than a serious practical problem; but the purpose of the restriction is to ensure that constructions can be proven to be exactly correct.

<h2 id="history">History</h2>
The <a href="/facts/Greek_mathematics/ealke3z8">ancient Greek mathematicians</a> first attempted straightedge-and-compass constructions, and they discovered how to construct <a href="/facts/Summation/V2WUxoKn">sums</a>, <a href="/facts/Difference_(mathematics)/dEUrp6k0">differences</a>, <a href="/facts/Product_(mathematics)/aXY11nGS">products</a>, <a href="/facts/Ratio/mFmhQt7T">ratios</a>, and <a href="/facts/Square_root/AfrzfBdQ">square roots</a> of given lengths.<a class="footnote-ref" id="fnref:2" href="#fn:2">2</a>: p. 1  They could also construct <a href="/facts/Bisection/JTsya7Ca">half of a given angle</a>, a square whose area is twice that of another square, a square having the same area as a given polygon, and <a href="/facts/Regular_polygon/ws89Nhpt">regular polygons</a> of 3, 4, or 5 sides<a class="footnote-ref" id="fnref:3" href="#fn:3">3</a>: p. xi  (or one with twice the number of sides of a given polygon<a class="footnote-ref" id="fnref:4" href="#fn:4">4</a>: pp. 49–50 ). But they could not construct <a href="/facts/Angle_trisection/zSf98g6b">one third of a given angle</a> except in particular cases, or a square with <a href="/facts/Squaring_the_circle/BxFrDIPA">the same area as a given circle</a>, or regular polygons with other numbers of sides.<a class="footnote-ref" id="fnref:5" href="#fn:5">5</a>: p. xi  Nor could they construct the side of a cube whose volume is <a href="/facts/Doubling_the_cube/eIHS1ybp">twice the volume of a cube</a> with a given side.<a class="footnote-ref" id="fnref:6" href="#fn:6">6</a>: p. 29 
<a href="/facts/Hippocrates_of_Chios/Y7hJHIB2">Hippocrates</a> and <a href="/facts/Menaechmus/RLGqgcHj">Menaechmus</a> showed that the volume of the cube could be doubled by finding the intersections of <a href="/facts/Hyperbola/6R6ER0mY">hyperbolas</a> and <a href="/facts/Parabola/Cweo3wgw">parabolas</a>, but these cannot be constructed by straightedge and compass.<a class="footnote-ref" id="fnref:7" href="#fn:7">7</a>: p. 30  In the fifth century BCE, <a href="/facts/Hippias/v64GzLYC">Hippias</a> used a curve that he called a <a href="/facts/Quadratrix/jhoWpazp">quadratrix</a> to both trisect the general angle and square the circle, and <a href="/facts/Nicomedes_(mathematician)/mNhUJ95P">Nicomedes</a> in the second century BCE showed how to use a <a href="/facts/Conchoid_(mathematics)/R1Y33lzr">conchoid</a> to trisect an arbitrary angle;<a class="footnote-ref" id="fnref:8" href="#fn:8">8</a>: p. 37  but these methods also cannot be followed with just straightedge and compass.
No progress on the unsolved problems was made for two millennia, until in 1796 <a href="/facts/Gauss/f4eSMBD7">Gauss</a> showed that a regular polygon with 17 sides could be constructed; five years later he showed the sufficient criterion for a regular polygon of n sides to be constructible.<a class="footnote-ref" id="fnref:9" href="#fn:9">9</a>: pp. 51 ff. 
In 1837 <a href="/facts/Pierre_Wantzel/gKVItq1G">Pierre Wantzel</a> published a proof of the impossibility of trisecting an arbitrary angle or of doubling the volume of a cube,<a class="footnote-ref" id="fnref:10" href="#fn:10">10</a> based on the impossibility of constructing <a href="/facts/Cube_root/c8klHLFb">cube roots</a> of lengths. He also showed that Gauss's sufficient constructibility condition for regular polygons is also necessary.<a class="footnote-ref" id="fnref:11" href="#fn:11">11</a>
Then in 1882 <a href="/facts/Ferdinand_von_Lindemann/xMlaFGKj">Lindemann</a> showed that 
 
 
 
 π
 
 
 {\displaystyle \pi }
 
 is a <a href="/facts/Transcendental_number/IrB7JppM">transcendental number</a>, and thus that it is impossible by straightedge and compass to construct a square with the same area as a given circle.<a class="footnote-ref" id="fnref:12" href="#fn:12">12</a>: p. 47 

<h2 id="the-basic-constructions">The basic constructions</h2>

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

<ul><li>Creating the <a href="/facts/Line_(geometry)/gJqsr4Gj">line</a> through two points</li>
<li>Creating the <a href="/facts/Circle/9fy5ggKn">circle</a> that contains one point and has a center at another point</li>
<li>Creating the point at the <a href="/facts/Intersection/hVW6QFWD">intersection</a> of two (non-parallel) lines</li>
<li>Creating the <a href="/facts/Tangent/sF0jH3EI">one point</a> or <a href="/facts/Secant_line/gJnaF5g3">two points</a> in the intersection of a line and a circle (if they intersect)</li>
<li>Creating the one point or two points in the intersection of two circles (if they intersect).</li></ul>
For example, starting with just two distinct points, we can create a line or either of two circles (in turn, using each point as centre and passing through the other point). If we draw both 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 <a href="/facts/Abstract_Algebra/YNNE1CNz">algebra</a>, replacing its elements by symbols. Probably <a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Gauss</a> first realized this, and used it to prove the impossibility of some constructions; only much later did <a href="/facts/David_Hilbert/1vhlHn4b">Hilbert</a> find a complete set of <a href="/facts/Hilbert%2527s_axioms/JwdGVnQt">axioms for geometry</a>.

<h2 id="common-straightedge-and-compass-constructions">Common straightedge-and-compass constructions</h2>
The most-used straightedge-and-compass constructions include:

<ul><li>Constructing the <a href="/facts/Bisection/JTsya7Ca">perpendicular bisector</a> from a segment</li>
<li>Finding the <a href="/facts/Midpoint/ykRvr0Vk">midpoint</a> of a segment.</li>
<li>Drawing a <a href="/facts/Perpendicular/u0k8xqx4">perpendicular line</a> from a point to a line.</li>
<li><a href="/facts/Bisection/JTsya7Ca">Bisecting an angle</a></li>
<li><a href="/facts/Reflection_(mathematics)/5JHWnrql">Mirroring a point in a line</a></li>
<li><a href="/facts/Tangent_lines_to_circles/jlj3WjKK">Constructing a line through a point tangent to a circle</a></li>
<li><a href="/facts/Circle/9fy5ggKn">Constructing a circle through 3 noncollinear points</a></li>
<li>Drawing a line through a given point parallel to a given line.</li></ul>
<h2 id="constructible-points">Constructible points</h2>
Main article: <a href="/facts/Constructible_number/UMuK8Bkm">Constructible number</a>
<table><tbody><tr><th colspan="3">Straightedge-and-compass constructions corresponding to algebraic operations</th></tr><tr><td></td><td></td><td></td></tr></tbody></table>
One can associate an algebra to our geometry using a <a href="/facts/Cartesian_coordinate_system/lkTqvMmB">Cartesian coordinate system</a> made of two lines, and represent points of our plane by <a href="/facts/Ordered_pair/EInLVI0r">vectors</a>. 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 <a href="/facts/Kummer_theory/DWBtcL4A">quadratic extension</a> of the smallest field F containing two points on the line, the center of the circle, and the radius of the circle. That is, they are of the form 
 
 
 
 x
 +
 y
 =
 
 
 k
 
 
 
 
 {\displaystyle x+y={\sqrt {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 <a href="/facts/Algebraic_number/MkH1PzTK">algebraic number</a>, though not every algebraic number is constructible; for example, 3√2 is algebraic but not constructible.<a class="footnote-ref" id="fnref:13" href="#fn:13">13</a>

<h3>Constructible angles</h3>
There is a <a href="/facts/Bijection/j4gTuTmW">bijection</a> between the angles that are constructible and the points that are constructible on any constructible circle. The angles that are constructible form an <a href="/facts/Abelian_group/FfWwmx4R">abelian group</a> under addition modulo 2π (which corresponds to multiplication of the points on the unit circle viewed as complex numbers). The angles that are constructible are exactly those whose tangent (or equivalently, sine or cosine) is constructible as a number. For example, the regular <a href="/facts/Heptadecagon/R9Ym67TG">heptadecagon</a> (the seventeen-sided <a href="/facts/Regular_polygon/ws89Nhpt">regular polygon</a>) is constructible because

cos
                ⁡
                
                  
                    (
                    
                      
                        
                          2
                          π
                        
                        17
                      
                    
                    )
                  
                
              
              
                
                =
                
                −
                
                  
                    1
                    16
                  
                
                
                +
                
                
                  
                    1
                    16
                  
                
                
                  
                    17
                  
                
                
                +
                
                
                  
                    1
                    16
                  
                
                
                  
                    34
                    −
                    2
                    
                      
                        17
                      
                    
                  
                
              
            
            
              
              
                
                
                +
                
                
                  
                    1
                    8
                  
                
                
                  
                    17
                    +
                    3
                    
                      
                        17
                      
                    
                    −
                    
                      
                        34
                        −
                        2
                        
                          
                            17
                          
                        
                      
                    
                    −
                    2
                    
                      
                        34
                        +
                        2
                        
                          
                            17
                          
                        
                      
                    
                  
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}\cos {\left({\frac {2\pi }{17}}\right)}&=\,-{\frac {1}{16}}\,+\,{\frac {1}{16}}{\sqrt {17}}\,+\,{\frac {1}{16}}{\sqrt {34-2{\sqrt {17}}}}\\[5mu]&\qquad +\,{\frac {1}{8}}{\sqrt {17+3{\sqrt {17}}-{\sqrt {34-2{\sqrt {17}}}}-2{\sqrt {34+2{\sqrt {17}}}}}}\end{aligned}}}

as discovered by <a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Gauss</a>.<a class="footnote-ref" id="fnref:14" href="#fn:14">14</a>
The group of constructible angles is closed under the operation that halves angles (which corresponds to taking square roots in the complex numbers). 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 <a href="/facts/Fermat_primes/SJT8fN9m">Fermat primes</a>. In addition there is a dense set of constructible angles of infinite order.

<h3>Relation to complex arithmetic</h3>
Given a set of points in the <a href="/facts/Euclidean_plane/tAUtRFcn">Euclidean plane</a>, selecting any one of them to be called 0 and another to be called 1, together with an arbitrary choice of <a href="/facts/Orientation_(vector_space)/lGXs42Nw">orientation</a> allows us to consider the points as a set of <a href="/facts/Complex_number/2w7mqI7e">complex numbers</a>.
Given any such interpretation of a set of points as complex numbers, the points constructible using valid straightedge-and-compass constructions alone are precisely the elements of the smallest <a href="/facts/Field_(mathematics)/xAjAS4ko">field</a> containing the original set of points and closed under the <a href="/facts/Complex_conjugate/7TEaoQDe">complex conjugate</a> and <a href="/facts/Square_root/AfrzfBdQ">square root</a> operations (to avoid ambiguity, we can specify the square root with <a href="/facts/Complex_argument/JSjfxb5U">complex argument</a> 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 <a href="/facts/Addition/apFWJBFB">addition</a>, <a href="/facts/Subtraction/dEUrp6k0">subtraction</a>, <a href="/facts/Multiplication/VtcUjpNv">multiplication</a>, <a href="/facts/Division_(mathematics)/FqLKNkmq">division</a>, <a href="/facts/Complex_conjugate/7TEaoQDe">complex conjugate</a>, and <a href="/facts/Square_root/AfrzfBdQ">square root</a>, which is easily seen to be a countable dense subset of the plane. Each of these six operations corresponding to a simple straightedge-and-compass 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 straightedge and compass 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

R
          e
        
        (
        z
        )
        =
        
          
            
              z
              +
              
                
                  
                    z
                    ¯
                  
                
              
            
            2
          
        
        
      
    
    {\displaystyle \mathrm {Re} (z)={\frac {z+{\bar {z}}}{2}}\;}

I
          m
        
        (
        z
        )
        =
        
          
            
              z
              −
              
                
                  
                    z
                    ¯
                  
                
              
            
            
              2
              i
            
          
        
        
      
    
    {\displaystyle \mathrm {Im} (z)={\frac {z-{\bar {z}}}{2i}}\;}

|
          z
          |
        
        =
        
          
            z
            
              
                
                  z
                  ¯
                
              
            
          
        
        .
        
      
    
    {\displaystyle \left|z\right|={\sqrt {z{\bar {z}}}}.\;}

Doubling the cube and trisection of an angle (except for special angles such as any φ such that φ/(2π)) is a <a href="/facts/Rational_number/VJQmyY05">rational number</a> with <a href="/facts/Denominator/ghnQE9B3">denominator</a> not divisible by 3) require ratios which are the solution to <a href="/facts/Cubic_equation/Eqm3HCMx">cubic equations</a>, while squaring the circle requires a <a href="/facts/Transcendental_number/IrB7JppM">transcendental</a> ratio. None of these are in the fields described, hence no straightedge-and-compass construction for these exists.

<h2 id="impossible-constructions">Impossible constructions</h2>
The ancient Greeks thought that the construction problems they could not solve were simply obstinate, not unsolvable.<a class="footnote-ref" id="fnref:15" href="#fn:15">15</a> With modern methods, however, these straightedge-and-compass constructions have been shown to be logically impossible to perform. (The problems themselves, however, are solvable, and the Greeks knew how to solve them without the constraint of working only with straightedge and compass.)

<h3>Squaring the circle</h3>
Main article: <a href="/facts/Squaring_the_circle/BxFrDIPA">Squaring the circle</a>
The most famous of these problems, <a href="/facts/Squaring_the_circle/BxFrDIPA">squaring the circle</a>, 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 has been proved impossible, as it involves generating a <a href="/facts/Transcendental_number/IrB7JppM">transcendental number</a>, that is, √π. Only certain <a href="/facts/Algebraic_number/MkH1PzTK">algebraic numbers</a> 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 taking square roots. 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 was solved many times in antiquity.<a class="footnote-ref" id="fnref:16" href="#fn:16">16</a>
A method which comes very close to approximating the "quadrature of the circle" can be achieved using a <a href="/facts/Kepler_triangle/U8QSTs1I">Kepler triangle</a>.

<h3>Doubling the cube</h3>
Main article: <a href="/facts/Doubling_the_cube/eIHS1ybp">Doubling the cube</a>
Doubling the cube is the construction, using only a straightedge and compass, of the edge of a cube that has twice the volume of a cube with a given edge. 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 <a href="/facts/Minimal_polynomial_(field_theory)/dJv9Q0Kh">minimal polynomial</a> over the rationals has degree 3. This construction is possible using a straightedge with two marks on it and a compass.

<h3>Angle trisection</h3>
Main article: <a href="/facts/Angle_trisection/zSf98g6b">Angle trisection</a>
Angle trisection is the construction, using only a straightedge and a compass, of an angle that is one-third of a given arbitrary angle. This is impossible in the general case. For example, the angle 2π/5 <a href="/facts/Radian/Srd38Sxa">radians</a> (72° = 360°/5) can be trisected, but the angle of π/3 <a href="/facts/Radian/Srd38Sxa">radians</a> (60<a href="/facts/Degree_(angle)/f48Ns8SX">°</a>) cannot be trisected.<a class="footnote-ref" id="fnref:17" href="#fn:17">17</a> The general trisection problem is also easily solved when a straightedge with two marks on it is allowed (a <a href="/facts/Neusis/teuATjxg">neusis</a> construction).

<h3>Distance to an ellipse</h3>
The line segment from any point in the plane to the nearest point on a <a href="/facts/Circle/9fy5ggKn">circle</a> can be constructed, but the segment from any point in the plane to the nearest point on an <a href="/facts/Ellipse/1wUDnGxY">ellipse</a> of positive <a href="/facts/Eccentricity_(mathematics)/SzgpW5R7">eccentricity</a> cannot in general be constructed. See <a class="footnote-ref" id="fnref:18" href="#fn:18">18</a> Note that results proven here are mostly a consequence of the non-constructivity of conics. If the initial conic is considered as a given, then the proof must be reviewed to check if other distinct conic needs to be generated. As an example, constructions for normals of a parabola are known, but they need to use an intersection between circle and the parabola itself. So they are not constructible in the sense that the parabola is not constructible.

<h3>Alhazen's problem</h3>
In 1997, the <a href="/facts/University_of_Oxford/ExVVQL6V">Oxford</a> mathematician <a href="/facts/Peter_M._Neumann/A8Y3GbeA">Peter M. Neumann</a> proved the theorem that there is no ruler-and-compass construction for the general solution of the ancient <a href="/facts/Alhazen%2527s_problem/7zo4Unrz">Alhazen's problem</a> (billiard problem or reflection from a spherical mirror).<a class="footnote-ref" id="fnref:19" href="#fn:19">19</a><a class="footnote-ref" id="fnref:20" href="#fn:20">20</a>

<h2 id="constructing-regular-polygons">Constructing regular polygons</h2>
Main article: <a href="/facts/Constructible_polygon/ATBRc55D">Constructible polygon</a>

Some <a href="/facts/Regular_polygon/ws89Nhpt">regular polygons</a> (e.g. a <a href="/facts/Pentagon/jeHEARHH">pentagon</a>) are easy to construct with straightedge and compass; others are not. This led to the question: Is it possible to construct all regular polygons with straightedge and compass?
<a href="/facts/Carl_Friedrich_Gauss/f4eSMBD7">Carl Friedrich Gauss</a> in 1796 showed that a regular 17-sided polygon can be constructed, and five years later showed that a regular n-sided polygon can be constructed with straightedge and compass if the odd <a href="/facts/Prime_factor/L20FLkgn">prime factors</a> of n are distinct <a href="/facts/Fermat_prime/SJT8fN9m">Fermat primes</a>. Gauss <a href="/facts/Conjecture/oPWUb7SF">conjectured</a> that this condition was also <a href="/facts/Necessary_condition/G45aDCY9">necessary</a>; the conjecture was proven by <a href="/facts/Pierre_Wantzel/gKVItq1G">Pierre Wantzel</a> in 1837.<a class="footnote-ref" id="fnref:21" href="#fn:21">21</a>
The first few constructible regular polygons have the following numbers of sides:

<a href="/facts/Equilateral_triangle/MJomsYDS">3</a>, <a href="/facts/Square/JHJeMvmL">4</a>, <a href="/facts/Pentagon/jeHEARHH">5</a>, <a href="/facts/Hexagon/DPzuCzWE">6</a>, <a href="/facts/Octagon/H5PuP3wP">8</a>, <a href="/facts/Decagon/GdHnJjMK">10</a>, <a href="/facts/Dodecagon/lKDvfUsm">12</a>, <a href="/facts/Pentadecagon/hD70QWGq">15</a>, <a href="/facts/Hexadecagon/3jTUD0zD">16</a>, <a href="/facts/Heptadecagon/R9Ym67TG">17</a>, <a href="/facts/Icosagon/BDISl0Mj">20</a>, <a href="/facts/Icositetragon/m9BNCKPv">24</a>, <a href="/facts/Triacontagon/NAdB2nEd">30</a>, <a href="/facts/Triacontadigon/yAq7RjPz">32</a>, <a href="/facts/Triacontatetragon/sxvfrYkg">34</a>, <a href="/facts/Tetracontagon/yAq7RjPz">40</a>, <a href="/facts/Tetracontaoctagon/yAq7RjPz">48</a>, 51, <a href="/facts/Hexacontagon/yAq7RjPz">60</a>, <a href="/facts/Hexacontatetragon/yAq7RjPz">64</a>, 68, <a href="/facts/Octacontagon/yAq7RjPz">80</a>, 85, <a href="/facts/Enneacontahexagon/yAq7RjPz">96</a>, 102, <a href="/facts/120-gon/twRzkEfv">120</a>, 128, 136, 160, 170, 192, 204, 240, 255, 256, <a href="/facts/257-gon/27MeycVu">257</a>, 272... (sequence A003401 in the <a href="/facts/On-Line_Encyclopedia_of_Integer_Sequences/yow6cVsU">OEIS</a>)
There are known to be an infinitude of constructible regular polygons with an even number of sides (because if a regular n-gon is constructible, then so is a regular 2n-gon and hence a regular 4n-gon, 8n-gon, etc.). However, there are only 5 known Fermat primes, giving only 31 known constructible regular n-gons with an odd number of sides.

<h2 id="constructing-a-triangle-from-three-given-characteristic-points-or-lengths">Constructing a triangle from three given characteristic points or lengths</h2>
Sixteen key points of a <a href="/facts/Triangle/cRXUwsMn">triangle</a> are its <a href="/facts/Vertex_(geometry)/ID3cea9z">vertices</a>, the <a href="/facts/Bisection/JTsya7Ca">midpoints of its sides</a>, the feet of its <a href="/facts/Altitude_(geometry)/z9H8fFMz">altitudes</a>, the feet of its <a href="/facts/Bisection/JTsya7Ca">internal angle bisectors</a>, and its <a href="/facts/Circumcenter/RafYT4am">circumcenter</a>, <a href="/facts/Centroid/H6dDbg0h">centroid</a>, <a href="/facts/Orthocenter/z9H8fFMz">orthocenter</a>, and <a href="/facts/Incenter/e933kPfL">incenter</a>. These can be taken three at a time to yield 139 distinct nontrivial problems of constructing a triangle from three points.<a class="footnote-ref" id="fnref:22" href="#fn:22">22</a> Of these problems, three involve a point that can be uniquely constructed from the other two points; 23 can be non-uniquely constructed (in fact for infinitely many solutions) but only if the locations of the points obey certain constraints; in 74 the problem is constructible in the general case; and in 39 the required triangle exists but is not constructible.
Twelve key lengths of a triangle are the three side lengths, the three <a href="/facts/Altitude_(geometry)/z9H8fFMz">altitudes</a>, the three <a href="/facts/Median_(geometry)/jPT2T5F9">medians</a>, and the three <a href="/facts/Bisection/JTsya7Ca">angle bisectors</a>. Together with the three angles, these give 95 distinct combinations, 63 of which give rise to a constructible triangle, 30 of which do not, and two of which are underdefined.<a class="footnote-ref" id="fnref:23" href="#fn:23">23</a>: pp. 201–203 

<h2 id="restricted-constructions">Restricted constructions</h2>
Various attempts have been made to restrict the allowable tools for constructions under various rules, in order to determine what is still constructible and how it may be constructed, as well as determining the minimum criteria necessary to still be able to construct everything that compass and straightedge can.

<h3>Constructing with only ruler or only compass</h3>
It is possible (according to the <a href="/facts/Mohr%25E2%2580%2593Mascheroni_theorem/N068VdqK">Mohr–Mascheroni theorem</a>) to construct anything with just a compass if it can be constructed with a ruler and compass, provided that the given data and the data to be found consist of discrete points (not lines or circles). The truth of this theorem depends on the truth of <a href="/facts/Archimedean_property/61pC7UP6"> Archimedes' axiom</a>,<a class="footnote-ref" id="fnref:24" href="#fn:24">24</a> which is not first-order in nature. Examples of compass-only constructions include <a href="/facts/Napoleon%2527s_problem/lukH1KSr">Napoleon's problem</a>.
It is impossible to take a square root with just a ruler, so some things that cannot be constructed with a ruler can be constructed with a compass; but (by the <a href="/facts/Poncelet%25E2%2580%2593Steiner_theorem/jXgSWyYC">Poncelet–Steiner theorem</a>) given a single circle and its center, they can be constructed.

<h2 id="extended-constructions">Extended constructions</h2>
The ancient Greeks classified constructions into three major categories, depending on the complexity of the tools required for their solution. If a construction used only a straightedge and compass, it was called planar; if it also required one or more conic sections (other than the circle), then it was called solid; the third category included all constructions that did not fall into either of the other two categories.<a class="footnote-ref" id="fnref:25" href="#fn:25">25</a> This categorization meshes nicely with the modern algebraic point of view. A complex number that can be expressed using only the field operations and square roots (as described above) has a planar construction. A complex number that includes also the extraction of cube roots has a solid construction.
In the language of fields, a complex number that is planar has degree a power of two, and lies in a <a href="/facts/Algebraic_extension/GAs76USY">field extension</a> that can be broken down into a tower of fields where each extension has degree two. A complex number that has a solid construction has degree with prime factors of only two and three, and lies in a field extension that is at the top of a tower of fields where each extension has degree 2 or 3.

<h3>Solid constructions</h3>
A point has a solid construction if it can be constructed using a straightedge, compass, and a (possibly hypothetical) conic drawing tool that can draw any conic with already constructed focus, directrix, and eccentricity. The same set of points can often be constructed using a smaller set of tools. For example, using a compass, straightedge, and a piece of paper on which we have the parabola y=x2 together with the points (0,0) and (1,0), one can construct any complex number that has a solid construction. Likewise, a tool that can draw any ellipse with already constructed foci and major axis (think two pins and a piece of string) is just as powerful.<a class="footnote-ref" id="fnref:26" href="#fn:26">26</a>
The ancient Greeks knew that doubling the cube and trisecting an arbitrary angle both had solid constructions. <a href="/facts/Archimedes/sIeMhSVF">Archimedes</a> gave a <a href="/facts/Neusis/teuATjxg">neusis</a> construction of the regular <a href="/facts/Heptagon/b0qIVNhY">heptagon</a>, which was interpreted by medieval Arabic commentators, <a href="/facts/Bartel_Leendert_van_der_Waerden/rITfcujK">Bartel Leendert van der Waerden</a>, and others as being based on a solid construction, but this has been disputed, as other interpretations are possible.<a class="footnote-ref" id="fnref:27" href="#fn:27">27</a> The quadrature of the circle does not have a solid construction.
A regular n-gon has a solid construction if and only if n=2a3bm where a and b are some non-negative integers and m is a product of zero or more distinct <a href="/facts/Pierpont_prime/MGNnTvpJ">Pierpont primes</a> (primes of the form 2r3s+1). Therefore, regular n-gon admits a solid, but not planar, construction if and only if n is in the sequence

<a href="/facts/Heptagon/b0qIVNhY">7</a>, <a href="/facts/Enneagon/mdQnTG40">9</a>, <a href="/facts/Tridecagon/sqW00dpm">13</a>, <a href="/facts/Tetradecagon/oWPEMAly">14</a>, <a href="/facts/Octadecagon/cNMQe3va">18</a>, <a href="/facts/Enneadecagon/yAq7RjPz">19</a>, <a href="/facts/Icosihenagon/ndy5xzTX">21</a>, 26, 27, 28, 35, 36, 37, 38, 39, <a href="/facts/Tetracontadigon/yAq7RjPz">42</a>, 45, 52, 54, 56, 57, 63, 65, 70, 72, 73, 74, 76, 78, 81, 84, 90, 91, 95, 97... (sequence A051913 in the <a href="/facts/On-Line_Encyclopedia_of_Integer_Sequences/yow6cVsU">OEIS</a>)
The set of n for which a regular n-gon has no solid construction is the sequence

<a href="/facts/Hendecagon/FFdXrqzl">11</a>, <a href="/facts/Icosidigon/eP6APpFk">22</a>, <a href="/facts/Icositrigon/BYXeYxm3">23</a>, 25, 29, 31, 33, 41, 43, 44, 46, 47, 49, 50, 53, 55, 58, 59, 61, 62, 66, 67, 69, 71, 75, 77, 79, 82, 83, 86, 87, 88, 89, 92, 93, 94, 98, 99, 100... (sequence A048136 in the <a href="/facts/On-Line_Encyclopedia_of_Integer_Sequences/yow6cVsU">OEIS</a>)
Like the question with Fermat primes, it is an open question as to whether there are an infinite number of Pierpont primes.

<h3>Angle trisection</h3>
What if, together with the straightedge and compass, we had a tool that could (only) trisect an arbitrary angle? Such constructions are solid constructions, but there exist numbers with solid constructions that cannot be constructed using such a tool. For example, we cannot double the cube with such a tool.<a class="footnote-ref" id="fnref:28" href="#fn:28">28</a> On the other hand, every regular n-gon that has a solid construction can be constructed using such a tool.

<h3>Origami</h3>
Main article: <a href="/facts/Huzita%25E2%2580%2593Hatori_axioms/GYwxGwCt">Huzita–Hatori axioms</a>
The <a href="/facts/Mathematics_of_paper_folding/Kfw9MCtU">mathematical theory of origami</a> is more powerful than straightedge-and-compass construction. Folds satisfying the Huzita–Hatori axioms can construct exactly the same set of points as the extended constructions using a compass and conic drawing tool. Therefore, <a href="/facts/Origami/anFEky9j">origami</a> can also be used to solve cubic equations (and hence quartic equations), and thus solve two of the classical problems.<a class="footnote-ref" id="fnref:29" href="#fn:29">29</a>

<h3>Markable rulers</h3>
Main article: <a href="/facts/Neusis_construction/teuATjxg">Neusis construction</a>
<a href="/facts/Archimedes/sIeMhSVF">Archimedes</a>, <a href="/facts/Nicomedes_(mathematician)/mNhUJ95P">Nicomedes</a> and <a href="/facts/Apollonius_of_Perga/DgpSjkcW">Apollonius</a> gave constructions involving the use of a markable ruler. 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 the two given lines, 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.
In this expanded scheme, we can trisect an arbitrary angle (see <a href="http://www.cut-the-knot.org/pythagoras/archi.shtml">Archimedes' trisection</a>) or extract an arbitrary cube root (due to Nicomedes). Hence, any distance whose ratio to an existing distance is the solution of a <a href="/facts/Cubic_equation/Eqm3HCMx">cubic</a> or a <a href="/facts/Quartic_equation/SjjtXkHL">quartic equation</a> is constructible. Using a markable ruler, regular polygons with solid constructions, like the <a href="/facts/Heptagon/b0qIVNhY">heptagon</a>, are constructible; and <a href="/facts/John_H._Conway/g3PA1zoK">John H. Conway</a> and <a href="/facts/Richard_K._Guy/shtfXH4N">Richard K. Guy</a> give constructions for several of them.<a class="footnote-ref" id="fnref:30" href="#fn:30">30</a>
The neusis construction is more powerful than a conic drawing tool, as one can construct complex numbers that do not have solid constructions. In fact, using this tool one can solve some <a href="/facts/Quintic/oeNDGj9l">quintics</a> that are <a href="/facts/Abel%25E2%2580%2593Ruffini_theorem/tEFaRGvW">not solvable using radicals</a>.<a class="footnote-ref" id="fnref:31" href="#fn:31">31</a> It is known that one cannot solve an irreducible polynomial of prime degree greater or equal to 7 using the neusis construction, so it is not possible to construct a regular 23-gon or 29-gon using this tool. Benjamin and Snyder proved that it is possible to construct the regular 11-gon, but did not give a construction.<a class="footnote-ref" id="fnref:32" href="#fn:32">32</a> It is still open as to whether a regular 25-gon or 31-gon is constructible using this tool.

<h3>Trisect a straight segment</h3>

Given a straight line segment called AB, could this be divided in three new equal segments and in many parts required by the use of <a href="/facts/Intercept_theorem/zrBsVL2P">intercept theorem</a>.

<h2 id="computation-of-binary-digits">Computation of binary digits</h2>
In 1998 <a href="/facts/Simon_Plouffe/JeISXKeT">Simon Plouffe</a> gave a ruler-and-compass <a href="/facts/Algorithm/fnl5NmRt">algorithm</a> that can be used to compute <a href="/facts/Binary_digit/S972NSaD">binary digits</a> of certain numbers.<a class="footnote-ref" id="fnref:33" href="#fn:33">33</a>
The algorithm involves the repeated doubling of an angle and becomes physically impractical after about 20 binary digits.

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Carlyle_circle/sJl7t8z6">Carlyle circle</a></li>
<li><a href="/facts/Geometric_cryptography/cjYnfuhJ">Geometric cryptography</a></li>
<li><a href="/facts/Geometrography/z1kURFf1">Geometrography</a></li>
<li><a href="/facts/List_of_interactive_geometry_software/QJgHTbyd">List of interactive geometry software</a>, most of them show straightedge-and-compass constructions</li>
<li><a href="/facts/Mathematics_of_paper_folding/Kfw9MCtU">Mathematics of paper folding</a></li>
<li><a href="/facts/Underwood_Dudley/TgF7bstl">Underwood Dudley</a>, a mathematician who has made a sideline of collecting false straightedge-and-compass proofs.</li></ul>

<h2 id="external-links">External links</h2>
<ul><li><a href="http://mathforum.org/dr.math/faq/formulas/faq.regpoly.html">Regular polygon constructions</a> by Dr. Math at The Math Forum @ Drexel</li>
<li><a href="http://www.cut-the-knot.org/do_you_know/compass.shtml">Construction with the Compass Only</a> at <a href="/facts/Cut-the-knot/WLgV43jd">cut-the-knot</a></li>
<li><a href="http://www.cut-the-knot.org/Curriculum/Geometry/Hippocrates.shtml">Angle Trisection by Hippocrates</a> at cut-the-knot</li>
<li><a href="/facts/Eric_W._Weisstein/FbMuVDep">Weisstein, Eric W.</a> <a href="https://mathworld.wolfram.com/AngleTrisection.html">"Angle Trisection"</a>. <a href="/facts/MathWorld/yc1jodbq">MathWorld</a>.</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1">Godfried Toussaint, "A new look at Euclid’s second proposition," The Mathematical Intelligencer, Vol. 15, No. 3, (1993), pp. 12-24. <a href="#fnref:1" class="footnote-back-ref">↩</a></li>
<li id="fn:2">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:2" class="footnote-back-ref">↩</a></li>
<li id="fn:3">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:3" class="footnote-back-ref">↩</a></li>
<li id="fn:4">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:4" class="footnote-back-ref">↩</a></li>
<li id="fn:5">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:5" class="footnote-back-ref">↩</a></li>
<li id="fn:6">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:6" class="footnote-back-ref">↩</a></li>
<li id="fn:7">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:7" class="footnote-back-ref">↩</a></li>
<li id="fn:8">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:8" class="footnote-back-ref">↩</a></li>
<li id="fn:9">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:9" class="footnote-back-ref">↩</a></li>
<li id="fn:10">Wantzel, Pierre-Laurent (1837). "Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas" (PDF). Journal de Mathématiques Pures et Appliquées. 1. 2: 366–372. Retrieved 3 March 2014. <a href="http://sites.mathdoc.fr/JMPA/PDF/JMPA_1837_1_2_A31_0.pdf" target="_blank">http://sites.mathdoc.fr/JMPA/PDF/JMPA_1837_1_2_A31_0.pdf</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></li>
<li id="fn:11">Kazarinoff, Nicholas D. (2003) [1970]. Ruler and the Round. Mineola, N.Y.: Dover. pp. 29–30. ISBN 978-0-486-42515-3. <a href="978-0-486-42515-3" target="_blank">978-0-486-42515-3</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></li>
<li id="fn:12">Bold, Benjamin. Famous Problems of Geometry and How to Solve Them, Dover Publications, 1982 (orig. 1969). <a href="#fnref:12" class="footnote-back-ref">↩</a></li>
<li id="fn:13">Wantzel, Pierre-Laurent (1837). "Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas" (PDF). Journal de Mathématiques Pures et Appliquées. 1. 2: 366–372. Retrieved 3 March 2014. <a href="http://sites.mathdoc.fr/JMPA/PDF/JMPA_1837_1_2_A31_0.pdf" target="_blank">http://sites.mathdoc.fr/JMPA/PDF/JMPA_1837_1_2_A31_0.pdf</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></li>
<li id="fn:14">Weisstein, Eric W. "Trigonometry Angles--Pi/17". MathWorld. <a href="/wiki/Eric_W._Weisstein" target="_blank">/wiki/Eric_W._Weisstein</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></li>
<li id="fn:15">Stewart, Ian. Galois Theory. p. 75. <a href="#fnref:15" class="footnote-back-ref">↩</a></li>
<li id="fn:16">"Squaring the circle". www-gap.dcs.st-and.ac.uk/. J J O'Connor and E F Robertson. Archived from the original on 25 June 2017. <a href="http://web.archive.org/web/20170625130837/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Squaring_the_circle.html" target="_blank">http://web.archive.org/web/20170625130837/http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Squaring_the_circle.html</a> <a href="#fnref:16" class="footnote-back-ref">↩</a></li>
<li id="fn:17">Instructions for trisecting a 72˚ angle. <a href="https://commons.wikimedia.org/wiki/File:Trisection_of_a_72_degree_angle_revised.svg" target="_blank">https://commons.wikimedia.org/wiki/File:Trisection_of_a_72_degree_angle_revised.svg</a> <a href="#fnref:17" class="footnote-back-ref">↩</a></li>
<li id="fn:18">Azad, H., and Laradji, A., "Some impossible constructions in elementary geometry", Mathematical Gazette 88, November 2004, 548–551. <a href="#fnref:18" class="footnote-back-ref">↩</a></li>
<li id="fn:19">Neumann, Peter M. (1998), "Reflections on Reflection in a Spherical Mirror", American Mathematical Monthly, 105 (6): 523–528, doi:10.1080/00029890.1998.12004920, JSTOR 2589403, MR 1626185 <a href="/wiki/Peter_M._Neumann" target="_blank">/wiki/Peter_M._Neumann</a> <a href="#fnref:19" class="footnote-back-ref">↩</a></li>
<li id="fn:20">Highfield, Roger (1 April 1997), "Don solves the last puzzle left by ancient Greeks", Electronic Telegraph, 676, archived from the original on November 23, 2004, retrieved 2008-09-24 <a href="https://web.archive.org/web/20041123051228/http://www.telegraph.co.uk/htmlContent.jhtml?html=%2Farchive%2F1997%2F04%2F01%2Fngre01.html" target="_blank">https://web.archive.org/web/20041123051228/http://www.telegraph.co.uk/htmlContent.jhtml?html=%2Farchive%2F1997%2F04%2F01%2Fngre01.html</a> <a href="#fnref:20" class="footnote-back-ref">↩</a></li>
<li id="fn:21">Kazarinoff, Nicholas D. (2003) [1970]. Ruler and the Round. Mineola, N.Y.: Dover. pp. 29–30. ISBN 978-0-486-42515-3. <a href="978-0-486-42515-3" target="_blank">978-0-486-42515-3</a> <a href="#fnref:21" class="footnote-back-ref">↩</a></li>
<li id="fn:22">Pascal Schreck, Pascal Mathis, Vesna Marinkoviċ, and Predrag Janičiċ. "Wernick's list: A final update", Forum Geometricorum 16, 2016, pp. 69–80. http://forumgeom.fau.edu/FG2016volume16/FG201610.pdf Archived 2016-04-08 at the Wayback Machine <a href="http://forumgeom.fau.edu/FG2016volume16/FG201610.pdf" target="_blank">http://forumgeom.fau.edu/FG2016volume16/FG201610.pdf</a> <a href="#fnref:22" class="footnote-back-ref">↩</a></li>
<li id="fn:23">Posamentier, Alfred S., and Lehmann, Ingmar. The Secrets of Triangles, Prometheus Books, 2012. <a href="/wiki/The_Secrets_of_Triangles" target="_blank">/wiki/The_Secrets_of_Triangles</a> <a href="#fnref:23" class="footnote-back-ref">↩</a></li>
<li id="fn:24">Avron, Arnon (1990). "On strict strong constructibility with a compass alone". Journal of Geometry. 38 (1–2): 12–15. doi:10.1007/BF01222890. S2CID 1537763. <a href="/wiki/Arnon_Avron" target="_blank">/wiki/Arnon_Avron</a> <a href="#fnref:24" class="footnote-back-ref">↩</a></li>
<li id="fn:25">T.L. Heath, "A History of Greek Mathematics, Volume I" <a href="#fnref:25" class="footnote-back-ref">↩</a></li>
<li id="fn:26">P. Hummel, "Solid constructions using ellipses", The Pi Mu Epsilon Journal, 11(8), 429 -- 435 (2003) <a href="#fnref:26" class="footnote-back-ref">↩</a></li>
<li id="fn:27">Knorr, Wilbur R. (1989), "On Archimedes' construction of the regular heptagon", Centaurus, 32 (4): 257–271, doi:10.1111/j.1600-0498.1989.tb00848.x, MR 1078083 <a href="/wiki/Wilbur_Knorr" target="_blank">/wiki/Wilbur_Knorr</a> <a href="#fnref:27" class="footnote-back-ref">↩</a></li>
<li id="fn:28">Gleason, Andrew:
"Angle trisection, the heptagon, and the triskaidecagon",
Amer. Math. Monthly 95 (1988), no. 3, 185-194. <a href="/wiki/Andrew_Gleason" target="_blank">/wiki/Andrew_Gleason</a> <a href="#fnref:28" class="footnote-back-ref">↩</a></li>
<li id="fn:29">Row, T. Sundara (1966). Geometric Exercises in Paper Folding. New York: Dover. <a href="/wiki/Geometric_Exercises_in_Paper_Folding" target="_blank">/wiki/Geometric_Exercises_in_Paper_Folding</a> <a href="#fnref:29" class="footnote-back-ref">↩</a></li>
<li id="fn:30">Conway, John H. and Richard Guy: The Book of Numbers <a href="/wiki/The_Book_of_Numbers_(math_book)" target="_blank">/wiki/The_Book_of_Numbers_(math_book)</a> <a href="#fnref:30" class="footnote-back-ref">↩</a></li>
<li id="fn:31">A. Baragar, "Constructions using a Twice-Notched Straightedge", The American Mathematical Monthly, 109 (2), 151 -- 164 (2002). <a href="#fnref:31" class="footnote-back-ref">↩</a></li>
<li id="fn:32">Benjamin, Elliot; Snyder, C. (2014). "On the construction of the regular hendecagon by marked ruler and compass". Mathematical Proceedings of the Cambridge Philosophical Society. 156 (3): 409–424. doi:10.1017/S0305004113000753. <a href="/wiki/Mathematical_Proceedings_of_the_Cambridge_Philosophical_Society" target="_blank">/wiki/Mathematical_Proceedings_of_the_Cambridge_Philosophical_Society</a> <a href="#fnref:32" class="footnote-back-ref">↩</a></li>
<li id="fn:33">Simon Plouffe (1998). "The Computation of Certain Numbers Using a Ruler and Compass". Journal of Integer Sequences. 1: 13. Bibcode:1998JIntS...1...13P. ISSN 1530-7638. <a href="http://www.cs.uwaterloo.ca/journals/JIS/compass.html" target="_blank">http://www.cs.uwaterloo.ca/journals/JIS/compass.html</a> <a href="#fnref:33" class="footnote-back-ref">↩</a></li>
</ol>

Straightedge and compass construction open-in-new

Straightedge and compass construction