a表示有理数,那么a和-a中必有一个是正有理数