4 ms·
That we can't square the circle comes from pi being transcendental. The result that you're thinking of is Galois' proof that there is no algebraic formula forro
by btilly 1y ago
That we can't square the circle comes from pi being transcendental. The result that you're thinking of is Galois' proof that there is no algebraic formula forroots of 5th degree polynomials.
- mathgradthrow 1y ago"transcendental" is field language
- btilly 1y agoI've always thought of "transcendental" as number theory language, though I can see how someone could argue that it is field language. But the Galois group of a field extension definitely is field language.
- mathgradthrow 1y agoa field extension is the thing which is transcendental or not.
- cka 1y agoYeah, and constructability is usually handled by proving that a length is constructable if it lives in an iterated quadratic extension of the rationals. Pi does not lie in such an extension, so is not a constructable length (and neither is its square root).