7
$\begingroup$

Galois obtained necessary and sufficient conditions for an algebraic equation (in one variable) to be solvable by extraction of a chain of square roots. A beautiful application of this is to the problem of solvability of geometric problems by ruler and compass.

My question is, when was the equivalence of ruler and compass solvability and solution by radicals originally identified? Also, who first applied Galois’ results to prove that a regular polygon with a prime number $p$ of sides is constructible by ruler and compass if and only if $p$ is of the form $2^{2n}+1$. (We know that Gauss proved the “if” part, and that the same methods can be used to prove the impossibility of trisecting an angle and doubling a cube.)

$\endgroup$
2
  • $\begingroup$ I'm virtually certain an answer can be found in many of the references on pp. 36-41 of this manuscript, but I don't have time now to look into this. Note that many of those references have URLs to digitized versions that are freely available online. $\endgroup$ Jun 16, 2019 at 23:04
  • $\begingroup$ @DaveLRenfro Thanks for your reference. Luckily my question has been answered here. Interesting paper btw. $\endgroup$
    – nwr
    Jun 17, 2019 at 16:35

2 Answers 2

7
$\begingroup$

The idea of coding ruler and compass constructions algebraically was more or less known to Vieta, as described in Supplementum Geometriae (1593), see Viète's Relevance and his Connection to Euler. It was developed further by Descartes in La Geometrie (1637), where the idea of constructing segment arithmetic (including square roots) geometrically also appears. Gauss was first to investigate the algebraic/geometric correspondence (what we would call) rigorously, and proved that certain regular polygons can be inscribed into the circle by converting the geometric problem into one about the cyclotomic fields (1796). He claimed that only those he described are constructible, but there is no proof in his Nachlass.

The proof was only given by Wantzel in 1837 (along with a proof of the impossibility of trisection), 5 years after Galois' death, although he did not rely on his work, which remained little known for a while. Explicitly, in modern terms, the correspondence between straightedge and compass constructions and quadratic extensions is proved and utilized extensively in Hilbert's Grundlagen der Geometrie (1899). It is based on developing Descartes's segment arithmetic.

$\endgroup$
4
$\begingroup$

There is no "equivalence of ruler and compass solvability and solution by radicals". For example, cubic root of $2$ is evidently a radical but cannot be constructed with a compass and ruler. The relation between construction and solvability in radicals is the following: only those segments can be constructed whose length is expressed by arithmetic operations and extraction of SQUARE roots. The result is due to Gauss, and it pre-dates Galois theory. It was Gauss who determined completely which regular $n$-gons can be constructed with a compass and a ruler.

Ref. Robin Hartshorne, Geometry: Euclid and beyond, Springer-Verlag, New York, 2000.

$\endgroup$
3
  • 2
    $\begingroup$ This result is not due to Gauss, "those" was known before him, "only those" he did not prove. With polygons, he gave a construction of them, but did not prove that only they are constructible. That was done by Wantzel in 1837. $\endgroup$
    – Conifold
    Jun 17, 2019 at 7:27
  • $\begingroup$ No 1:1 equivalence, but isn't it the case that anything constructible w/ compass&straightedge can be expressed algebraically? (Just not the reverse) $\endgroup$ Jun 17, 2019 at 13:27
  • $\begingroup$ Thanks. Yes, I understand that the relationship is with square roots. I did state that in the first paragraph, but I got a bit lazy in the second part by using "radicals". $\endgroup$
    – nwr
    Jun 17, 2019 at 16:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.