4. (Canada 1) ~Let triangle ABC be inscribed in a circle, and the angle bisectors of angles A,B,C intersect this circle at points A′,B′,C′, respectively. Prove: The area of triangle A′B′C′ is greater than or equal to the area of triangle ABC.
Solution
3. (Canada 1)
Proof: Let R,r,s,△ denote the circumradius, inradius, semiperimeter, and area of △ABC, respectively, and let △′ denote the area of △A′B′C′. Then, △=4Rabc=2R2sinAsinBsinC,△′=2R2sinA′sinB′sinC′. The angle at C′ in △A′B′C′ is 2A+B=90∘−2C. Substituting this into (2) yields Δ′=2R2cos2Acos2Bcos2C.
Thus,
For sin2B and sin2C, there are similar formulas. Substituting them into (4) gives −ac(s−c)(s−a)⋅ab(s−a)(s−b)=8abc(s−a).
By Heron's formula, △=s(s−a)(s−b)(s−c), so (5) becomes Δ′△=8sabc△2.
Since △/s=r and △/abc=1/4R, substituting these into (6) gives △′Δ=R2r.
By Euler's inequality, 2r/R⩽1, which completes the proof.
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.