Fact-checked by Grok 2 weeks ago

Neusis construction

Neusis construction, derived from the term νεῦσις meaning "verging" or "inclining," is a geometric that employs a marked or , which is slid and rotated until specified marks on it align with given lines or points in the plane, thereby allowing the location of a new point that satisfies particular intersection conditions. This method extends the classical rules of , which limit constructions to an unmarked and , by permitting the dynamic adjustment of a marked to "verge" between two lines through a fixed point. Unlike standard constructions that generate only extensions of the rational numbers, neusis enables the extraction of cube roots and solutions to cubic equations, making it a powerful tool for solving two of the three famous problems of : and . The origins of neusis construction trace back to mathematicians in the 3rd century BCE, with notable contributions from figures such as Nicomedes, who developed the conchoid curve as a mechanical aid for performing neuses, particularly for (the Delian problem of constructing a with twice the volume of a given ). employed neusis to trisect arbitrary angles and to construct the regular , demonstrating its versatility in solving problems deemed impossible under constraints, as later proven rigorously by Pierre Wantzel in 1837 using . also utilized a neusis-based approach for cube duplication, involving the adjustment of segments to achieve proportional ratios that yield the required cubic extension. These constructions were documented in works like Eutocius's commentaries on and preserved through translations, highlighting neusis as a bridge between theoretical and practical in Hellenistic . Beyond its classical applications, neusis construction influenced medieval Islamic , where scholars like Thabit ibn Qurra translated and adapted Greek methods for creating intricate ornamental patterns, such as heptagonal tilings, under the term "moving geometry." In modern contexts, it has been analyzed for its algebraic power, equivalent to constructions in generating real cube roots and certain higher-degree extensions, and implemented in dynamic software to explore non-Euclidean problems. examples include trisecting an by verging a marked from one ray to another through a point on the angle's bisector, or constructing regular polygons like the 9-gon and 13-gon via iterative neuses. Overall, neusis represents a historically significant relaxation of construction rules that expanded the scope of solvable geometric problems while underscoring the ' pursuit of precision in mathematical inquiry.

Fundamentals

Definition

Neusis construction is a geometric method that utilizes a , or marked , with two points separated by a predetermined fixed to determine specific points in a . The technique involves maneuvering the ruler through a of and —often described as sliding and pivoting—such that one mark aligns with a given line or , the other mark aligns with another given line or , and the body of the ruler passes through a designated point. This process allows for the creation of points that cannot be achieved using only an unmarked and under classical rules. Neusis construction is also known as a verging construction. The etymology of "neusis" comes from the term νεῦσις (neûsis), meaning "inclination" or "tilting," which captures the essence of inclining the marked segment to fit precisely between the target elements and the pivot point. Algebraically, neusis constructions allow the solution of cubic equations, enabling field extensions beyond the ones achievable with and . A fundamental illustration of neusis is the construction of a segment whose equals the of a given , such as finding \sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{a} for some a. In this setup, the marked , with marks separated by distance a, is adjusted between a straight line and a of appropriate until one mark rests on the line, the other on the , and the intersects a fixed point, yielding the desired at the alignment. This geometric interpretation highlights how the constructed point emerges at the precise intersection where the inclined marked segment satisfies all conditions simultaneously. Ancient Greek mathematicians employed neusis constructions to solve problems deemed impossible with standard tools, such as certain angle divisions and length extractions.

Historical origins

