python正弦函数幂级数展开_如何从正弦函数级数展开式看出其周期为 2π？

刚才躺床上突然发现，把

换成一个未知量，不就得出了两角和的那个公式嘛(叫什么啊想不起来了)

就是

就是

于是大部分公式都可以推出来了？

emmmmmm……三点了，看来是睡不着了，不过我似乎有了一点有趣的想法，下面进入瞎jb证环节：

假设已知

为周期函数，也即

由于

得

下证有最小正周期

假设

其中

与

不可用同一实数的整数倍形式分别表达，换言之，

不可公度，

则易证

没有最小正周期，于是我们可以构造一个周期列

，使得

，易证

为连续函数，于是

这显然是错的，因为通过简单的级数运算我们知道

因此，综上所述，如果

为周期函数，那么它有最小正周期

但是要怎么证明

是周期函数呢，由于熬夜过度我已经没有思路了(倒

刚好在复习高数，摸鱼上知乎

楼上有个答主列了个框架，感觉已经非常完善了。我就来个比较菜鸡的。

已知

且

求证：

与

均以

为周期

可以证明，在全直线上，

绝对收敛，所以

其中，

为奇数时，

，

为偶数时，

于是有，

(这里补充说明一下：

事实上是下面这个无穷数组，竖着一列一列依次求和

而

则是横着一行一行来的

则表示

列首个非零项所在的行数

可以证明求和顺序的改变不改变这个级数的和

观察可以发现奇数列(由于没用草稿纸所以这里好像有些乱，实际上这个数组的第一列是

的情况，换言之奇数列中

为偶数)求和的一般形式是

而偶数列求和的一般形式是

由给定条件

可以知道，奇数列求和后为

，偶数列求和后为

换言之，上述数组求和后变回了

也就是证明了，

以

为周期

同理，可以证明

以

为周期

显然，这个方法过于菜鸡，只是用了富比尼定理。而且

还事先给出了两个条件。

要通过类似的思路得出三角函数的一系列性质，我觉得工作量非常大，最好的方法还是回归几何意义。像楼上答主那样就感觉非常好了。