数论算法讲义 8章（数论函数）.docVIP

数论函数 内容 数论函数的某些一般理论 几种重要的数论函数 函数的狄利克雷乘积 积性函数 重点 数论函数 性质 函数的狄利克雷乘积和积性函数 数论函数 在数论中，经常出现各种数论函数，它们在数论的研究中，起着重要作用。 【定义8.1.1】一个定义在正整数集上的实或复值函数叫做一个数论函数或算术函数。 例如，等都是数论函数。 函数、、 函数 定义 【定义8.2.1】函数是对于一切实数都有定义的函数，其值等于不大于的最大整数。 性质 1. ； 2. ； 3.当是整数时，； 4. ＝ 5.若a,b是任意两个正整数，则不大于a而为b的倍数的正整数的个数是。 函数 定义 【定义8.2.2】函数是对于一切实数都有定义的函数，其值等于不小于x的最小整数。 性质 1. ； 2. 3. ； 4.当是整数时，； 5. ＝ 6. 当x＝整数时，＝，当x≠整数时 函数 定义 【定义8.2.3】函数是对于一切实数都有定义的函数，其值为x四舍五入的结果，即 ＝ 性质 1. 当x＝整数时，＝＝，当x≠整数时≤≤ 2.当是整数时，＝n＋； 3. ＝－ 数论函数 【定义8.3.1】对于一给定的素数p，设（即┣n），则记。 对于有理数，定义 对于给定的素数p，是一个数论函数。 由定义，显然有以下简单的性质： ＝1 ，这里 p┣n，则＝0 因此，有54＝33＋2＝3＋0＝3，54＝33＋2＝0＋1＝1，等等。 本节主要求出的公式。 【定理8.3.1】设，则有 （1） （证）因为 和 ， 有 （2） 由8.2.1节性质（5）可知＝，故 …… ＝＝ 代入（2）便得（1）。证完 定理8.3.1的结果，也可写成＝。它给出了 n!＝ 【定理8.3.2】设，则 是一个整数。 （证）因为，故从函数的性质2推出 ， ， 利用上面给出的的公式，就证明了是整数。证完。 【定理8.3.3】对于给定的素数p和，有 。 （3） (证)时，（3）显然成立。设，有 ， 因为，故 ，， 。 这就证明了（3）。证完。 【定理8.3.4】， 这里，，，，，则有 （4） （证）因为 ， 故 ＝ ＝ ＝ 因为，故由定理8.3.1知。 现在，可以进一步求出。 【定理8.3.5】设，则 。 （证）因为 ， 由（4），故 墨比乌斯函数 【定义8.4.1】麦比乌斯(Mobius)函数，当n＝1时；当时，设为n的标准分解式，则定义为 【定理8.4.1】如果，则有 （1） 证 n＝1时，（1）显然成立。现设，n的标准分解式为，则 函数在数论中经常出现。例如 （2） 其中是n的标准分解式，利用，可将（2）改写为 【定理8.4.2】设，当d遍历n的不含有多于m个素因数的因数时，则 （3） 证 设是n的标准分解式，则在m＝n时，由定理8.4.1，（3）式成立。现设ms。因为d含有平方因子时，，故只需讨论d不含平方因子的情形，而n中不含平方因子的，含有j个素因数的因数d的个数是，而对于这些d，，故 但是 0＝ ＝， 于是 设m为偶数，当m＝s－1时，显然有＝1；而，且当时，则由，得 当时，则由，知 为奇数时，类似可证。 【例8.4.1】设n＝23×35×7×112，验证定理8.4. （解）分类计算如下: m＝1时，d＝1；2，3，7，11。则 ＝1－4＝－3 实质：计算－＝－3 m＝2时，d＝1；2，3，7，11；2×3，2×7，2×11，3×7，3×11，7×11。则 ＝1－4＋6＝3 实质：计算－＋＝3 m＝3时，d＝1；2，3，7，11；2×3，2×7，2×11，3×7，3×11，7×11；2×3×7，2×3×11，2×7×11，3×7×11。则 ＝1－4＋6－4＝－1 实质：计算－＋－＝－1 m＝4时，d＝1；2，3，7，11；2×3，2×7，2×11，3×7，3×11，7×11；2×3×7，2×3×11，2×7×11，3×7×11；2×3×7×11。则 ＝1－4＋6－4＋1＝0 实质：计算－＋－＋＝0 意义：在反演公式中起重要作用。 数论函数的狄利克雷乘积 我们知道 ， 其右端的和的形状，在数论中经常出现。于是有 【定义8.5.1】设是两个数论函数，它们的狄利克雷乘积也是一个数论函数，由下式给出 简记为。 【定理8.5.1】任给数论函数 （1） 和 （2） 证 由于 。 故（1）成立。 设，，则 。 。 故（2）成立。 设 则有 【定理8.5.2】 证 由于 故定理成立。 【定义8.5.2】对于狄利克雷乘积，起单位元的作用，简称 【定理8.5.3】设数论函数，