证明:两个积性函数的狄利克雷乘积为积性函数
证明:两个积性函数的狄利克雷乘积为积性函数
- 已知
- 求证
- 解
相关概念:积性函数,狄利克雷乘积
已知
∑i=2x[i∣x]=∑i=2y[i∣y]=1f(x)×f(y)=f(x×y),d(x)×d(y)=d(x×y)\sum_{i=2}^x[i|x]=\sum_{i=2}^y[i|y]=1\\ f(x)\times f(y)=f(x\times y),d(x)\times d(y)=d(x\times y) i=2∑x[i∣x]=i=2∑y[i∣y]=1f(x)×f(y)=f(x×y),d(x)×d(y)=d(x×y)
求证
(f×d)(x)×(f×d)(y)=(f×d)(xy)(f\times d)(x)\times(f\times d)(y)=(f\times d)(xy) (f×d)(x)×(f×d)(y)=(f×d)(xy)
解
证明
(f×d)(x)×(f×d)(y)=∑i∣xf(i)d(x÷i)×∑i∣yf(i)d(y÷i)=∑i∣xf(i)d(x÷i)∑j∣yf(j)d(y÷j)=∑i∣x∑j∣yf(ij)d(xy÷ij)=∑k∣xyf(k)d(xy÷k)//这里的k相当于上一个式子中的ij=(f×d)(xy)(f\times d)(x)\times(f\times d)(y)=\sum_{i|x}f(i)d(x\div i)\times \sum_{i|y}f(i)d(y\div i)\\ =\sum_{i|x}f(i)d(x\div i)\sum_{j|y}f(j)d(y\div j)\\ =\sum_{i|x}\sum_{j|y}f(ij)d(xy\div ij)\\ =\sum_{k|xy}f(k)d(xy\div k)\text{//这里的k相当于上一个式子中的ij}\\ =(f\times d)(xy)\\ (f×d)(x)×(f×d)(y)=i∣x∑f(i)d(x÷i)×i∣y∑f(i)d(y÷i)=i∣x∑f(i)d(x÷i)j∣y∑f(j)d(y÷j)=i∣x∑j∣y∑f(ij)d(xy÷ij)=k∣xy∑f(k)d(xy÷k)//这里的k相当于上一个式子中的ij=(f×d)(xy)
证毕
证明:两个积性函数的狄利克雷乘积为积性函数相关推荐
- 专题·莫比乌斯函数与欧拉函数【including 整除分块,积性函数,狄利克雷卷积,欧拉函数,莫比乌斯函数,莫比乌斯反演
初见安~又是好久没写博客了--加上CSP才炸了一波. 目录 一.整除分块 题解 二.积性函数 三.狄利克雷卷积 四.欧拉函数 五.莫比乌斯函数(mu) 六.莫比乌斯反演 一.整除分块 看个例题:洛谷P ...
- 狄利克雷卷积_积性函数和狄利克雷卷积小结
1.积性函数:对于函数$f(n)$,若满足对任意互质的数字a,b,a*b=n且$f(n)=f(a)f(b)$,那么称函数f为积性函数.显然f(1)=1. 2.狄利克雷卷积:对于函数f,g,定义它们的卷 ...
- CCPC-2017 杭州站B丨HDU - 6265丨数论丨积性函数 丨欧拉函数丨狄利克雷卷积丨思维变换
[参考博客]@WJHKDGHP ccpc2017杭州站 B [参考博客]@灬从此以后灬 2017 CCPC 杭州 HDU6265B 积性函数 特别感谢以上两位博主,让我看懂了许多细节. 交题网址(HD ...
- 【算法讲7:积性函数(下)】⌈ 加性函数 ⌋ 与 ⌈ 积性函数 ⌋ 与 ⌈ 狄利克雷卷积 ⌋ 详细介绍
[算法讲7:积性函数(下)] 前置 补充 ⌈\lceil⌈积性函数⌋\rfloor⌋ (乘性函数) 四个最基本的定义 关于积性函数的基本性质 性质一:f(1) 性质二:积性函数的各种传递 性质三:整数 ...
- (数论一)积性函数与狄利克雷卷积
今天做的一道题就是有关积性函数与狄利克雷卷积的,很懵逼.觉得有必要学一手了 一. 积性函数是什么呢? 对于函数f,对于任意的a,b互质,都有: f(a * b) = f(a) * f(b) ...
- 【原创】积性函数和狄利克雷卷积学习笔记 未完成
Index 狄利克雷卷积和积性函数 〇.说在前面 一.一些定义 1.数论函数 2.积性函数与完全积性函数 (1)定义 (2)举例 ①(普通)积性函数 ②完全积性函数 (3)性质 二.狄利克雷卷积 1. ...
- 容斥原理与欧拉函数与莫比乌斯函数,狄利克雷卷积与莫比乌斯变换,反演
莫比乌斯函数可以看成是一种被内化了的容斥原理,许多数论上的结论定理根据容斥原理和数学归纳法可以推导出来,但是有关容斥原理的表达式的构造往往并不容易,运气不好很难找到,而莫比乌斯函数则是巧妙的把容斥原理 ...
- 人工智能数学基础:利用导数判断函数单调性、凹凸性、极值、最值和描绘函数图形
一.单调性判断定理 定理: 设函数y=f(x)在[a,b]上连续,在(a,b)内可导. (1)如果在(a,b)内f(x)≥0,且等号仅在有限多个点处成立,那么函数y=f(x)在[a,b]上单调增加; ...
- 关于函数或者数列极限保号性的直觉理解(图解)
关于函数或者数列极限保号性的直觉理解(图解) 欢迎大家评论区指出问题或提出更严谨.有说服力的证明 首先,贴一条很有感触的话: "保号性"的说法,是汉语微积分教学中,穿凿附会.虚张声 ...
最新文章
- php json_encode中提示的中文总是返回\u767b\u5f55\u6210\u529f\uff01的解决办法
- python代码阅读技巧_30个Python程序员需要知道的编程技巧,可以让你的工作事半功倍!...
- 知识图谱实践篇(二):关系数据库到RDF
- 如何计算iPhone和Apple Watch上的步数
- java 写入指定路径文件_java对指定目录下文件读写操作介绍 | 学步园
- 518. 零钱兑换 II(JavaScript)
- Testin云測试破7000万次:崩溃成90%手游应用质量难题
- Redis在项目中的使用及性能测试
- SpringBoot2.0之三 优雅整合Spring Data JPA
- Node.js 学习笔记--- (2)创建一个简单的博客工程
- Mac端Java开发分析工具JProfiler 13.0.1
- 助成招聘网站——个人项目06
- 【GitHub】cmder下载地址
- ABAQUS 有限元仿真分析软件模块介绍
- oracle12c备份与恢复,Oracle Database12c Oracle RMAN备份与恢复(第4版)
- 你画我猜游戏的java实现
- bom实现方块移动_js实现方块上下左右移动效果
- 沃顿研究数据服务推出高级研究学者计划,为全球研究人员提供实地教育课程
- Excel函数之— SUMPRODUCT用法(二),太强大了
- HTML怎么制作镂空文字遮罩,用纯 CSS 实现镂空效果
热门文章
- 清风电子—keil5,无法运行官方的代码程序,出现这样的错误显示 \objects\main.o:No such file or directory
- 实时获取用户所在城市(管理设备位置信息)
- ERROR: cannot launch node of type [map_server/map_server]: can't locate node [map_server] in package
- 解决虚拟机不能上网ifconfig只显示127.0.0.1的问题
- 某爱上面的一个帖子(一些比较实用的网站和软件)
- 驾驭你的“职场布朗运动” .
- python图片风格迁移毕设_神经风格迁移是如何运作的概述及Python实现
- 论如何使用三相220V变频器驱动额定电压为380V Y接法的三相异步电机
- oracle 11g r1 RAC增加新节点
- 合天靶场练习_13-17周