已知非钝角三角形 ABC 的三个内角满足 cos2A+cos2B=sinC,求证:C 为直角.
分析与解 法一 根据题意,有1+cos2A2+1+cos2B2=sinC,于是1+12(cos2A+cos2B)=sinC,和差化积得1+cos(A+B)⋅cos(A−B)=sinC,因此1−cos(A−B)⋅cosC=sinC.若 C≠π2,则cos(A−B)=1−sinCcosC,而由 A+B=π−C 可得A−B<π2−(π2−C)=C,进而 cos(A−B) 的取值范围是 (cosC,1].因此cosC<1−sinCcosC⩽1,进而sinC<1−cos2C=sin2C,矛盾.
因此 C 为直角.
法二 根据题意,有1+cos2A2+1+cos2B2−sin(A+B)=0,也即1+cos(A+B)cos(A−B)−sin(A+B)=0,若 A=B,容易得到 sin(A+B)=1,即 A=B=π4,此时 C 为直角;
若 A≠B,不妨设 A>B,并记 A+B=2x,A−B=2y,则x∈(π4,π2),y∈(0,π2),且有1−sin2x+cos2xcos2y=0,即(cosx−sinx)2+(cos2x−sin2x)(cos2y−sin2y)=0,也即2(cosx−sinx)(cosxcos2y−sinxsin2y)=0,也即2cosxcos2y⋅(cosx−sinx)(1−tanx⋅tan2y)=0,因为x∈(π4,π2),y∈[0,π2),x+y=A∈(0,π2),所以有tanx<tan(π2−y)=1tany,因此tanx⋅tan2y<tanx⋅tany<1,于是cosx−sinx=0,即 A+B=2x=π2.
综上知,命题得证.
法三 由三角形中的恒等式知cos2A+cos2B+cos2C=1−2cosAcosBcosC,于是有1−2cosAcosBcosC−cos2C=sinC,整理得2cosAcosBcosC=sin2C−sinC=sinC⋅(sinC−1)⩽0.又因为 △ABC 非钝角三角形,所以sinC(sinC−1)=2cosAcosBcosC⩾0,从而有 sinC(1−sinC)=0,于是 C 为直角.