数学书上的小明到底是谁