The term neusis, derived from the Greek verb neuein meaning "to incline" or "to verge," refers to the tilting or sliding motion of a marked ruler in geometric constructions, a technique central to its application in . This method emerged among Greek geometers around the 5th century BCE, with possible early roots traceable to (c. 470–410 BCE), who employed neusis-like verging constructions in his work on the quadrature of lunules, reducing complex problems such as the duplication of the cube to finding mean proportionals. ' approach marked an initial systematization of non-compass-and-straightedge techniques, laying groundwork for later developments in solving classical geometric challenges. A pivotal advancement came with Archimedes of Syracuse (c. 287–212 BCE), who integrated neusis into several propositions, notably in his Book of Lemmas for angle trisection and in On Spirals for constructing solid figures, applying the method to insert a segment of given length between lines while passing through a specified point. Archimedes' use of neusis extended to problems like doubling the cube, demonstrating its utility in achieving results unattainable by Euclidean tools alone. Building on this, Nicomedes (c. 280–210 BCE) further mechanized the technique in his treatise on conchoids, inventing the conchoid curve as a mechanical analog to neusis that ensured segments between a line and the curve equaled a fixed length, thereby solving both angle trisection and cube duplication with enhanced precision. The preservation and critique of neusis occurred through Pappus of Alexandria's Mathematical Collection (c. 340 CE), a that cataloged earlier Greek methods, including those of and Nicomedes, while advocating for planar solutions over solid constructions involving neusis. Pappus' work ensured the transmission of these techniques into the Byzantine era and subsequently to Islamic mathematicians, such as Thābit ibn Qurra (c. 836–901 CE), who transmitted Pappus's neusis method for into Arabic, and later figures like Abū Sahl al-Kūhī (c. 940–1000 CE), who incorporated similar verging methods into conic-based trisections, influencing medieval geometric traditions.

Construction method

Procedure

A neusis construction requires a marked , or , with two fixed points separated by a predetermined d, along with a for drawing initial lines and circles if needed. The marked extends traditional tools by permitting sliding and rotation to fit the segment between specified geometric elements. The general procedure unfolds in the following steps:
  1. Using a and unmarked , draw the given lines, , or circles that define the problem, establishing fixed elements such as a directrix line and a catch .
  2. Select the marked with points R and S separated by distance d, and position it so that it passes through a designated pivot point V if required by the construction.
  3. Place one mark, say R, on the fixed directrix line while sliding and rotating the ruler.
  4. Adjust the ruler through trial and error until the other mark S aligns precisely with the catch curve or line, ensuring the segment RS "clicks" into the desired position.
  5. Once aligned, mark the intersection points or relevant positions on the figure to complete the construction.
For illustration, consider equating two segments or fitting a length between a baseline and a perpendicular line: align one end of the marked ruler on the baseline and slide it until the other mark fits exactly on the perpendicular, thereby transferring or equating the distance d. Common challenges include ensuring the uniqueness of the ruler's position, as multiple alignments may occur, necessitating careful verification or iterative adjustments. In practice, mechanical aids like the conchoid of Nicomedes can assist by guiding the sliding motion to avoid pure trial and error. A typical diagram depicts the marked ruler pivoting and translating between a straight directrix line and a circular catch curve: one mark rests on the line while the other touches the circle's circumference, with the ruler's edge intersecting a central point to define the solution locus.

Mathematical basis

In analytic geometry, the neusis construction can be modeled by placing two given lines in the plane, say L_1 and L_2, and seeking a of fixed d that intersects L_1 at point P and L_2 at point Q, while passing through a specified point O not on either line. Assigning coordinates, suppose L_1 is the x-axis and L_2 is another line through the at an angle; the positions of P = (u, 0) and Q = (mv, v) must satisfy with O = (b, c) and the |PQ| = d. This yields equations such as u v - u c + v (m c - b) = 0 for collinearity and (u - m v)^2 + v^2 = d^2 for the , which, after and elimination, reduce to a cubic (or effectively cubic) equation in the variables, solvable by neusis but requiring radicals of degree 3 beyond compass-and-straightedge methods. The degree of constructions enabled by neusis corresponds to the solution of cubic equations, as the implicit in the configuration involves curves of degree 3. Specifically, line-line neusis constructions generate extensions of degree dividing 3 over the base of constructible numbers, allowing the extraction of real cube roots and thus resolving irreducible cubics that are impossible with extensions alone from and . This algebraic power stems from the verging condition, which introduces a transcendental not capturable by solving. A representative example arises in length constructions, such as finding a length x satisfying x^3 = 2a^3 for cube duplication given side a. Using similar triangles in the neusis setup or power of a point, the configuration leads to an auxiliary equation like $4x^4 + 8a x^3 - 8a^3 x - 16a^4 = 0, which factors to $4(x + 2a)(x^3 - 2a^3) = 0, with the real positive root x = a \sqrt{{grok:render&&&type=render_inline_citation&&&citation_id=3&&&citation_type=wikipedia}}{2} obtained via the marked ruler alignment. Neusis constructions are geometrically equivalent to intersecting a line with the conchoid of Nicomedes, a cubic defined as the locus of points at fixed b from a given line, measured along rays from a fixed point (pole) at a from the line. The parametric equations in polar coordinates are r = b + a \sec \theta, or equivalently r = a / \cos \theta + b, where \theta is the angle from the ; the Cartesian form is (x - a)^2 (x^2 + y^2) = b^2 x^2. The desired neusis point is the intersection solving the cubic alignment, confirming the construction's cubic solvability. Uniqueness of solutions depends on the fixed d relative to the between the given lines and point O; for d sufficiently large compared to the geometric elements (e.g., d > |OA| + |OB| where A, B are projections), there exists exactly one such segment in the relevant half-plane, as the function between intersection points is strictly increasing with the ruler's . Multiple solutions may occur for smaller d, corresponding to multiple real roots of the associated cubic.

