首页 > 其他分享 >sin x的无穷乘积式

sin x的无穷乘积式

时间:2023-06-13 18:36:04浏览次数:27  
标签:right 乘积 cfrac 无穷 2n pi sin left

\(\sin{x}\)的无穷乘积式

观察以下两个式子:

\[\boxed{\begin{aligned} &\sin{3x}=3\sin{x}-4\sin^3{x}\\ &\sin{5x}=5\sin{x}-20\sin^3{x}+16\sin^5{x}\\ &\cdots \end{aligned}} \]

可以发现

\[\sin{(2n+1)x}=\sin{x}\cdot\mathrm{P}(\sin^2{x}) \]

其中\(\mathrm{P}(x)\)是关于\(x\)的\(n\)次多项式.

因为\(\lim_{x\to0}\dfrac{\sin{(2n+1)x}}{\sin{x}}=2n+1\),所以\(\mathrm{P}(x)\)的常数项为\(2n+1\).

同时,\(\sin{(2n+1)x}\)的根为\(\dfrac{k\pi}{2n+1},k\in\mathbb{Z}\),所以\(\sin^2{\dfrac{k\pi}{2n+1}},k=1,2,\cdots,n\)恰为\(\mathrm{P}(x)\)的\(n\)个根.

\[\begin{aligned} &\mathrm{P}(x)=(2n+1)\left(1-\frac{x}{\sin^2{\dfrac{\pi}{2n+1}}}\right)\left(1-\frac{x}{\sin^2{\dfrac{2\pi}{2n+1}}}\right)\cdots\left(1-\frac{x}{\sin^2{\dfrac{n\pi}{2n+1}}}\right)\\ &\mathrm{P}(x)=(2n+1)\prod_{k=1}^{n}\left(1-\frac{x}{\sin^2{\cfrac{k\pi}{2n+1}}}\right)\\ &\frac{\sin{(2n+1)x}}{\sin{x}}=(2n+1)\prod_{k=1}^{n}\left(1-\frac{\sin^2{x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)\\ &\frac{\sin{x}}{(2n+1)\sin{\cfrac{1}{2n+1}x}}=\prod_{k=1}^{n}\left(1-\cfrac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)\\ &\frac{\sin{x}}{(2n+1)\sin{\cfrac{1}{2n+1}x}\displaystyle\prod_{k=1}^{m}\left(1-\cfrac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)}=\prod_{k=m+1}^{n}\left(1-\cfrac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)\\ \end{aligned} \]

左边对\(n\)取极限,使\(n\to\infty\).

\[\frac{\sin{x}}{x \displaystyle \prod_{k=1}^{m}\left(1-\cfrac{x^2}{k^2\pi^2}\right)} \]

对于右边,有这一不等式

\[\boxed{\begin{aligned} &\frac{2}{\pi}x<\sin{x}<x,x\in\left(0,\frac{\pi}{2}\right)\\ &\sin^2{\frac{1}{2n+1}x}<\frac{x^2}{(2n+1)^2}\\ &\sin^2{\frac{k\pi}{2n+1}}>\frac{4k^2}{(2n+1)^2}\\ &\frac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\cfrac{k\pi}{2n+1}}}<\frac{x^2}{4k^2}\\ \end{aligned}} \]

于是就有

\[\begin{aligned} &1>\prod_{k=m+1}^{n}\left(1-\cfrac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)>\prod_{k=m+1}^{n}\left(1-\cfrac{x^2}{4k^2}\right)>\prod_{k=m+1}^{\infty}\left(1-\cfrac{x^2}{4k^2}\right)\\ &1>\prod_{k=m+1}^{n}\left(1-\cfrac{\sin^2{\cfrac{1}{2n+1}x}}{\sin^2{\dfrac{k\pi}{2n+1}}}\right)>\prod_{k=m+1}^{\infty}\left(1-\cfrac{x^2}{4k^2}\right) \end{aligned} \]

这个式子是否成立与\(n\)的取值无关,所以代入\(n\to\infty\)的极限可得

\[\boxed{1>\frac{\sin{x}}{x \displaystyle \prod_{k=1}^{m}\left(1-\cfrac{x^2}{k^2\pi^2}\right)}>\prod_{k=m+1}^{\infty}\left(1-\cfrac{x^2}{4k^2}\right)} \]

再在两边对\(m\)取极限,使\(m\to\infty\).两边极限都是\(1\),所以根据极限夹逼准则,可得

\[\boxed{\frac{\sin{x}}{x }= \prod_{k=1}^{\infty}\left(1-\cfrac{x^2}{k^2\pi^2}\right)} \]

