已知a、b互为相反数,b分之a等于负一,是否一定成立?