论文部分内容阅读
引理 函数u=sin~nx+cos~nx(n∈N,n≥2,x∈(0,π/2))的最小值是2~[(2-n)/2]。 注:当n=2时,u1=2~[(2-2)/2];当n≥3时,由文[1]例2知u的最小值是2~[(2-n)/2],故引理成立。 命题 在△ABC中,设u_n=cos~n(A/2)+