Prove: Let f(x)=−sinx(0⩽x<π), according to Jensen's inequality: −sin3A+B+C⩽31(−sinA−sinB−sinC) i.e., sinA+sinB+sinC⩽233. Equality holds if and only if A=B=C=3π.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.