Library / /26 of 520
Algebra Difficulty 5.6 AIME, harder Prove it
58. Let a,b,c∈C, then
∑∣a∣−∑∣b+c∣+∑a⩾0
Solution
58. Simplified Proof
Original expression ⇔(∑∣a∣+∣∑a∣)2⩾(∑∣b+c∣)2⇔
However,
∑(∣b∣⋅∣c∣)+∑(∣a∣⋅∑a)⩾∑(∣a+b∣⋅∣a+c∣)
∑(∣b∣⋅∣c∣)+∑(∣a∣⋅∣∑a∣)=∑(∣b∣⋅∣c∣+∣a∣⋅∣a+b+c∣)⩾∑bc+a2+ab+ac=∑∣(a+b)(a+c)∣
Therefore, the original expression holds.
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.