In fact, the only solutions to: cos(algebraic * pi) = algebraic are of the form: cos(rational * pi) = algebraic Proof: -------- It is clear that cos(algebraic * pi) and exp(algebraic * (pi i)) are algebraically dependent, so we can consider the equivalent problem to find solutions to: exp(algebraic * (pi i)) = different algebraic which rearranges to: (-1)^algebraic = different algebraic By Gelfond-Schneider, this occurs only when the exponent is rational. -------- Clearly the converse is also true, so the algebraic numbers x for which cos(x * pi) is also algebraic are precisely the rationals. Sincerely, Adam P. Goucher
Sent: Tuesday, August 04, 2015 at 8:23 PM From: "Fred Lunnon" <fred.lunnon@gmail.com> To: math-fun <math-fun@mailman.xmission.com> Subject: Re: [math-fun] Offset Somsky Gears, coaxial offset
Before this intrusion of ineptitude risks the moral endangerment of any further tender young minds, I feel obliged to point out the logical inequivalence between the statements cos(rational * 2pi) = algebraic ! and arccos(rational) = algebraic * 2pi ? --- the second of which is in general (to put it mildly) problematic.
Those remaining in doubt about the matter should reflect upon the kindergarten fact arccos(1/3) = dihedral angle of regular tetrahedron, the expression of which as an algebraic angle ought to be worth a Fields at least!
Fred Lunnon
On 8/3/15, Warren D Smith <warren.wds@gmail.com> wrote:
Boy am I confused. You have non-algebraic equations with suspected algebraic roots? If they're algebraic, I don't need any decimal places at all. --Bill Gosper
--Answer (WDS): I showed how the non-algebraic equations involving arctrig, could be restated in a way involving integer powers of complex numbers (with coordinates inside the complexes involving square roots). So then really, they are algebraic equations in disguise. And then yes, you do not need any decimals at all to know algebraic.
Furthermore in an early post I explored general bipartite-planar gear-circle-contact graphs, and the equations there are just about distances, which are of course algebraic functions.
-- Warren D. Smith http://RangeVoting.org <-- add your endorsement (by clicking "endorse" as 1st step)
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun