Prove Trancendence of e^(n/m): Int & Num Solutions

  • Thread starter happyg1
  • Start date
In summary: The conclusion is NOT e^(n/m) is transcendental. The conclusion is that the roots of the polynomial of degree k are ZERO, hence the polynomial is ZERO. The proof is NO different if we replace e by z=ln(e).If the conclusion were z is transcendental then the hypothesis would be a_{1} z^{k} +a_{2}z^{k-1}+...+a_{k}z+a_{k+1}=0 \rightarrow \left\{a_{i}\right\}_{i=1}^{i=k+1}=0 \ , \ \forall a_{i}\in\mathbb{Z} \ , \forall k\in\mathbb{
  • #36
Ahhhhhh...
A little caffeine and sugar help my brain a lot sometimes.
I Think I understand this now. It's almost trivial, the a^n and a algebraic thing, I'm trying to make it harder than it is.
So now I have that a^(1\m) algebraic implies a algebraic and that a^n algebraic implies a algebraic, so then a^((1\m)^n) algebraic implies a algebraic. I just need to fill in the reasoning for each step and then e^(n\m) CAN'T be algebraic.

Am I finally on target here?
CC
 
Physics news on Phys.org
  • #37
happyg1 said:
Ahhhhhh...
A little caffeine and sugar help my brain a lot sometimes.
I Think I understand this now. It's almost trivial, the a^n and a algebraic thing, I'm trying to make it harder than it is.
So now I have that a^(1\m) algebraic implies a algebraic and that a^n algebraic implies a algebraic, so then a^((1\m)^n) algebraic implies a algebraic. I just need to fill in the reasoning for each step and then e^(n\m) CAN'T be algebraic.

Am I finally on target here?
CC

Yes. Dead on target.
 
  • #38
happyg1 said:
Ahhhhhh...
A little caffeine and sugar help my brain a lot sometimes.
I Think I understand this now. It's almost trivial, the a^n and a algebraic thing, I'm trying to make it harder than it is.
So now I have that a^(1\m) algebraic implies a algebraic and that a^n algebraic implies a algebraic, so then a^((1\m)^n) algebraic implies a algebraic. I just need to fill in the reasoning for each step and then e^(n\m) CAN'T be algebraic.

Am I finally on target here?
CC

Except you are still being careless with exponents. Seems to be a big day for that.
a^((1/m)^n) is not equal to (a^(1/m))^n.
 
  • #39
Thanks for all of your patience and help on this. I learned A LOT about algebraic numbers from this problem. This stuff is SO COOL! (math nerds everywhere are cheering!)
I look back at my initial try UGGGHHHHH!
Thanks again.
CC
 
  • #40
So what if m is negative? Then I get [tex]\frac{1}{c^{1/m}}[/tex]
Can I just refer this case to the previous case where m is not negative?
CC
 
  • #41
You'll want to prove if c is algebraic then 1/c is. You can do it pretty directly - just solve a polynomial in c to get an expression for 1/c and argue that it is algebraic. Or if you've proved the algebraic numbers are a field, isn't it immediate?
 

Similar threads

  • Calculus and Beyond Homework Help
Replies
13
Views
689
  • Calculus and Beyond Homework Help
Replies
6
Views
942
Replies
1
Views
629
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
596
  • Calculus and Beyond Homework Help
Replies
2
Views
886
  • Calculus and Beyond Homework Help
Replies
1
Views
601
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
  • Calculus and Beyond Homework Help
Replies
11
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
Back
Top