《数学通报》问题2731的证明、加强、推广与变式

摘"要"本文先给出《数学通报》问题2731的证明，并对结果加强推广，最后依据不等式的结构特征举例几道变式.

关键词"问题2731；不等式；证明；推广

题目"（《数学通报》2023年第7期问题2731）在△ABC中，求证：sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B≤32①.

笔者对①式从证法、加强、推广、变式四个方面进行探究，撰写成文，分享给大家.

1.不等式①的证明

证法1"不妨设0＜C＜π2，则cosC＞0，所以sin2A+sin2B+sin2C=32－12（cos2A+cos2B+cos2C）=32－12［2cos（A+B）cos（A－B）+2cos2C－1］=2－cos2C+cosCcos（A－B）≤2－cos2C+cosC=－（cosC－12）2+94≤94.

于是，由权方和不等式可得sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B=sin2A3－sin2B－sin2C+sin2B1－sin2C－sin2A+sin2C1－sin2A－sin2B≤sin2A34+sin2A+sin2B34+sin2B+sin2C34+sin2C=3－3（13+4sin2A+13+4sin2B+13+4sin2C）≤3－3·（1+1+1）29+4（sin2A+sin2B+sin2C）≤3－279+9=32.

证法2"由证法1知sin2A+sin2B+sin2C≤94.由射影定理和柯西不等式有a2=（bcosC+ccosB）2≤（b2+c2）（cos2C+cos2B），从而cos2B+cos2C≥a2b2+c2，于是1+cos2B+cos2C≥a2+b2+c2b2+c2，同理可得1+cos2C+cos2A≥a2+b2+c2c2+a2，1+cos2A+cos2B≥a2+b2+c2a2+b2，所以sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B≤∑a2（b2+c2）4R2（a2+b2+c2）=∑a2（b2+c2）4R2（a2+b2+c2）=（a2+b2+c2）2－（a4+b4+c4）4R2（a2+b2+c2）

≤（a2+b2+c2）2－13（a2+b2+c2）24R2（a2+b2+c2）=a2+b2+c26R2=23（sin2A+sin2B+sin2C）≤23×94=32.

证法3"由三角公式得cos2A+cos2B+cos2C=12（3+cos2A+cos2B+cos2C）=12［3+2cos（A+B）cos（A－B）+2cos2C－1］=cos2C－cos（A－B）cosC+1=［cosC－12cos（A－B）］2+1－14cos2（A－B）≥1－14cos2（A－B）≥34.

记cos2A+cos2B+cos2C=x，则x≥34.

于是，利用权方和不等式可得sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B=（sin2A1+cos2B+cos2C－1）+（sin2B1+cos2C+cos2A－1）+（sin2C1+cos2A+cos2B－1）+3=3－（cos2A+cos2B+cos2C）（11+cos2B+cos2C+11+cos2C+cos2A+11+cos2A+cos2B）≤3－9（cos2A+cos2B+cos2C）3+2（cos2A+cos2B+cos2C）=3－9x3+2x=32+3（3－4x）6+4x≤32.

证法4"由证法3知cos2A+cos2B+cos2C≥34.原不等式等价于1－cos2A1+cos2B+cos2C－1+1－cos2B1+cos2C+cos2A－1+1－cos2C1+cos2A+cos2B－1≤32－3cos2A+cos2B+cos2C1+cos2B+cos2C+cos2A+cos2B+cos2C1+cos2C+cos2A+cos2A+cos2B+cos2C1+cos2A+cos2B≥3211+cos2B+cos2C+11+cos2C+cos2A+11+cos2A+cos2B≥32（cos2A+cos2B+cos2C）.

由权方和不等式知11+cos2B+cos2C+11+cos2C+cos2A+11+cos2A+cos2B≥93+2（cos2A+cos2B+cos2C）故只需证93+2（cos2A+cos2B+cos2C）≥32（cos2A+cos2B+cos2C）cos2A+cos2B+cos2C≥34，该不等式成立，故不等式①成立.

证法5"由证法3知cos2A+cos2B+cos2C≥34.由权方和不等式有

1sin2A+1cos2A+cos2B+cos2C≥4sin2A+cos2A+cos2B+cos2C=41+cos2B+cos2C，

所以11+cos2B+cos2C≤14（1sin2A+1cos2A+cos2B+cos2C），

所以sin2A1+cos2B+cos2C≤14+sin2A4（cos2A+cos2B+cos2C），同理可得另外两式.故sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B

≤14+sin2A4（cos2A+cos2B+cos2C）+14+sin2B4（cos2A+cos2B+cos2C）+14+sin2C4（cos2A+cos2B+cos2C）=34+sin2A+sin2B+sin2C4（cos2A+cos2B+cos2C）=12+34（cos2A+cos2B+cos2C）≤32.

2.不等式①的加强

由sin2A+sin2B+sin2C≤94，笔者对不等式①进行加强，得到

命题1"在△ABC中，有sin2A1+cos2B+cos2C+sin2B1+cos2C+cos2A+sin2C1+cos2A+cos2B≤23（sin2A+sin2B+sin2C）.

证明"原不等式等价于a21+cos2B+cos2C+b21+cos2C+cos2A+c21+cos2A+cos2B≤23（a2+b2+c2）.

