Can we Construct an Exact Segment of Value \sqrt(n) for Any Natural Number n?

  • Thread starter Thread starter tpm
  • Start date Start date
Click For Summary
The discussion centers on the feasibility of constructing exact segments of length √n and n^(1/m) using only a ruler and compass for any natural number n. It is established that while √n can be constructed if it satisfies a quadratic equation, general cases of n^(1/m) can only be constructed when m is a power of two. The concept of "constructible" numbers is introduced, defined as algebraic numbers that satisfy irreducible polynomial equations of degree that is a power of two. The impossibility of trisecting angles is also highlighted, using the example of cos(20 degrees, which is algebraic of order 3, thus not constructible. Overall, the discussion emphasizes the limitations imposed by the algebraic nature of numbers in geometric constructions.
tpm
Messages
67
Reaction score
0
coud we find using rule and compass :Confused: an exact segment of value:

\sqrt (n) for every natural number n

- the same but for n^{1/m} where n and m are positive integers

- given a segment of length a known can we find an exact segment of length a 2^{-1/2}

for the case m=2 using Pythagorean theorem is easy to find but what about the other cases.
 
Physics news on Phys.org
It is quite possible to take the square root of a number, and use the four arithmetic functions. However, everything by ruler and compass is equivalent to solving linear and quadratic equations.

In general we can not find for integers, N &M, N^(1/M).
 
Last edited:
More generally, "constructible" numbers are those that are algebraic of order a power of two- that is, that they satisfy an irreducible polynomial equation with integer coefficients of degree a power of 2 (1, 2, 4, 8, etc.).
\sqrt{n} satisfies the equation x2- n= 0 and so is either algebraic of order 2 (if x2- n is irreducible- cannot be factored with integer coefficients) or algebraic of order 1: both of which are powers of two.
We can construct a segment of length n^{1/m} if and only if m is a power of two.

That, by the way, is the reason we can't trisect all angles. cos(20 degrees) satisfies the irreducible polynomial equation 8x3- 6x- 1= 0: it is algebraic of order 3 and so is not "constructible". It's easy to construct a 60 degree angle: give an unit length, strike arcs of that length from each end point and draw the line from one end point to a point of intersection of those arcs. IF it were possible to trisect that 60 degree angle, it would be possible to construct a 20 degree angle. Now strike of a unit length on one leg of that angle and drop a perpendicular to the other. You would have constructed a segment of length cos(20) which is impossible.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 33 ·
2
Replies
33
Views
2K
  • · Replies 26 ·
Replies
26
Views
852
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
906
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 29 ·
Replies
29
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
12
Views
2K
  • · Replies 15 ·
Replies
15
Views
5K