What exactly are those "two irrational numbers" $x$ and $y$ such that $x^y$ is rational?

Question

It's possible to prove nonconstructively that there exists irrational numbers $x$ and $y$ such that $x^y$ is rational, but that proof only proves that such numbers exist and does not specify what they are.

What is a constructive proof that there are two irrational numbers $x$, $y$ such that $x^y$ is rational, i.e. what are those numbers?

Answer 1

Let $x=3^{1/2}$ and $y=\log_{3}(4)$. Then $x^y=2$.

The proof that $x$ is irrational is familiar. For $y$, suppose $y=p/q$ where $p$ and $q$ are positive integers. Then $3^{p/q}=4$, so $3^p=4^q$. This is impossible, since $4^q$ is even and $3^p$ is odd.

Answer 2

Let $x = \mathrm{e}$ and $y = \ln(2)$, then $x^y = \mathrm{e}^{\ln(2)} = 2$.