Services & Resources / Wolfram Forums / MathGroup Archive

MathGroup Archive 2005

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Re: Re: Types in Mathematica thread

On 8 Dec 2005, at 17:36, Andrzej Kozlowski wrote:

> But if you really have an idea how to deduce that Pi is
> transcendental from the fact that E is then perhaps you might wish to
> prove that E+Pi is transcendental because somehow nobody has so far
> been able to do it.


However; it is amusing that it is trivial to prove that either Pi+E  
or Pi*E is transcendental. (This fact is mentioned on MathWorld, but  
without a proof, and as I just thought of how to do it I could not  
resist posting it, although I am sure many people have seen it).

Consider the polynomial equation

eq = (x - Pi)*(x - E) == 0;

It's roots are Pi and E. If we expand it we get


(Collect[#1, x] & ) /@ ExpandAll[eq]


x^2 + (-E - Pi)*x + E*Pi == 0

so if both E+P and E*P are algebraic so are E and P; a contradiction.  
So at least one of them is transcendental. This is of course unknown.

So once I realised it was so easy to prove I tried:

Assuming[Element[Pi+E,Algebraics],FullSimplify[Element 
[Pi*E,Algebraics]]]

but the answer was disappointing :-(

Andrzej Kozlowski
  • Prev by Date: Re: exponential diophantine equations
  • Next by Date: Re: Skewness problem
  • Previous by thread: Re: Re: Types in Mathematica thread
  • Next by thread: Re: Re: Types in Mathematica thread