Applications

Angle trisection

The problem of angle trisection involves dividing a given angle θ into three equal parts, each measuring θ/3, a task proven impossible using only a and unmarked but solvable via neusis construction. ' method employs a marked to perform the neusis, as detailed in Proposition 8 of his Book of Lemmas. Consider angle θ at vertex O formed by rays OA and OB, with OA = OB = r (the adjacent side length). Draw a centered at O with radius r, intersecting OA at A and OB at B. Extend ray OB beyond B. On a , mark a segment of length r. Position the ruler such that one end lies on the extension of OB beyond B, the mark (distance r from that end) lies on ray OA, and the other end of the ruler intersects the at point D. The line OD then forms an angle of θ/3 with ray OB. The geometric outcome relies on isosceles triangle properties within the circle. With the neusis alignment satisfied, triangles ODB and ODA are isosceles (since OD = r, OB = r, and the marked segment equals r), leading to equal base angles. Drawing an arc centered at D with radius equal to the marked segment intersects ray OB at a point E, such that angle ODE measures θ/3; repeating the arc from E yields the full trisection. The proof sketch uses similar triangles formed by the neusis alignment, which geometrically solves the cubic equation derived from the triple-angle formula for cosine: letting x = cos(θ/3), the relation cos θ = 4x³ - 3x yields 4x³ - 3x - cos θ = 0. This irreducible cubic over the rationals for general θ explains the impossibility with Euclidean tools but confirms the neusis provides the real root x via the construction's intersection. A variation is the trisector, a mechanical device embodying ' neusis for practical trisection. Shaped like a with equal segments AB = BC = CD and a of diameter BD, it is positioned such that one is to the at B and the other passes through C; lines from the vertex to B and C then divide the angle into three equal parts, leveraging the same marked-length alignment principle.

Regular polygon construction

Neusis construction allows for the creation of whose side numbers require solving irreducible cubic equations over the rationals, extending beyond the capabilities of and alone. provided exact constructions for the regular and in his Elements, relying on extensions to determine their central angles of 72° and 60°, respectively. In contrast, the regular involves the minimal $8x^3 + 4x^2 - 4x - 1 = 0 for \cos(2\pi/7), while the regular requires solving a similar cubic for \cos(40^\circ), both necessitating neusis to handle the cubic roots. A seminal historical application is François Viète's 1593 neusis construction of the regular heptagon, which uses a to position a segment of fixed length between a and an extended , effectively solving the associated with \cos(2\pi/7). This method begins by extending a of the to a point I such that the ratios satisfy a geometric condition derived from the triple-angle formula, then employs the neusis to locate points that yield the heptagon's vertices through isosceles triangles with specified angle multiples. The integrates implicitly, as the cubic arises from the relation \cos(3\theta) = 4\cos^3\theta - 3\cos\theta applied to \theta = 2\pi/7. In general, neusis facilitates regular polygon construction by enabling successive steps that trisect angles or extract roots of minimal polynomials for the central angles $2\pi/n. For instance, the regular nonagon is obtained by trisecting a 120° angle to produce the required 40° central angle, leveraging the neusis-based trisection procedure to resolve the cubic equation $8x^3 - 6x + 1 = 0 for \cos(40^\circ). This approach builds on the angle trisection capability of neusis, allowing the nonagon's vertices to be marked successively around the circumcircle. Despite these advances, neusis constructions for regular polygons are limited to those whose field extensions involve primarily and cubic degrees, efficiently handling cubics like those for - and 9-gons but requiring more complex multiple neusis operations for higher odd primes such as 11 (quintic degree).

