n!末尾0的个数.

 

 

问题描述

    给定参数n（n为正整数），请计算n的阶乘n！末尾所含有“0”的个数。

    例如，5！=120，其末尾所含有的“0”的个数为1；10！= 3628800，其末尾所含有的“0”的个数为2；20！=2432902008176640000，其末尾所含有的“0”的个数为4。

 

对问题的简单解释：

n！ （n > 5）末尾含有 0 的个数取决于因式分解（质因式分解）这个数后， 有多少个 5 和 2 对， 很明显 5 的个数要小于 2 的个数。这就取决于因式分解后 5 的个数有多少了。

能分解出因子 5 的只有 5， 10， 15...(5k 类数)， 问题变为 5k * 5(k + 1) * 5(k + 2)...... == 5^r * [k * (k + 1) * (k + 2)....] 能分解出多少个 5 因子。

这个数是：

[n / 5 ] + [ n / (5**2)]+....

计算公式

    这里先给出其计算公式，后面给出推导过程。

    令f(x)表示正整数x末尾所含有的“0”的个数，则有：

     当0 < n <5时，f(n!) = 0;

     当n >= 5时，f(n!) = k + f(k!), 其中 k = n / 5（取整）。

 

问题分析

    显然，对于阶乘这个大数，我们不可能将其结果计算出来，再统计其末尾所含有的“0”的个数。所以必须从其数字特征进行分析。下面我们从因式分解的角度切入分析。

  对于任何一个整数

末尾0的个数 == 10因子的个数 == 2, 5 因子对的个数.

对于 n! (n > 5)

n!  = [5k * 5(k-1) * ... * 10 * 5] * a，其中 n = 5k + r (0 <= r <= 4)

对于任意的 i

在区间[ 5i + 1 , 5(i + 1) )  (0<=i<=k) 至少存在一个偶数, 那么必对应一个因子 2.   

  而 a 包含所有[ 5i + 1 , 5(i + 1) )  (0<=i<=k) 区间中的整数的乘积.  因此 a 中至少存在 k 个因子 2.

故 a 可表示为          a = 2^k * c

所以

n!  = [5k * 5(k-1) * ... * 10 * 5] * 2^k * c

= 10 ^ k * k! * c (其中 k = [n / 5])

设 f(n) 为 n 末尾 0 的个数, 则

f(10 * n) = 1 + f(n)

那么

f(n!) = f(10 ^ k * k! * c) = k + f(k! * c)

由上述分析知

a 中不存在 因子 5

 故

c中不存在因子 5

    我们再回到原先的问题。这里先给出一个结论：

    结论1：对于n的阶乘n！，其因式分解中，如果存在一个因子“5”，那么它必然对应着n！末尾的一个“0”。

    下面对这个结论进行证明：

   (1)当n < 5时, 结论显然成立。

   (2)当n >= 5时，令n！= [5k * 5(k-1) * ... * 10 * 5] * a，其中 n = 5k + r (0 <= r <= 4)，a是一个不含因子“5”的整数。

    对于序列5k, 5(k-1), ..., 10, 5中每一个数5i(1 <= i <= k)，都含有因子“5”，并且在区间(5(i-1),5i)(1 <= i <= k)内存在偶数，也就是说，a中存在一个因子“2”与5i相对应。即，这里的k个因子“5”与n！末尾的k个“0”一一对应。

    我们进一步把n！表示为：n！= 5^k * k! * a（公式1），其中5^k表示5的k次方。很容易利用(1)和迭代法，得出结论1。

    

    上面证明了n的阶乘n！末尾的“0”与n！的因式分解中的因子“5”是一一对应的。也就是说，计算n的阶乘n！末尾的“0”的个数，可以转换为计算其因式分解中“5”的个数。

 

    令f(x)表示正整数x末尾所含有的“0”的个数, g(x)表示正整数x的因式分解中因子“5”的个数，则利用上面的的结论1和公式1有：

      f(n!) = g(n!) = g(5^k * k! * a) = k + g(k!) = k + f(k!)

所以，最终的计算公式为：

    当0 < n < 5时，f(n!) = 0;

    当n >= 5时，f(n!) = k + f(k!), 其中 k = n / 5（取整）。

 

计算举例

  f(5!) = 1 + f(1!) = 1

  f(10!) = 2 + f(2!) = 2

  f(20!) = 4 + f(4!) = 4

  f(100!) = 20 + f(20!) = 20 + 4 + f(4!) = 24

  f(1000!) = 200 + f(200!) = 200 + 40 + f(40!) = 240 + 8 + f(8!) = 248 + 1+ f(1) =249