Proving C is the Smallest Constructible Numbers Subfield with a>0 Property

  • Thread starter Thread starter Dragonfall
  • Start date Start date
  • Tags Tags
    Numbers
Dragonfall
Messages
1,023
Reaction score
5

Homework Statement



Show that the field C of constructible numbers is the smallest subfield of R with the property that a\in C, a>0 \Rightarrow \sqrt{a}\in C.

The Attempt at a Solution



Suppose there's a proper subfield of C' of C that has that property, then let a\in C-C'. Somehow I must show that a is actually in C. Perhaps repeated squaring?
 
Physics news on Phys.org
Maybe a different tactic would be useful?

Let C' be the smallest subfield with that property. Can you prove C is a subfield of C', and that C has that property?
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top