Other geometric problems

Neusis construction provides a solution to the Delian problem of , which requires finding a of length x such that x^3 = 2a^3, where a is the edge of the given . This is achieved by constructing two mean proportionals between segments of lengths a and $2a, effectively extracting the [cube root](/page/Cube_root) of 2 times a. A typical method involves drawing a [semicircle](/page/Semicircle) with [diameter](/page/Diameter) equal to $6a and using a marked with a segment of length $3a$ to verge between the and a straight line, where the intersection point yields the desired length through geometric proportions. Neusis also facilitates the construction of square roots of lengths that are not quadratically constructible with and alone, such as those involving prior cubic extensions. By fitting a marked between given curves or lines, the allows insertion of \sqrt{k} where k incorporates cube roots, extending the constructible field beyond towers. This verging process leverages the marked to solve the positioning that corresponds to the operation in the extended number field. The between two segments can be found using neusis by positioning a marked between two lines erected at the endpoints of the segments. This fitting ensures the marked divides the product proportionally, yielding the mean as the distance from one to the point. Such a is particularly useful when standard methods are insufficient due to prior non-quadratic lengths. For more advanced applications, line-line neusis enables the solution of general cubic equations by adjoining cube roots to the rational field, allowing constructions equivalent to Cardano's formula in geometric terms. This power arises from the verging operation, which corresponds to solving irreducible cubics geometrically. Neusis serves as an to ' quadratrix for inserting segments between curves, as Pappus demonstrated that intersections with the quadratrix can replicate neusis steps for problems like . Archimedes applied neusis constructions in his analysis of spiral lines to approximate areas bounded by the spiral and determine tangent properties. By verging marked segments along spiral paths, he established relations for the area of the first turn as one-third the enclosing , using these to solve related geometric problems without relying solely on exhaustion methods.

Comparisons and legacy

Relation to and

Compass and straightedge constructions, also known as constructions, are limited to solving equations through intersections of lines and circles, generating constructible numbers that lie in field extensions of with degrees that are powers of 2. These tools allow the construction of lengths, , and figures obtainable via repeated extensions, such as regular polygons with sides numbering a Fermat , but cannot resolve problems requiring higher-degree irreducible polynomials. Neusis construction extends this capability by incorporating a marked , which introduces solutions to cubic equations through the verging process, enabling field extensions of degree up to 3 in a tower over . This added power permits constructions impossible with tools alone, such as the trisection of arbitrary angles or the duplication of the cube, by allowing cube roots and thus bridging certain cubic irreducibles. However, neusis does not achieve arbitrary higher-degree extensions without iterative application, limiting it to algebraic numbers of bounded tower degree. Pierre Wantzel's 1837 theorem formalized these limitations, proving that and cube duplication are impossible with compass and straightedge because they require minimal polynomials of degree 3 over , which cannot be embedded in quadratic extension towers. In contrast, neusis overcomes this barrier for cubics, though it remains insufficient for general quintics or higher odd degrees without additional tools. Certain neusis constructions are equivalent to those using conchoids of Nicomedes or specific mechanical linkages, as shown by reductions that preserve the cubic solvability while generally surpassing power. Modern analogs, such as folds or computational tools in CAD software, achieve similar extensions to degree 3, offering hybrid methods that replicate neusis outcomes through folding creases or algorithmic intersections.

Decline and modern relevance

