Olympiad Maths Prep

Track / Stage 6 / 282 of 400 #1282 of 2000

Problem 1282

National olympiad, first round
Algebra Difficulty 6.5 Prove it

Example 5 In the acute triangle ABC\triangle ABC, since A+B>π2A+B>\frac{\pi}{2}, we have 0<sinA<sin(π2B)=cosB0<\sin A<\sin \left(\frac{\pi}{2}-B\right)=\cos B.
Similarly, sinB>cosC,sinC>cosA\sin B>\cos C, \sin C>\cos A.
By summing up, we get sinA+sinB+sinC>cosA+cosB+cosC\sin A+\sin B+\sin C>\cos A+\cos B+\cos C.
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.

Official solution

sinA+sinB+sinCcosAcosBcosC=(sinA+sinB)(cosA+cosB)+(sinCcosC)=2sinA+B2cosAB22cosA+B2cosAB2+2sinC2sinC22cos2C2+1=1+2cosAB2(sinA+B2cosA+B2)+2cosC2(sinC2cosC2)=1+2cosAB2(cosC2sinC2)+2cosC2(sinC2cosC2)=1+2(sinC2cosC2)(cosC2cosAB2)=1+22sin(C2π4)(2)sinA+CB4sinB+CA4=1+42sin(π4C2)sinA+CB2sinB+CA2, \begin{array}{l} \sin A+\sin B+\sin C-\cos A-\cos B-\cos C \\ =(\sin A+\sin B)-(\cos A+\cos B)+(\sin C-\cos C) \\ =2 \sin \frac{A+B}{2} \cos \frac{A-B}{2}-2 \cos \frac{A+B}{2} \cos \frac{A-B}{2}+2 \sin \frac{C}{2} \sin \frac{C}{2}-2 \cos ^{2} \frac{C}{2}+1 \\ =1+2 \cos \frac{A-B}{2}\left(\sin \frac{A+B}{2}-\cos \frac{A+B}{2}\right)+2 \cos \frac{C}{2}\left(\sin \frac{C}{2}-\cos \frac{C}{2}\right) \\ =1+2 \cos \frac{A-B}{2}\left(\cos \frac{C}{2}-\sin \frac{C}{2}\right)+2 \cos \frac{C}{2}\left(\sin \frac{C}{2}-\cos \frac{C}{2}\right) \\ =1+2\left(\sin \frac{C}{2}-\cos \frac{C}{2}\right)\left(\cos \frac{C}{2}-\cos \frac{A-B}{2}\right) \\ =1+2 \sqrt{2} \sin \left(\frac{C}{2}-\frac{\pi}{4}\right) \cdot(-2) \sin \frac{A+C-B}{4} \sin \frac{B+C-A}{4} \\ =1+4 \sqrt{2} \sin \left(\frac{\pi}{4}-\frac{C}{2}\right) \sin \frac{A+C-B}{2} \sin \frac{B+C-A}{2}, \end{array}

Since A,B,C(0,π2)A, B, C \in \left(0, \frac{\pi}{2}\right), we have 0<sin(π4C2)<10 < \sin \left(\frac{\pi}{4} - \frac{C}{2}\right) < 1, sinA+CB4>0\sin \frac{A+C-B}{4} > 0, and sinB+CA4>0\sin \frac{B+C-A}{4} > 0,
thus sinA+sinB+sinCcosAcosBcosC>1>0\sin A + \sin B + \sin C - \cos A - \cos B - \cos C > 1 > 0.
From the proof process, we obtain a new problem:
In an acute ABC\triangle ABC, prove that sinA+sinB+sinC>1+cosA+cosB+cosC\sin A + \sin B + \sin C > 1 + \cos A + \cos B + \cos C.
This is a stronger statement than the original problem.
Furthermore, since cosA+cosB+cosC(1,32]\cos A + \cos B + \cos C \in \left(1, \frac{3}{2}\right], we can derive:
In an acute ABC\triangle ABC, prove that sinA+sinB+sinC>2\sin A + \sin B + \sin C > 2.
This looks simpler and when Aπ2A \rightarrow \frac{\pi}{2}, Bπ2B \rightarrow \frac{\pi}{2}, sinA+sinB+sinC2\sin A + \sin B + \sin C \rightarrow 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=sinxxy = \frac{\sin x}{x} which is monotonically decreasing in (0,π2)\left(0, \frac{\pi}{2}\right), see Example 4 in 81.1.
Method 2 (Adjustment Method): Let f(A,B,C)=sinA+sinB+sinCf(A, B, C) = \sin A + \sin B + \sin C, we will prove:
f(A,B,C)>2f(A, B, C) > 2.
Consider the function f(A,B,C)f(A, B, C) and its partial derivatives. We have:
fA=cosA,fB=cosB,fC=cosC. \frac{\partial f}{\partial A} = \cos A, \quad \frac{\partial f}{\partial B} = \cos B, \quad \frac{\partial f}{\partial C} = \cos C.
Since cosA,cosB,cosC>0\cos A, \cos B, \cos C > 0 in an acute triangle, f(A,B,C)f(A, B, C) is an increasing function.
We also have:
sin2A+sin2B+sin2C=2+2cosAcosBcosC>2. \sin^2 A + \sin^2 B + \sin^2 C = 2 + 2 \cos A \cos B \cos C > 2.

