貌似条件给的有多的.
反证：假设x-y是有理数,又因为题中x+y是有理数,则(x-y)+(x+y)是有理数.（注：有理数加有理数显然还是有理数.因为有理数是一个域,加法封闭） 即2x是有理数.所以x为有理数.与题中x是正无理数矛盾,即证之.