负数的发现