已知ab为互为相反数a不等于0