Talk:Constructible number

message: In the table at the end, in the row about trisecting an angle, the"counterexample" does not match the "associated set of numbers", i.e. it is not obviously a counterexample.  Could one of the authors correct this?
e^(2πi) / 7 is not constructible, because 7 is not a Fermat prime
This can lead to confusion, because its not a necesarely condition that n should be a fermat prime in order to a regular n-gon to be constructible.
A regular 15-gon is constructible, cause
cos(2pi/15) is constructible, but 15 is not a fermat prime
:You are correct. But 15 is the product of the two Fermat primes 3 and 5. 7 is neither a Fermat prime nor the product of 2^n and one or more Fermat primes (the only known ones being 3, 5, 17, 257 and 65,537). I've edited the main article accordingly. --Glenn L (talk) 05:50, 13 April 2010 (UTC)

message: What is a "fixed" coordinate system? Our article on coordinate systems lists many systems. Could we fix the system to bipolar coordinates? Even if we have the standard Cartesian system, how does that impact the rules for what is allowed in construction with Straightjacket & Compassion? And next, what does it mean for a point to be constructible from the axes? It is all very unclear.
Why not simply define a constructible point as a point that can be constructed with S&C, starting from two given distinct points. Then we can define constructible complex numbers as those whose points in the complex plane are constructible when the given starter points are (0,0) and (1,0).
Comments?  --Lambiam 13:03, 31 January 2008 (UTC)
replies: text: This introduction has some real problems. It seems to me to be a mish-mash of synthetic and coordinate geometry. From the synthetic point of view, one doesn't talk about constructible points, but rather constructible lengths since there is no "origin" (a coordinate concept) to relate a point's position to. On the other hand, if you assume coordinate axes then you already have all real number lengths and every point is construcible. I notice that there are no references for this approach and I am willing to assume that it is all OR and needs to be removed. --Bill Cherowitzo  (talk) 04:06, 27 May 2017 (UTC)

text: See "Clean-up" section below. --Bill Cherowitzo  (talk) 18:55, 28 May 2017 (UTC)
thread_title:  Unclear definition 

message: It's possible that you can construct line ABC which AC=2^(1/4)*AB. 220.255.2.63 (talk) 03:48, 30 October 2011 (UTC)
thread_title:  Fourth Root of 2 

message: The number 2^(1/3) can be constructed if the ruler is used in a certain way:  
http://demonstrations.wolfram.com/ConstructingTheCubeRootOfTwo/  
Jan Burse (talk) 22:35, 3 October 2016 (UTC)
thread_title:  Other Tools other Numbers 

message: In the geometric part it says:
"The geometric definition of a constructible point is as follows. First, for any two distinct points P and Q in the plane, let L(P, Q ) denote the unique line through P and Q, and let C (P, Q ) denote the unique circle with center P, passing through Q. (Note that the order of P and Q matters for the circle.) By convention, L(P, P ) = C (P, P ) = {P }. Then a point Z is constructible from E, F, G and H if either"
I dont get this part:
"...By convention, L(P, P ) = C (P, P ) = {P }. Then a point Z is constructible from E, F, G and H if either"
what does L(P, P ) = C (P, P ) = {P } mean? (Ive never seen such notation. Is L(P, P ) a line connecting P to itself?)
Where do the points Z,E,F,G and H suddenly come from?  — Preceding unsigned comment added by 2A02:8108:1A00:3000:94FE:109A:4DE0:2BB2 (talk) 00:32, 27 May 2017 (UTC)
replies: text: This is poorly phrased and is probably WP:OR. I'll try to come up with something to replace it with in a few days. --Bill Cherowitzo  (talk) 04:10, 27 May 2017 (UTC)

text: See clean-up section below.--Bill Cherowitzo  (talk) 18:55, 28 May 2017 (UTC)
thread_title:  meaning of notation in geometric part not clear 

message: While attempting a clean-up of this page and the introduction of some references I decided to remove the statements about the complex numbers. The extension to the complexes is trivial once one has a coordinate plane and there does not seem to be any advantage to viewing things this way. Also, I could find no references that supported this viewpoint. If I am wrong, or being too harsh, and someone can provide references, I'll be happy to reinsert that material. --Bill Cherowitzo  (talk) 18:51, 27 May 2017 (UTC)
replies: text: I thinking keeping the bulk of the complex article free of complex numbers might be good idea, there reason why they nevertheless often occur in sources is probably due to some textbooks base their treatment/description of geometry on the complex number plane.--Kmhkmh (talk) 11:38, 1 June 2017 (UTC)
thread_title:  Clean-up 

message: I've added illustrations on commons (and an assocaited category) for multiplication, inverse and root construction (one identical to the recently added one and one based on the pythagoras/cathetus theorem).--Kmhkmh (talk) 11:18, 1 June 2017 (UTC)
replies: text: P.S. I added the geometric mean theorem to the existing illustration, that is based on it. It might be also a good idea to mention it in the article's normal text as well as the intercept theorem that can be used for mutliplication and the inverse.--Kmhkmh (talk) 11:22, 1 June 2017 (UTC)
thread_title: More illustrations

message: •The powers of two
 •The Fermat primes, prime numbers that are one plus a power of two
 •The products of powers of two and any number of distinct Fermat primes.
The second and third bullet points are apart. This does not necessarily mean that one of them is not a particular  case of the other.
For if we assume "distinct Fermat primes" , encompasses one Fermat prime number appearing on its own , then when one Fermat prime number multiplies 2 to the power of 0 , it is a Fermat prime ; which is the condition of the value of n in bullet point two.
Perhaps therefore the use of the word , "distinct" , should be clarified .
Post Script. I have mentioned something similar on the talk page of Constructible polygon.EuclidIncarnated (talk) 23:49, 27 April 2024 (UTC)
replies: text: I think it is clearer to keep the bullets separated, concise, and under some interpretations overlapping, than to be pedantic and make the text much more WP:TECHNICAL in order to make them unambiguously cover disjoint sets. What is the point of disjointness here? —David Eppstein (talk) 00:12, 28 April 2024 (UTC)
replies: text: There is no real necessity for disjointedness here ; I am not necessarily suggesting we should only have two bullet points. By giving three bullet points it could be misinterpreted that they are all separate conditions. Which could lead to an erogenous interpretation of the word distinct. All I am suggesting is a clearer meaning of the word distinct. I have raised this in Wikipedia talk:WikiProject Mathematics  under the section titled "Distinct" definition ; as it is not a problem just to this page. EuclidIncarnated (talk) 14:13, 28 April 2024 (UTC)
replies: text: The problem has been sorted in the Wikipedia talk:WikiProject Mathematics page and there does not seem to be any reason to edit this page, thank you for your contributions. EuclidIncarnated (talk) 18:16, 28 April 2024 (UTC)

text: I suspect that rather than erogenous you meant erroneous. —David Eppstein (talk) 18:47, 28 April 2024 (UTC)
replies: text: Yes I did mean erroneous , thank you for bringing that to my attention ; a very amusing misspelling. EuclidIncarnated (talk) 19:34, 28 April 2024 (UTC)
thread_title:  Constructibility of ,cosine or sine, of 2 pi over n