- #1

- 1,085

- 6

**Proof: One more irrationality proof :)**

Ok, for this one I cannot even start the proof because I do not even know what I am trying to prove

The question states:

Prove of give a counterexample: there do not exist irrational numbers x and y such that x^y is rational.

Ok, lets knock out the counterexample, because I think that there is definitely not one. And now it is a proof, and the statement is an implication. But which way is the implication is what I cannot figure out.

Is it: If x and y are irrational, then x^y is irrational? Or, If x and y are rational, then x^y is rational?

Danke!