A new question arises: In an acute ABC\triangle ABC, which is larger, sin2A+sin2B+sin2C\sin^2 A + \sin^2 B + \sin^2 C or 1+cosA+cosB+cosC1 + \cos A + \cos B + \cos C?
When (A,B,C)(π2,π2,0)(A, B, C) \rightarrow \left(\frac{\pi}{2}, \frac{\pi}{2}, 0\right), sin2A+sin2B+sin2C2\sin^2 A + \sin^2 B + \sin^2 C \rightarrow 2, 1+cosA+cosB+cosC21 + \cos A + \cos B + \cos C \rightarrow 2,
When (A,B,C)(π3,π3,π3)(A, B, C) \rightarrow \left(\frac{\pi}{3}, \frac{\pi}{3}, \frac{\pi}{3}\right), sin2A+sin2B+sin2C=94\sin^2 A + \sin^2 B + \sin^2 C = \frac{9}{4}, 1+cosA+cosB+cosC=521 + \cos A + \cos B + \cos C = \frac{5}{2}.
We conjecture that in an acute ABC\triangle ABC, sin2A+sin2B+sin2C>1+cosA+cosB+cosC\sin^2 A + \sin^2 B + \sin^2 C > 1 + \cos A + \cos B + \cos C.
This is equivalent to:
sin2A+sin2B+sin2C>1+cosA+cosB+cosC \sin^2 A + \sin^2 B + \sin^2 C > 1 + \cos A + \cos B + \cos C
sin2A+sin2B+sin2C>2 \sin^2 A + \sin^2 B + \sin^2 C > 2
2+2cosAcosBcosC>2 2 + 2 \cos A \cos B \cos C > 2
2(cosA+cosB+cosC)+cos2A+cos2B+cos2C>1 2(\cos A + \cos B + \cos C) + \cos 2A + \cos 2B + \cos 2C > 1
(cosA+cosB+cosC1)+(cosA+cosB+cosC+cos2A+cos2B+cos2C)>0 (\cos A + \cos B + \cos C - 1) + (\cos A + \cos B + \cos C + \cos 2A + \cos 2B + \cos 2C) > 0
Since cosA+12(cos2B+cos2C)=cosA+cos(B+C)cos(BC)=cosA[1cos(BC)]>0\cos A + \frac{1}{2}(\cos 2B + \cos 2C) = \cos A + \cos (B+C) \cos (B-C) = \cos A [1 - \cos (B-C)] > 0,
Similarly, cosB+12(cos2C+cos2A)>0\cos B + \frac{1}{2}(\cos 2C + \cos 2A) > 0, cosC+12(cos2A+cos2B)>0\cos C + \frac{1}{2}(\cos 2A + \cos 2B) > 0.
Thus, cosA+cosB+cosC+cos2A+cos2B+cos2C>0\cos A + \cos B + \cos C + \cos 2A + \cos 2B + \cos 2C > 0,
and cosA+cosB+cosC>1\cos A + \cos B + \cos C > 1.
Therefore, sin2A+sin2B+sin2C>1+cosA+cosB+cosC>2\sin^2 A + \sin^2 B + \sin^2 C > 1 + \cos A + \cos B + \cos C > 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\sin A + \sin B + \sin C > 2, we provide another geometric approach.
Let the sides of ABC\triangle ABC be a,b,ca, b, c, and the circumradius be RR. The inequality to be proven can be transformed into a+b+c>4Ra + b + c > 4R.
Construct ABC\triangle ABC and its circumcircle. Assume a=BCa = BC is the largest side, and translate ABC\triangle ABC and its circumcircle to A1B1C1\triangle A_1B_1C_1 and its circumcircle, such that B1B_1 coincides with CC,
and C1C_1 lies on the extension of BCBC, as shown in Figure 1-17. Let the other intersection of the two circles be DD,
then BDC=C1DC\angle BDC = \angle C_1DC, and BC=CC1BC = CC_1, so DB=DC1DB = DC_1, DCBC1DC \perp BC_1,
DBDB and DC1DC_1 are diameters of the two circles. Since ABC\triangle ABC is an acute triangle, DD lies inside the quadrilateral ABC1A1AB C_1 A_1,
thus AB+AA1+A1C1>DB+DC1AB + AA_1 + A_1C_1 > DB + DC_1, i.e., a+b+c>4Ra + 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.