当a【 】时,由等式x=y可以得到等式x/a=y/a成立