The introduction of by in marked a pivotal shift toward algebraic methods, reducing geometric problems to equations and coordinate systems, which diminished the emphasis on synthetic mechanical constructions like neusis that relied on physical manipulation of tools. Descartes classified certain curves generated by neusis as "mechanical" and unsuitable for rigorous geometry due to their unclear motions, favoring instead those definable by continuous or successive algebraic operations. This algebraic paradigm, further advanced by the development of , prioritized analytical solutions over verging techniques, leading to a gradual decline in the use of neusis in mainstream mathematics by the . In the , experienced a revival through the works of , whose treatise on projective properties emphasized intuitive, non-coordinate proofs that restored interest in figure-based reasoning. However, neusis constructions remained largely overshadowed by the dominant algebraic and projective frameworks, as mathematicians like Poncelet focused on properties invariant under projection rather than marked-ruler techniques. By the late 19th and early 20th centuries, educational curricula in and increasingly prioritized the "purity" of using only and , relegating neusis to historical footnotes amid the rise of analysis and the decline of synthetic methods in undergraduate programs. In modern , neusis constructions are analyzed for their algebraic power, enabling the solution of cubic equations by adjoining cube roots to quadratic extensions of , thus expanding of constructible numbers beyond straightedge-and-compass limits but falling short for quintics or transcendental problems like . This characterization highlights neusis's role in studying computational solvability of geometric problems, where constructions yield points in field extensions of degree $2^b \cdot 3^c over \mathbb{Q}. Educationally, neusis holds value in advanced geometry courses, where interactive software like simulates these constructions to demonstrate constructibility boundaries, such as trisecting angles or duplicating the cube, fostering deeper understanding among undergraduates through hands-on exploration of classical impossibilities. Recent developments since 2000 include algorithmic implementations in dynamic tools, allowing real-time replication of neusis for interactive demonstrations and solving cubics via trigonometric identities or conchoid curves. Further, simulations using model neusis machines as semi-algebraic sets, bridging with computational exactness for tracing transcendental curves like spirals.

