![]() | Constructible number has been listed as one of the
Mathematics good articles under the
good article criteria. If you can improve it further,
please do so. If it no longer meets these criteria, you can
reassess it. Review: November 6, 2021. ( Reviewed version). |
![]() | A fact from Constructible number appeared on Wikipedia's
Main Page in the
Did you know column on 24 November 2021 (
check views). The text of the entry was as follows:
| ![]() |
![]() | This ![]() It is of interest to the following WikiProjects: | ||||||||||
|
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
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)
The intro isnt that nice i think. those 2 parts should be merged into one :
old: "A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed with unruled straightedge and compass. A complex number is a constructible number if its corresponding point in the Euclidean plane is constructible from the usual x- and y-coordinate axes.
It can then be shown that a real number r is constructible if and only if, given a line segment of unit length, a line segment of length |r| can be constructed with compass and straightedge.[1] It can also be shown that a complex number is constructible if and only if its real and imaginary parts are constructible."
isnt "constructible from the usual x- and y-coordinate axes." in the above text a fuzzy term? Note: The above version somehow differentiates between point and number. is that differentiation improtant/necessary? in my opinion both are tied so close together one can/should be aware of it and then treat both as somehow the same object.
New suggestion to improve article: "A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed with unruled straightedge and compass. It can be shown that a real number r is constructible if and only if, given a line segment of unit length, a line segment of length |r| can be constructed with compass and straightedge.[1] It can also be shown that a complex number is constructible if and only if its real and imaginary parts are constructible." — Preceding unsigned comment added by 2A02:8108:1A00:3000:94FE:109A:4DE0:2BB2 ( talk) 00:19, 27 May 2017 (UTC)
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)
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)
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)
thanks -- 2A02:8108:1A00:3000:D8B3:7D52:4006:188 ( talk) 01:46, 16 June 2017 (UTC)
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)
I have found a reference for the complex numbers and it seems, the source for most of the problematic parts of this article. I'll add the reference but will reduce the mention of complexes to an aside. Even the source I have doesn't do anything in the complex realm except describe the field extensions in those terms. He needs to restrict to the reals to be compatible with the rest of the literature, so, in keeping with the larger literature, I will stay with the reals and just mention the extension. -- Bill Cherowitzo ( talk) 18:55, 28 May 2017 (UTC)
I've actually found a few more references using the complexes. They are all coming from the algebraic side of things, so I am assuming that some results might be easier to prove in algebraically closed fields. I will look at this more closely as I move on to the section on field extensions. I still see no obvious advantage in describing things using the complexes from the geometric side of this topic, but perhaps my viewpoint will change as I continue to flesh out this article. -- Bill Cherowitzo ( talk) 15:42, 1 June 2017 (UTC)
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)
The result was: promoted by
Kavyansh.Singh (
talk)
13:47, 19 November 2021 (UTC)
Improved to Good Article status by David Eppstein ( talk). Self-nominated at 22:59, 8 November 2021 (UTC).
General: Article is new enough and long enough |
---|
Policy: Article is sourced, neutral, and free of copyright problems |
---|
|
Hook: Hook has been verified by provided inline citation |
---|
|
QPQ: Done. |
Overall:
—valereee (
talk)
18:51, 11 November 2021 (UTC)
Good to go with ALT5. Oh, I like that one much better! That one feels much more inviting!
—valereee (
talk)
12:54, 19 November 2021 (UTC)
•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) EuclidIncarnated ( talk) 18:11, 26 April 2024 (UTC)
![]() | Constructible number has been listed as one of the
Mathematics good articles under the
good article criteria. If you can improve it further,
please do so. If it no longer meets these criteria, you can
reassess it. Review: November 6, 2021. ( Reviewed version). |
![]() | A fact from Constructible number appeared on Wikipedia's
Main Page in the
Did you know column on 24 November 2021 (
check views). The text of the entry was as follows:
| ![]() |
![]() | This ![]() It is of interest to the following WikiProjects: | ||||||||||
|
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
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)
The intro isnt that nice i think. those 2 parts should be merged into one :
old: "A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed with unruled straightedge and compass. A complex number is a constructible number if its corresponding point in the Euclidean plane is constructible from the usual x- and y-coordinate axes.
It can then be shown that a real number r is constructible if and only if, given a line segment of unit length, a line segment of length |r| can be constructed with compass and straightedge.[1] It can also be shown that a complex number is constructible if and only if its real and imaginary parts are constructible."
isnt "constructible from the usual x- and y-coordinate axes." in the above text a fuzzy term? Note: The above version somehow differentiates between point and number. is that differentiation improtant/necessary? in my opinion both are tied so close together one can/should be aware of it and then treat both as somehow the same object.
New suggestion to improve article: "A point in the Euclidean plane is a constructible point if, given a fixed coordinate system (or a fixed line segment of unit length), the point can be constructed with unruled straightedge and compass. It can be shown that a real number r is constructible if and only if, given a line segment of unit length, a line segment of length |r| can be constructed with compass and straightedge.[1] It can also be shown that a complex number is constructible if and only if its real and imaginary parts are constructible." — Preceding unsigned comment added by 2A02:8108:1A00:3000:94FE:109A:4DE0:2BB2 ( talk) 00:19, 27 May 2017 (UTC)
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)
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)
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)
thanks -- 2A02:8108:1A00:3000:D8B3:7D52:4006:188 ( talk) 01:46, 16 June 2017 (UTC)
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)
I have found a reference for the complex numbers and it seems, the source for most of the problematic parts of this article. I'll add the reference but will reduce the mention of complexes to an aside. Even the source I have doesn't do anything in the complex realm except describe the field extensions in those terms. He needs to restrict to the reals to be compatible with the rest of the literature, so, in keeping with the larger literature, I will stay with the reals and just mention the extension. -- Bill Cherowitzo ( talk) 18:55, 28 May 2017 (UTC)
I've actually found a few more references using the complexes. They are all coming from the algebraic side of things, so I am assuming that some results might be easier to prove in algebraically closed fields. I will look at this more closely as I move on to the section on field extensions. I still see no obvious advantage in describing things using the complexes from the geometric side of this topic, but perhaps my viewpoint will change as I continue to flesh out this article. -- Bill Cherowitzo ( talk) 15:42, 1 June 2017 (UTC)
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)
The result was: promoted by
Kavyansh.Singh (
talk)
13:47, 19 November 2021 (UTC)
Improved to Good Article status by David Eppstein ( talk). Self-nominated at 22:59, 8 November 2021 (UTC).
General: Article is new enough and long enough |
---|
Policy: Article is sourced, neutral, and free of copyright problems |
---|
|
Hook: Hook has been verified by provided inline citation |
---|
|
QPQ: Done. |
Overall:
—valereee (
talk)
18:51, 11 November 2021 (UTC)
Good to go with ALT5. Oh, I like that one much better! That one feels much more inviting!
—valereee (
talk)
12:54, 19 November 2021 (UTC)
•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) EuclidIncarnated ( talk) 18:11, 26 April 2024 (UTC)