一道难题征解的简证及引申

浙江师大主办《中学数学教研》1992年第10期上有如下一道难题征解:28*　设N为自然数集,N0,1为由数字0和1组成的所有正整数的集合.证明或否定:对a∈N,b∈N,有ab∈N0,1.下面利用集合中元素的无穷性构造b给出一个简证.证明　令M={n|n=10i,i∈N}N0,1,显然为无穷集.a∈N,M中的每个元素用a取模,分成a个子集,其中第k个表示为:Ma,k={s|s∈M,k=s(moda),(0≤k≤a-1)}(1)若Ma,0非空,则结论显然成立;(2)若Ma,0为空集,则Ma,1,Ma,2,…,Ma,a-1中至少存在一无穷集,否则,M将为有穷集,矛盾.不妨设Ma,k为无穷集.从Ma,k中任取a个两两互不相同的元素10im(…