Example 5 In the acute triangle △ABC, since A+B>2π, we have 0<sinA<sin(2π−B)=cosB. Similarly, sinB>cosC,sinC>cosA. By summing up, we get sinA+sinB+sinC>cosA+cosB+cosC. This is a common proposition, and the proof method is mostly constructed as above. If we use the difference method to prove it, how would we proceed?
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Since A,B,C∈(0,2π), we have 0<sin(4π−2C)<1, sin4A+C−B>0, and sin4B+C−A>0, thus sinA+sinB+sinC−cosA−cosB−cosC>1>0. From the proof process, we obtain a new problem: In an acute △ABC, prove that sinA+sinB+sinC>1+cosA+cosB+cosC. This is a stronger statement than the original problem. Furthermore, since cosA+cosB+cosC∈(1,23], we can derive: In an acute △ABC, prove that sinA+sinB+sinC>2. This looks simpler and when A→2π, B→2π, sinA+sinB+sinC→2, meaning 2 is the best constant. How to prove it? We can use a construction method or other approaches. Method 1: Utilize the function y=xsinx which is monotonically decreasing in (0,2π), see Example 4 in 81.1. Method 2 (Adjustment Method): Let f(A,B,C)=sinA+sinB+sinC, we will prove: f(A,B,C)>2. Consider the function f(A,B,C) and its partial derivatives. We have: ∂A∂f=cosA,∂B∂f=cosB,∂C∂f=cosC. Since cosA,cosB,cosC>0 in an acute triangle, f(A,B,C) is an increasing function. We also have: sin2A+sin2B+sin2C=2+2cosAcosBcosC>2.
A new question arises: In an acute △ABC, which is larger, sin2A+sin2B+sin2C or 1+cosA+cosB+cosC? When (A,B,C)→(2π,2π,0), sin2A+sin2B+sin2C→2, 1+cosA+cosB+cosC→2, When (A,B,C)→(3π,3π,3π), sin2A+sin2B+sin2C=49, 1+cosA+cosB+cosC=25. We conjecture that in an acute △ABC, sin2A+sin2B+sin2C>1+cosA+cosB+cosC. This is equivalent to: sin2A+sin2B+sin2C>1+cosA+cosB+cosC sin2A+sin2B+sin2C>2 2+2cosAcosBcosC>2 2(cosA+cosB+cosC)+cos2A+cos2B+cos2C>1 (cosA+cosB+cosC−1)+(cosA+cosB+cosC+cos2A+cos2B+cos2C)>0 Since cosA+21(cos2B+cos2C)=cosA+cos(B+C)cos(B−C)=cosA[1−cos(B−C)]>0, Similarly, cosB+21(cos2C+cos2A)>0, cosC+21(cos2A+cos2B)>0. Thus, cosA+cosB+cosC+cos2A+cos2B+cos2C>0, and cosA+cosB+cosC>1. Therefore, sin2A+sin2B+sin2C>1+cosA+cosB+cosC>2.
Note 1: In this example, we should not neglect or underestimate some seemingly clumsy methods, as they are often the closest to the essence, embodying the idea that "great clumsiness is clever, great foolishness is wise." Note 2: For the inequality sinA+sinB+sinC>2, we provide another geometric approach. Let the sides of △ABC be a,b,c, and the circumradius be R. The inequality to be proven can be transformed into a+b+c>4R. Construct △ABC and its circumcircle. Assume a=BC is the largest side, and translate △ABC and its circumcircle to △A1B1C1 and its circumcircle, such that B1 coincides with C, and C1 lies on the extension of BC, as shown in Figure 1-17. Let the other intersection of the two circles be D, then ∠BDC=∠C1DC, and BC=CC1, so DB=DC1, DC⊥BC1, DB and DC1 are diameters of the two circles. Since △ABC is an acute triangle, D lies inside the quadrilateral ABC1A1, thus AB+AA1+A1C1>DB+DC1, i.e., a+b+c>4R.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.