References

  1. [1]
    Neusis Construction -- from Wolfram MathWorld
    Neusis Construction. A geometric construction, also called a verging construction, which allows the classical geometric construction rules to be bent in order ...
  2. [2]
    [PDF] Verging Constructions - an ancient beginning of dynamic geometry
    Expression moving geometry frequently occurs in manuscripts of medieval Muslim mathematicians and it is an alternative term for the Greek word neusis (νεῦσις).
  3. [3]
    ac.commutative algebra - Neusis constructions - MathOverflow
    Jul 15, 2010 · Neusis gives the closure of the rationals under square roots and cube roots. For more details, also for an alternate characterization in terms of origami, see ...
  4. [4]
    History of the neusis construction of cube roots?
    Oct 31, 2014 · Nicomedes managed to double the cube with neusis, and also described the conchoid of Nicomedes. ... " It is the locus of points a fixed distance ...
  5. [5]
    [PDF] Ancient Greek Problem: Can we trisect an angle with ruler and ...
    Historical Background. Neusis Construction. Many ancient Greek mathematicians have tried solving angle trisection problems but none of them tried solving it.
  6. [6]
    [PDF] Extending Euclidean constructions with dynamic geometry software
    We show in this article how a neusis construction can be implemented using dynamic geometry software, and give some examples of its use. 1 Introduction.
  7. [7]
    The Marked Ruler | SpringerLink
    Aug 13, 2011 · The characteristic use of the marked ruler is called verging or insertion. ... ” A verging is sometimes called by its Greek name neusis. Although ...
  8. [8]
    [PDF] Abstract Three geometric construction problems—the duplication of ...
    ... Pappus himself did not subscribe to his own rule. He critiques the works of Archimedes and Apollonius, es- pecially the solid construction of Archimedes' neusis ...
  9. [9]
    [PDF] The trisection of the angle. - J.Hogendijk index
    This construction is an example of a type of constructions called neusis in Greek geometry. A neusis is the insertion of a straight segment of given length ...<|separator|>
  10. [10]
    A History of Mathematical Impossibility - Oxford Academic
    The Arabs knew that Archimedes had solved the problem using a neusis construction, so Thābit's construction was considered an improvement. How- ever, as we ...
  11. [11]
    Classic constructions geometry - University of Pittsburgh
    Nov 3, 2021 · A simple extension, attributed to Archimedes, is called neusis. It allows us to maneuver about with a straight edge with distances marked on it.
  12. [12]
    General neusis construction. By trial and error, the ruler is moved...
    I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to ...
  13. [13]
    [PDF] FURTHER INFORMAION ON NEUSIS CONSTRUCTIONS
    Then the coordinates of y and z lie in a finite extension of F obtained by adjoining the roots of a quartic (degree 4) polynomial with coefficients in F. Note.
  14. [14]
    Conchoid of Nicomedes -- from Wolfram MathWorld
    The conchoid of Nicomedes was a favorite with 17th century mathematicians and could be used to solve the problems of cube duplication, angle trisection, ...
  15. [15]
    Angle Trisection -- from Wolfram MathWorld
    In addition, trisection of an arbitrary angle can be accomplished using a marked ruler (a Neusis construction) as illustrated above (Courant and Robbins 1996).Missing: procedure | Show results with:procedure<|control11|><|separator|>
  16. [16]
    Demonstration of the Archimedes' solution to the Trisection problem
    The solution for the angle trisection can be presented in a more straightforward way. Consider the figure shown in the your page. First, extend ray DO until it ...
  17. [17]
    [PDF] Part 3: Cubics, Trigonometric Methods, and Angle Trisection
    is a solution of the cubic equation 4x3 − 3x + 1/2 = 0. We will use the following result: Theorem 2 (Wantzel, 1837). Let P(x) be a cubic polynomial with ...
  18. [18]
    Tomahawk Trisection of an Angle - Wolfram Demonstrations Project
    This Demonstration is based on[1]. The construction violates the Euclidean constraints on the use of only a straight edge and compass; specifically, by drawing ...
  19. [19]
    Regular Heptagon -- from Wolfram MathWorld
    Conway and Guy (1996) give a Neusis construction for the heptagon. In addition, the regular heptagon can be constructed using seven identical toothpicks to form ...Missing: Dürer | Show results with:Dürer
  20. [20]
    Viete's construction of the regular heptagon - Berkeley Math
    One can imagine this construction using a marked ruler: one makes two marks on the ruler at a distance d apart, then slides the ruler so that the marks lie ...Missing: procedure | Show results with:procedure<|separator|>
  21. [21]
    Regular Nonagon -- from Wolfram MathWorld
    ... Neusis construction based on angle trisection. Madachy (1979) illustrates how to construct a nonagon by folding and knotting a strip of paper. Although the ...
  22. [22]
    Archimedes' Neusis‐Constructions in Spiral Lines - Knorr - 1978
    Archimedes' Neusis-Constructions in Spiral Lines. Wilbur R. Knorr,. Wilbur R. Knorr. New School of Liberal Arts, Brooklyn College, Brooklyn, N.Y. 11 210, USA ...
  23. [23]
    [PDF] Constructible numbers: Euclid and beyond - CSUSB ScholarWorks
    It follows that a number is constructible if and only if it is in a tower of quadratic field extensions over the rationals. A quadratic extension, F(y/d) ...Missing: source | Show results with:source
  24. [24]
    A Hierarchy of Geometric Constructions
    ### Summary of Hierarchy of Geometric Constructions
  25. [25]
    Simple proofs: The impossibility of trisection - Math Scholar
    Sep 29, 2018 · The impossibility of trisecting an arbitrary angle was proved earlier, in 1837 ... trisection of the angle π/3 π / 3 or 60 degrees. THEOREM 2: ...
  26. [26]
    A geometric proof of the impossibility of angle trisection ... - Terry Tao
    Aug 10, 2011 · This implies first bisect the angle. Then bisect the bisected angle. Then bisect the first bisected angle and the second bisected angle. Repeat ...
  27. [27]
    Descartes' Mathematics - Stanford Encyclopedia of Philosophy
    Nov 28, 2011 · The neusis postulate was a powerful tool in Viète's problem-solving arsenal: By assuming that the neusis problem could be solved, he expanded ...Missing: decline | Show results with:decline
  28. [28]
    Nineteenth Century Geometry - Stanford Encyclopedia of Philosophy
    Jul 26, 1999 · In the nineteenth century, geometry, like most academic disciplines, went through a period of growth verging on cataclysm.
  29. [29]
    [PDF] The Decline and Rise of Geometry in 20th Century North America
    Over time, this decline reached the point where algebra and analysis became the core areas in the undergraduate curriculum. Geometry was relegated to a service ...
  30. [30]
    Exploring Classical Greek Construction Problems with Interactive ...
    In this book the classical Greek construction problems are explored in a didactical, enquiry based fashion using Interactive Geometry Software.