In an acute angled triangle ABC , let BB′ and CC′ be the altitudes. Ray C′B′ intersects the circumcircle at B′′ andl let αA be the angle ABB′′. Similarly are defined the angles αB and αC. Prove that sinαAsinαBsinαC≤3236 (Romania)
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
1. Setup and Notation: Let B′≡D, C′≡E, and B′′≡K for convenience. Let ray DE intersect the circumcircle at L. We aim to prove that AK=AL.
2. Angle Relationships: Note that: ∠AKL=π−∠ADK−∠KAC=∠B−∠KBC and ∠ALK=∠ALC−∠KLC=∠B−∠KBC Hence, ∠AKL=∠ALK=αA⟹AK=AL.
3. Law of Sines Application: From the Law of Sines, we get: sinαAAK=sin∠CAB and sin(π−∠B)AK=sinαAAD Dividing these two relationships gives: sinαAsin∠B=AD⋅sin∠CAB⋅sinαA⟹sin2αA=ABsin∠B⋅sin∠C⋅AD Since AD=ABcos∠A, we have: sin2αA=sin∠B⋅sin∠C⋅cos∠A
4. Similar Relationships for Other Angles: Similarly, we obtain: sin2αB=sin∠C⋅sin∠A⋅cos∠B and sin2αC=sin∠A⋅sin∠B⋅cos∠C
5. Multiplying the Relationships: Multiplying these, we get: sinαA⋅sinαB⋅sinαC=sin∠A⋅sin∠B⋅sin∠C⋅cos∠A⋅cos∠B⋅cos∠C
6. Applying AM-GM Inequality: From the Arithmetic Mean-Geometric Mean (AM-GM) inequality, we have: sin∠A⋅sin∠B⋅sin∠C≤27(sin∠A+sin∠B+sin∠C)3 The second derivative of the function sinx is −sinx<0, so sinx is concave in (0,2π). From Jensen's inequality, we have: sin∠A+sin∠B+sin∠C≤3⋅sin(3∠A+∠B+∠C)=3sin(3π)=233 Hence: sin∠A⋅sin∠B⋅sin∠C≤27(233)3=833
7. Applying Jensen's Inequality to Cosine: Similarly, the second derivative of cosx is −cosx<0 in (0,2π), so: cos∠A⋅cos∠B⋅cos∠C≤27(cos∠A+cos∠B+cos∠C)3≤27(3cos(3∠A+∠B+∠C))3=cos3(3π)=81 Therefore: cos∠A⋅cos∠B⋅cos∠C≤221=42
8. Final Conclusion: Combining these results, we have: sinαA⋅sinαB⋅sinαC≤833⋅42=3236 Equality holds when ∠A=∠B=∠C=3π.
The final answer is 3236
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.