我们把S的2007个数进行分组,位数相同的数分在一起,根据24的讨论,我们知道
共分为604组,每组要么3个数,要么4个数。设3个数的x组,4个数的y组。
则有x+y=604,3x+4y=2007,解得
y=195,也就是说恰好有195组有4个数.
而每组第一个数数字为1,首位数字为4的数只可能出现在每组的第3个,并且如果它出现在第3个,它的两倍肯定还没有进位,所以这一组有4个数。另一方面,每组第3个数首位数字至少为4,如果第3个数首位数字不等于4的话,它的两倍就要进位了,所以这一组肯定只能有3个数。也就是说首位为4的数,和4个数一组的组是一一对应的。
因此S中恰好有195个数,首位数字为4。

.