各位来看看：用高中数学知识：首位为 9 的数有几个？

[panchina]

前几天培训时提出的一个问题：
9, 9^1, 9^2, ... 9^2016

首位为 9 的数有几个？
思路是是什么？
方法如何实现？

ps:不能一个个排查
pps:说用高中数学知识就可以了 =_=!

[ceoimon]

@luban 这个思路太吊了

[MCVector]

首位肯定是个循环数组，找到循环的周期就行了。

[maomaomao001]

首位为 9 的数不是有无数个吗？
9
9x
9xx
9xxx

[Kirscheis]

@jimages 抱歉，是有点问题。吃晚饭的时候看见题目随手打的，脑抽忘了乘 9 。果然口算不怎么靠谱。不过基础思路就是取对数换底，把常数替换一下就行了。 n=1 的时候确实不能退化了，不等式里的小于应该换成小于等于。
楼上已经出现更好的算法了，我考虑过 9 开头的数是否前一个一定 1 开头后一个一定进位，但是当时吃着饭感觉证明比较麻烦，没想到挺容易的。

[panchina]

@luban bingo~

[panchina]

@lightening 是的

[yszx]

@luban 并不需要知道最后一个数是否开头是 9 ，因为他的原理是 位数差=出现重复位数的次数=9 开头的次数，这个思路太强大了···

[zingl]

不需要知道最后一个数开头是什么，但需要知道最后一个数有多少位，也就是要知道 log(9^k)=k*2*log3 的整数部分，所以告诉你了 log3 等于多少

链接里的解是不完全的，因为除了要证明“若 9 的 a 次方首位數字為 9, 那麼 9 的 a-1 次方位數與 9 的 a 次方位數相同(這是明顯的)”，还要证明对于任意 b 位数的自然数，其中至少有 1 个是 9 的整数次幂（引号内容表明可以有 2 个，引申可证得不会有 2 个以上），否则解法是不成立的。

最后就是个抽屉原理了。

[panchina]

@zingl 第二个证明只需要考虑： 10^(n-1) < 9^n <10^n

[jimages]

@Kirscheis 我没有收到你的提醒，是不是你被降级了？

[Rorysky]

@Kirscheis 还厉害 我初中肯定不会这些。。。

疑问 对于一个 2 位整数 X ， X 首位为 9 的 条件是 100<X<10 ？

@lightening

[zingl]

@panchina n 值大了以后中间就肯定不是 9^n 了

首先要证明：对任意正整数 i ， 10^i < 9^j < 10^(i+1)，至少有 1 个、至多有 2 个整数解

然后要证明： 当且仅当 有 2 个解时，大的解是 9 开头

那么对于 9^1 至 9^k ， k 个解分布于 10^1 至 10^(log(9^k))，那么其中上述两个解的情况出现的次数 k-log(9^k)=k(1-log9) 见 17 楼

精确解要考虑 10^0 = 9^0 < 9^1 < 10^1 的特例加 1 ，除此以外， 9^i=10^j 无正整数解，所以上面的不等式不需要考虑相等

[Kirscheis]

@Rorysky 昨天吃饭的时候打的，手抽少乘了个 9 ，见 24 楼。两位整数首位为 9 条件是 100>x>=90 。

[Kirscheis]

@jimages 多谢提醒，很有可能。以前在 V2 发非法爬虫被封过

[whh945atsyzx]

难道不是无数个吗....在 9 后面无限加数字...

[panchina]

@whh945atsyzx 9^n 指的是 9 的 n 次方幂

[snsd]

@Kirscheis 你们那边初中就讲对数的知识了？

[programgou]

把问题推广开来， w,w^1,w^2,w^3,....,w^n 首位为 w 的有几个？

[rushcheyo]

@snsd 对啊，初一上一进来第一课就是对数换底公式。

[snsd]

@rushcheyo 你那是什么地方？讲得那么先进。我这到了高一才讲的对数