[Date Index]
[Thread Index]
[Author Index]
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**
| |