由证法2知cos2B+cos2C≥a2b2+c2，所以a21+cos2B+cos2C≤a21+a2b2+c2=a2b2+a2c2a2+b2+c2，所以a21+cos2B+cos2C+b21+cos2C+cos2A+c21+cos2A+cos2B≤2（a2b2+b2c2+c2a2）a2+b2+c2.

由常见不等式x2+y2+z2≥xy+yz+zx，得（x+y+z）2≥3（xy+yz+zx），

所以a2b2+b2c2+c2a2≤13（a2+b2+c2）2，

所以a21+cos2B+cos2C+b21+cos2C+cos2A+c21+cos2A+cos2B≤23（a2+b2+c2）.

3.不等式①的推广

对不等式①中的常量“1”进行推广，可以得到

命题2"在△ABC中，k≥1，则sin2Ak+cos2B+cos2C+sin2Bk+cos2C+cos2A+sin2Ck+cos2A+cos2B≤92（2k+1）.

证明"由sin2A+sin2B+sin2C≤94，结合权方和不等式可得∑sin2Ak+cos2B+cos2C=∑sin2Ak+2－sin2B－sin2C≤∑sin2Ak+2－（94－sin2A）

≤∑sin2Ak－14+sin2A=3－（14－k）∑1k－14+sin2A≤3－（14－k）93（k－14）+∑sin2A≤3－（14－k）93（k－14）+94=92（2k+1）.

4.不等式①的变式

对不等式中的次数、三角函数名称或结构进行改变，可以得到下列变式.

命题3"在△ABC中，有sinA1+cos2B+cos2C+sinB1+cos2C+cos2A+sinC1+cos2A+cos2B≤3.

证明"1+cos2B+cos2C=sin2A+cos2A+cos2B+cos2C，则原不等式等价于∑sinAsin2A+cos2A+cos2B+cos2C≤3.

又cos2A+cos2B+cos2C≥34，所以∑sinAsin2A+cos2A+cos2B+cos2C≤∑sinAsin2A+34，故只需证明∑sinAsin2A+34≤3.

因为A∈（0，π），所以sinA＞0，所以sin2A+34≥234sin2A=3sinA，则sinAsin2A+34≤33.

所以sinA1+cos2B+cos2C+sinB1+cos2C+cos2A+sinC1+cos2A+cos2B≤3.

命题4"在△ABC中，有∑sinA1+cos2B+cos2C≤322.

证明"由证法2知cos2B+cos2C≥a2b2+c2，结合正弦定理得cos2B+cos2C≥sin2Asin2B+sin2C，

于是∑sinA1+cos2B+cos2C≤∑sinA1+sin2Asin2B+sin2C=∑sinAsin2B+sin2Csin2A+sin2B+sin2C.

因为∑sin2A≤94，由柯西不等式得

（∑sinAsin2B+sin2C）2≤∑sin2A∑（sin2B+sin2C）=2（∑sin2A）2≤92∑sin2A，

即∑sinAsin2B+sin2C≤322∑sin2A，所以∑sinA1+cos2B+cos2C≤322.

命题5"在△ABC中，有sinA1－sinBsinC+sinB1－sinCsinA+sinC1－sinAsinB≤33.

证明"因为sinBsinC=－12［cos（B+C）－cos（B－C）］≤－12［cos（B+C）－1］=12（1+cosA），

所以1－sinBsinC≥1－12（1+cosA）=12（1－cosA）=sin2A2，

故1－sinBsinC≥sinA2，sinA1－sinBsinC≤2cosA2.

同理可得sinB1－sinCsinA≤2cosB2，sinC1－sinAsinB≤2cosC2.

以上三式相加得sinA1－sinBsinC+sinB1－sinCsinA+sinC1－sinAsinB≤2（cosA2+cosB2+cosC2）.

又熟知cosA2+cosB2+cosC2≤332，所以sinA1－sinBsinC+sinB1－sinCsinA+sinC1－sinAsinB≤33.

对不等式①继续变式，可得下述结论

命题6"（2011年第七届北方数学邀请赛试题）在△ABC中，有11+cos2A+cos2B+11+cos2B+cos2C+11+cos2C+cos2A≤2.

命题7"在△ABC中，有11+sin2A+sin2B+11+sin2B+sin2C+11+sin2C+sin2A≥65.

命题8"在△ABC中，有11+cot2A+cot2B+11+cot2B+cot2C+11+cot2C+cot2A≤95.

命题9"在锐角△ABC，有13+tan2A+tan2B+13+tan2B+tan2C+13+tan2C+tan2A≤13.

仿照命题2，又可将上述四个命题推广为

命题10"在△ABC中，λ≥1，则∑1λ+cos2A+cos2B≤62λ+1.

命题11"在△ABC中，λ≥0，则∑1λ+sin2A+sin2B≥62λ+3.

命题12"在△ABC中，λ≥13，则∑1λ+cot2A+cot2B≤93λ+2.

命题13"在锐角△ABC中，λ≥3时，有∑1λ+tan2A+tan2B≤3λ+6.

囿于篇幅，上述结论的证明留给有兴趣的读者.