“说是便是”的数学证明

“说是就是”的数学证明
证明存在这样的无理数a,b，使得为有理数。
几年前在一本书上看到过一个证明，印象特别深刻。
众所周知，是无理数。如果是有理数，则令，于是命题得证；如果不是有理数，则令，于是，2是有理数，命题得证。
评注：说是就是，不是也是。