An inequality about sine function
来源:互联网 发布:什么枕头防螨虫 知乎 编辑:程序博客网 时间:2024/06/05 19:49
A problem provided by me and solved by mathe in bbs.emath.ac.cn(See: http://zdu.spaces.live.com/blog/cns!C95152CB25EF2037!136.entry)
In http://bbs.emath.ac.cn/viewthread.php?tid=49&page=1&fromuid=20#pid159, northwolves asked for an inequality related to sine function:
For all ,it is easy to prove that:
The problem is whether:
for all .
According to 7#, we could find the all minima of the function . They're for all integer k. So we only need prove the for all those minima.
In 14#, Fourier Series are used to analyze the problem, first we have:
let g(t,x)=sin(x)+sin(2x)+...+sin(tx)
So let , we get
where the left side is Fourier series of .
So we have .
We need only prove the right side is no more than 0 for all those minima. Let , we need prove or . This function will first increase and then decrease. So we only need to prove it is true for both the smallest and largest minima. It means we need prove that
for , the inequality is true.
It is easy to verify that the inequality is true for both and when n is at least 3. So we could prove the problem for n is at least 3. And the problem for n is 1 and 2 has been proved in advance. So the original inequality is proved.
Another interested attribute of this inequality as pointed out in 9# is that the value of function F(x) at all those minima forms the Discrete Sine Transformation of . So this inequality also proves that each item of Discrete Sine Transformation of is non-negative.
- An inequality about sine function
- An article about hash function for hash table
- 【CodeChef-PARSIN】Sine Partition Function【矩阵乘法】【DP】
- about "callback" function
- about function test
- about "callback" function
- about function and sub
- About "Destructor Function"
- About Function addLoadEvent()
- some function about TIVOLI
- some function about Date
- An usage about "equals ()"
- An problem about date
- An problem about date
- An problem about date
- something about function on python
- FWNX- about the abs function -
- some function config about IPV6
- Java中Map的用途
- 2009年企业信息化总结与2010年展望
- 从底层了解ASP.NET体系结构
- 算法:插入排序
- C++与java在编译器上一个不同
- An inequality about sine function
- 在弟弟入门.net之前,告诉他的一些话
- struts入门之验证(3)自定义验证器(custom validator)前传
- Oracle分页查询中排序与效率问题
- C#基础谈(四)---- 解读"Hello World"
- [转]一份比较详细的DOS命令说明!
- 做事
- 今天编写双线程程序的思路
- Word文档中只删除英文保留中文或删除中文保留英文