例题
2015! 后面有几个0?
公式 ∑ i = 1 N [ n 5 i ] \sum_{i=1}^{N} [\frac{n}{5^{i}}] ∑i=1N[5in]
式中,N取 5^i 不大于n的正整数, [*]表示取整
由 2*5 = 10,末尾0的个数即为因子2或5的个数
n! 的标准分解式中 2的个数 >= 5的个数,所以关注5的个数即可.
即,n! 的标准分解式中5的个数决定其末尾0的个数,可得上述公式。
解:
N <= (lg2015) / lg(5) =4.7 ,则N取4
2015!末尾0的个数 = [2015/5] + [2015/25] + [2015/125] + [2015/625] = 502