\[\boxed{\sin{x}=x \prod_{k=1}^{\infty}\left(1-\cfrac{x^2}{k^2\pi^2}\right)} \]

\(\cfrac{\sin{x}}{x }\)也被称为\(\mathrm{sinc}\,x\).

标签:right,乘积,cfrac,无穷,2n,pi,sin,left
From: https://www.cnblogs.com/mdntct/p/17478432.html

相关文章

  • sin x无穷乘积式的应用
    \(\sin{x}\)无穷乘积式的应用我们知道\[\mathrm{sinc}\,x=\frac{\sin{x}}{x}=\prod_{k=1}^{\infty}\left(1-\cfrac{x^2}{k^2\pi^2}\right)\]由这个式子可以推出一个有趣的结论.代入\(x=\dfrac{\pi}{2}\).\[\frac{2}{\pi}=\prod_{k=1}^{\infty}\left[1-\cfrac{1}{(2k)^2}\r......
  • HP 288G9 主机安装Esxi6.7报错Shutting down firmware services Using simple offset'
    ShuttingdownfirmwareservicesUsingsimpleoffset'UEFIRTSmappingpolicy找了好多方法都不行,尝试1:添加ignoreHeadless=TRUE参数也没救回我电脑,失败尝试2:BIOS中将PCI64bitResourcesHandling里的Above4GDecoding,找不到失败尝试3:PC主板里有一个设置选项叫CSM兼容性......
  • go :Multiple-value strconv.Atoi() (int, error) in single-value context
    代码devicePositionType:=strconv.Atoi(info[0]["device_position_type"].(string))报错Multiple-valuestrconv.Atoi()(int,error)insingle-valuecontext这是因为返回的数据有两个参数,代码里只定义了一个,所以代码里需要再加上一个参数,这个参数一般会定义为errdevicePositi......
  • antd 5.0 定制主题如此酷炫,我决定开启 @ant-design/cssinjs 阅读之旅
    前言antd5.0正式发布已经有一段时间了,发布当天,一心二用的看完直播。很喜欢整个设计,有种简约快乐工作的感觉,某些功能设计初衷也给了我一些启发。antd5.0提供的主题定制挺酷炫的,加之我最近对「CSS-in-JS」很感兴趣。于是迫不及待的打开了它的源码,准备研究一番。我大部分情况下都......
  • Jmeter:"An error occurred: Can't connect to X11 window server using 'lacalhost:12
    做各种不同项目的性能测试,都需要在项目本地压测服务器配置jmeter,需要时还要调出jmeter图形化界面来调试jmeter脚本。标题中的问题遇过多次,这次做个记录。1.启动jmeter报错在配置好jmeter环境变量的linux系统执行jmeter命令,报错如下:[root@localhost~]#jmeter=====......
  • 【230611-1】已知Sin(α-β)=1/3,CosαSinβ=1/6,则Cos(2α+2β)=?(23年高考1卷第8题)
    【题目】已知Sin(α-β)=1/3,CosαSinβ=1/6,则Cos(2α+2β)=?(23年高考1卷第8题)......
  • Python使用multiprocessing实现一个最简单的分布式作业调度系统
    介绍Python的multiprocessing模块不但支持多进程,其中managers子模块还支持把多进程分布到多台机器上。一个服务进程可以作为调度者,将任务分布到其他多个机器的多个进程中,依靠网络通信。想到这,就在想是不是可以使用此模块来实现一个简单的作业调度系统。实现Job首先创建一个Job类,为......
  • Debian 12 x86_64 OVF (sysin) - VMware 虚拟机模板
    Debian12x86_64OVF(sysin)-VMware虚拟机模板请访问原文链接:https://sysin.org/blog/debian-12-ovf/,查看最新版。原创作品,转载请保留出处。作者主页:sysin.orgDebianGNU/Linux12(bookworm)(Linuxdebian6.1.0-amd64)部署截图及说明自定义OVF属性填写说明:......
  • Vue启动报错:This usually happens because your environment has changed since runni
    Thisusuallyhappensbecauseyourenvironmenthaschangedsincerunning`npminstall`问题根本:这通常是因为运行NPM安装后环境发生了变化。运行“NPM重建节点SASS——强制”来为当前环境构建绑定。 如何解决:此时运行按照提示执行npmrebuildnode-sass命令,(如若不行,......
  • Solve “missing iconv.dll” issue on Win7 X64
    AfterinstalledthemobilemecontrolpanelonmyWin7X64,themobilemecontrolpanelcannotbelaunchedwitherrormessage"Missingiconv.dll".Evengettingthismessagewhensystembootup.Triedtocopyiconv.dllinto......