Jump to content

An irrational power of an irrational number


Genady

Recommended Posts

2 minutes ago, studiot said:

Are you referring to euler's identity ?


eπi+10

 

I thought about it, but I don't know if πi is rational or irrational. To make it well-defined, let's stay in the real numbers.

Link to comment
Share on other sites

59 minutes ago, Genady said:

I thought about it, but I don't know if πi is rational or irrational. To make it well-defined, let's stay in the real numbers.

Can't see why.

e and pi are irrational (and also trancendental but that is irrelevant here).
i and 1 and 0 are all rational.
So proceed as follows


[math]{e^{\pi i}} + 1 = 0[/math]           Euler

Rearrange


[math]{e^{\pi i}} =  - 1[/math]

Raise each side to the power -i


[math]{\left( {{e^{\pi i}}} \right)^{ - i}} = {\left( { - 1} \right)^{ - i}}[/math]

Which is


[math]\left( {{e^{ - i\pi i}}} \right) = {\left( { - 1} \right)^{ - i}}[/math]

Which is


[math]{e^\pi } = {\left( { - 1} \right)^{ - i}}[/math]

Which is an irrational number raised to an irrational power expressed as a rational fraction of two rational numbers.

 

Link to comment
Share on other sites

OK. I just don't see yet that (-1)-i is a rational number as per definition "a rational number is a number that can be expressed as the quotient or fraction p/q of two integers, a numerator p and a non-zero denominator q."   

Link to comment
Share on other sites

You said an irrational raised to an irrational. (-1)-i is a negative integer number raised to an imaginary (complex) number. Both can be done. One is more sophisticated. Which one is your question?

For example, \( \left(-1\right)^{\pi} \) presents its own challenge. Which one are you interested in?

It's better perhaps to tackle directly \( z^{w} \) with \( z,w\in\mathbb{C} \).

Link to comment
Share on other sites

I am interested to know if there are two real irrational numbers r and s such that rs is rational.

45 minutes ago, joigus said:

You said an irrational raised to an irrational. (-1)-i is a negative integer number raised to an imaginary (complex) number. Both can be done. One is more sophisticated. Which one is your question?

For example, (1)π presents its own challenge. Which one are you interested in?

It's better perhaps to tackle directly zw with z,wC .

The comment you refer to is a reply to an attempted proof above that:

1 hour ago, studiot said:

Can't see why.

e and pi are irrational (and also trancendental but that is irrelevant here).
i and 1 and 0 are all rational.
So proceed as follows


eπi+1=0            Euler

Rearrange


eπi=1

Raise each side to the power -i


(eπi)i=(1)i

Which is


(eiπi)=(1)i

Which is


eπ=(1)i

Which is an irrational number raised to an irrational power expressed as a rational fraction of two rational numbers.

 

 

Edited by Genady
Link to comment
Share on other sites

39 minutes ago, Genady said:

I am interested to know if there are two real irrational numbers r and s such that rs is rational.

Ah, OK. Yes, that can happen. Studiot gave an important clue, I think. Think Euler.

I think you will agree that \( \log_{\pi}2 \) is irrational. Take \( r=\pi \) and \( s=\log_{\pi}2 \). Then,

\[ r^{s}=\pi^{\log_{\pi}2}=2 \]

The fact that \( \pi^{x} =2\) cannot be solved with x rational should be easy to prove by contradiction.

Edit: Actually, I don't think it's 'easy', it's a somewhat elaborate result of number theory.

Edited by joigus
Link to comment
Share on other sites

42 minutes ago, Genady said:

I am interested to know if there are two real irrational numbers r and s such that rs is rational.

The comment you refer to is a reply to an attempted proof above that:

 

 

5 minutes ago, joigus said:

Ah, OK. Yes, that can happen. Studiot gave an important clue, I think. Think Euler.

I think you will agree that logπ2 is irrational. Take r=π and s=logπ2 . Then,

 

rs=πlogπ2=2

 

I didn't think of that.  +1

 

There is a more detailed discussion here.

I am not an expert on number theory, I find the minutiae rather boring after a while.

https://math.stackexchange.com/questions/823970/is-i-irrational

Edited by studiot
Link to comment
Share on other sites

7 minutes ago, joigus said:

Ah, OK. Yes, that can happen. Studiot gave an important clue, I think. Think Euler.

I think you will agree that logπ2 is irrational. Take r=π and s=logπ2 . Then,

 

rs=πlogπ2=2

 

The fact that πx=2 cannot be solved with x rational should be easy to prove by contradiction.

Edit: Actually, I don't think it's 'easy', it's a somewhat elaborate result of number theory.

Yes, it answers it. If we know that logπ2 is irrational.

I got a simpler proof, without that knowledge:

r=sqrt(2)sqrt(2) , s=sqrt(2).

 

Link to comment
Share on other sites

Let me add something that involves probabilities. I don't think it's very likely that picking r and s irrational, at random, you can get rs to be rational. The simple 'probabilistic' argument being that the cardinality of irrationals is aleph 1, while that of rationals is aleph naught, which means that there are incommensurably more irrationals than rationals. So, what are the chances. But I do think there are infinitely many occurrences of (irrational)irrational that are.

11 minutes ago, Genady said:

Yes, it answers it. If we know that logπ2 is irrational.

I got a simpler proof, without that knowledge:

