引入负数的必要性