Subject | Some corrections |
---|---|
Date | Tue, 30 Nov 2000 11:58:44 -0800 (PST) |
By | Ed Fisher |
Alex,
Since I like your site so much, I am inspired to offer some corrections/suggestions.
The concept of "trisectable" is not like "constructible" in the sense that you suggest. Indeed, if two angles are constructible, then their sum or difference is also, SINCE YOU HAVE BOTH ANGLES IN HAND TO WORK WITH. However, if two angles are trisectable, then I see no reason why their sum or difference need be, since, given such a sum (say), you cannot assume that you have the original two angles IN HAND (since they are not necessarily constructible, even from this sum). Hence, you cannot use the two original angles and, by trisecting them, arrive at a trisection of the sum. Thus, I find the following Description misleading:
"The argument is completely general. Let A be a property of angles, such as being constructible or being trisectable. Then, schematically,
A - A = A
which simply says that the difference of two angles with property A also possesses that property. (Which is of course true for A being either constructible or trisectable.)"
In the specific example, π/3 is actually constructible (from nothing), so you cannot construct from it π/21 or 2π/7 in order to do a trisection for π/3 from the ones you (hypothetically) have for them. In other words, I do not see that this argument can be made to work in the example either.
On the other hand, is u a primitive 7th root of unity, then u3 is also
a primitive 7th root of unity (since
I hope I have been clear on this matter. Sorry it rambles on so much. Feel free to ask about anything that was not clear.
Appreciatively,
Ed Fisher
|Contact| |Front page| |Contents| |Up|
Copyright © 1996-2018 Alexander Bogomolny71549726