两个无理数的积仍是无理数 改写成如果,那么的形式