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