不妨设C为钝角
2cos²A=1+cos2A,2cos²B=1+cos2B
则t=1+(cos2A+cos2B+2cos²C)/2
=1+[2cos(A+B)cos(A-B)+2cos²C]/2
=1+cosC[cosC-cos(A-B)]
因cosC
不妨设C为钝角
2cos²A=1+cos2A,2cos²B=1+cos2B
则t=1+(cos2A+cos2B+2cos²C)/2
=1+[2cos(A+B)cos(A-B)+2cos²C]/2
=1+cosC[cosC-cos(A-B)]
因cosC