古代中国人首先发现负数