Wikipedia tells me that the 11-gon was found to be neusis constructible in 2014, and the link given doesn't seem to be a crank, but the actual method is behind a paywall. (Interestingly, the page itself states positively that the 41-gon and 61-gon are not neusis constructible, which I would think would follow.) While looking for more details, I stumbled upon these lecture notes that purport to prove that any neusis-constructible length can be found in a Galois extension of $\Bbb Q$ of dimension $2^a3^b$, which would seemingly preclude the edge of an 11-gon. So I was just wondering, who is right? If the lecture notes linked are wrong, where are they wrong? If the lecture notes are right, how did the error in Benjamin and Snyder get to such a high level, and if anyone is familiar with their work, what was it?
2026-03-27 06:10:20.1774591820
Neusis construction of the 11-gon?
938 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in PROOF-VERIFICATION
- how is my proof on equinumerous sets
- Existence of a denumerble partition.
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- Calculating probabilities using Markov chains.
- Solution to a hard inequality
- Given a function, prove that it's injective
- Is the following set open/closed/compact in the metric space?
- Surjective function proof
- Possible Error in Dedekind Construction of Stillwell's Book
- Proving dual convex cone property
Related Questions in GALOIS-THEORY
- Fixed points of automorphisms of $\mathbb{Q}(\zeta)$
- A weird automorphism
- $S_3$ action on the splitting field of $\mathbb{Q}[x]/(x^3 - x - 1)$
- Question about existence of Galois extension
- Prove that K/L is a Galois extension
- discriminant and irreducibility of $x^p - (p+1)x - 1$
- galois group of irreducible monic cubic polynomial
- Proof of normal basis theorem for finite fields
- Regular inverse Galois problem for Q(t)
- When a certain subfield of $\mathbb{C}(x,y^2)$ is Galois
Related Questions in GEOMETRIC-CONSTRUCTION
- Construction of a graph from cycle $C_6$ and $C_7$ with specific properties (of specific eccentricities)
- Sequence of folds for finding intersection of two circles, given centers/radii
- Construct a triangle given a height, his base and the opposite angle
- Given the angles and diagonals of a quadrilateral, construct the quadrilateral using only a straightedge, a pencil, and a compass
- Proof of construction of inscribed regular hexagon
- Geometrically construct sides on cube
- When are we supposed to use 'constructions' in mathematical geometery proofs?
- Ruler and compass construction field extension
- What is this "easy application of the Pythagorean theorem"?
- Make a 60° angle on line $l$
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
You can find some good slides of one of the author about this here
My understanding is this:
Unmarked ruler - usual theory, only some extensions of degree $2^n$ can be done.
Marked Ruler but **only allowed to use marks on lines **, only some extensions of degree $2^n3^m$ can be done.
But, if one allows the use of the marks between circles, or between a line and a circle, more is possible.
I think they prove that with marks allowed between a lines or between a line and a circle (but not between two circles) they can do a construction if and only if the intermediate degrees are up to degree 6. That means that some extensions of the form $2^n3^m5^k$ are doable.