已知函数 ,。
证明:;
证明:对任意的正整数 ,有
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先用正弦差公式取得相邻两项的统一下界,用和差化积取得上界。
加权长和则两两分组,再以分母之和固定的柯西估计取得严格界。
由 ,取绝对值并估计余弦模不超过1,得 。另一方面,对实数 有 。和差化积给出
因 ,前者上界较大,故证明(1)的两侧不等式。 对于(2), 时首项 ,其余项非负,结论成立。若 ,将从 到 的 项两两配对,令 ,,则
这些正分母的和为 ,且 时不全相等。柯西不等式及其严格等号条件给出
相加即得题求 。
下界的常数为正,因为 。加权配对中使用 与 ,方向没有反转;严格性在 来自互异分母,在 另由首项给出,不依赖未经证明的每个整数正弦都非零。
统一的相邻项界可通过分组传递到加权和。用柯西给倒数和下界时,单独核等号条件与最小指标,才能得到全体指标的严格不等式。
先建立相邻绝对正弦和的统一双侧界,再分组控制加权和,并用倒数和的柯西等号条件严证全部指标的严格性。
已记下,谢谢!