r=sqrt(2)sqrt(2) , s=sqrt(2).

 

LOL. Good one! I do think it's equally simple, tho. ;) 

No serious. Good one. Now try to do something that simple with \( \left( -1 \right)^\pi \)! 

Edited by joigus
Link to comment
Share on other sites

25 minutes ago, studiot said:

 

I didn't think of that.  +1

 

There is a more detailed discussion here.

I am not an expert on number theory, I find the minutiae rather boring after a while.

https://math.stackexchange.com/questions/823970/is-i-irrational

The following answer doesn't require number theory, Euler, or complex powers, just algebra:

r=sqrt(2)sqrt(2) , s=sqrt(2)

Either r is rational or rs is rational.

So, the answer to the OP is, Yes.

Link to comment
Share on other sites

5 minutes ago, Genady said:

The following answer doesn't require number theory, Euler, or complex powers, just algebra:

r=sqrt(2)sqrt(2) , s=sqrt(2)

Either r is rational or rs is rational.

So, the answer to the OP is, Yes.

How do you know \( \sqrt{2}^{\sqrt{2}} \) is irrational?

Link to comment
Share on other sites

Just now, joigus said:

How do you know 22 is irrational?

I don't. But if it is not, then we take r=sqrt(2)=s, and rs is rational. Which answer the OP.

One of the two has to be rational, and this answers the question.

Link to comment
Share on other sites

2 minutes ago, Genady said:

I don't. But if it is not, then we take r=sqrt(2)=s, and rs is rational. Which answer the OP.

One of the two has to be rational, and this answers the question.

Not quite: If it's not, then it's rational. Then you use your algebra and you prove that some 'rational' you've found, raised to sqrt(2), gives a rational.

You need to prove that \( \sqrt{2}^{\sqrt{2}} \) is irrational in order to make that claim. See my point?

So you're back to square one, which is what I tried to tell you: Number theory.

6 minutes ago, dimreepr said:

 

??

Link to comment
Share on other sites

Just now, joigus said:

Not quite: If it's not, then it's rational. Then you use your algebra and you prove that some 'rational' you've found, raised to sqrt(2), gives a rational.

You need to prove that 22 is irrational in order to make that claim. See my point?

No, I don't. Here is why.

The question is: are there such irrational r and s that rs is rational?

Consider two possibilities.

1. r=sqrt(2) s=sqrt(2) If rs = sqrt(2)sqrt(2)  is rational then this answers the question.

2. If sqrt(2)sqrt(2) is irrational, then r=sqrt(2)sqrt(2) s=sqrt(2), and rs is rational, answering the question.

Link to comment
Share on other sites

OK. I see. Why didn't you just say that was your answer from the beginning, instead of giving it piecemeal?

You had this 'question' all ready with the answer and all. Then you ask a question pretending not to know the answer.

The answer is kinda obvious TBH. You can find about infinitely many possibilities to do that. I gave you one that's pretty obvious too. About as obvious as the fact that \( \sqrt{2} \) is irrational, which you haven't proved either. Yes, that's a result in number theory too, and you're resting your answer on shoulders of giants.

(pi)rational cannot give you a rational is pretty obvious to me too. Proving it rigorously is another matter.

You, though, for some reason, don't like the argument. You prefer yours, (which is to come pretty soon.)

You reappear then in intervals of less than one minute declaring that your answer is the answer, and it's simpler than everybody else's. Your answer in every step is, of course, flawed unless you provide the looping argument which is your final effect. Then you pull the rabbit out of the hat that you've been silent about for the whole conversation. 

Voilá! --Applause. 👏👏👏

To me, it's been a considerable amount of time down the drain. I have better things to do.

Cute.

Thank you.

Link to comment
Share on other sites

1 hour ago, joigus said:

OK. I see. Why didn't you just say that was your answer from the beginning, instead of giving it piecemeal?

You had this 'question' all ready with the answer and all. Then you ask a question pretending not to know the answer.

The answer is kinda obvious TBH. You can find about infinitely many possibilities to do that. I gave you one that's pretty obvious too. About as obvious as the fact that 2 is irrational, which you haven't proved either. Yes, that's a result in number theory too, and you're resting your answer on shoulders of giants.

(pi)rational cannot give you a rational is pretty obvious to me too. Proving it rigorously is another matter.

You, though, for some reason, don't like the argument. You prefer yours, (which is to come pretty soon.)

You reappear then in intervals of less than one minute declaring that your answer is the answer, and it's simpler than everybody else's. Your answer in every step is, of course, flawed unless you provide the looping argument which is your final effect. Then you pull the rabbit out of the hat that you've been silent about for the whole conversation. 

Voilá! --Applause. 👏👏👏

To me, it's been a considerable amount of time down the drain. I have better things to do.

Cute.

Thank you.

It was not my answer, unfortunately. Somebody has shown it to me, and I was curious to know, how easy it is to find it.

Edited by Genady
minor grammar correction
Link to comment
Share on other sites

21 hours ago, Genady said:

It was not my answer, unfortunately. Somebody has shown it to me, and I was curious to know, how easy it is to find it.

Sorry, I misinterpreted the whole sequence of events. I suppose I'm just tired. It's a very clever solution anyway. It still rests on sqrt(2) being irrational, but that's easier than pi. ;) 

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.