I found a question on mathoverflow, it asks “is there exists irrational numbers and such that is rational”.

Obviously, if you let , , then is rational.

But someone gave a very interesting proof.

You don’t have to know whether is rational or not, you can just get the answer. That is a clever trick.