Problem: A convex hexagon ABCDEF is inscribed in a circle with radius R. Diagonals AD and BE, BE and CF, AD and CF of the hexagon meet at points M, N, K respectively. Let r1,r2,r3,r4,r5,r6 be the inradii of the triangles ABM, BCN, CDK, DEM, EFN, AFK respectively. Prove that r1+r2+r3+r4+r5+r6⩽R3.
Solution
Solution: We start with a lemma.
Lemma. Let R be the circumradius of a quadrilateral XYZT, the diagonals of XYZT meet at U, and φ=21∠XUY. Then the radii r1 and r2 of the incentres of XYU and ZTU satisfy Rr1+r2⩽2tanφ(1−sinφ) Indeed, let ∠UXY=2ψ, ∠UYX=2ϑ, then ∠UTZ=∠UXY=2ψ, ∠UZT=∠UYX=2ϑ (and obviously ψ+ϑ+φ=2π). We have XY+ZT=(r1+r2)(cotψ+cotϑ)=2Rsin∠XTY+2Rsin(2φ−∠XTY)=2R(sin∠XTY+sin(2φ−∠XTY))=2R⋅2sinφcos(φ−∠XTY)⩽4Rsinφ. Therefore Rr1+r2⩽cotψ+cotϑ4sinφ=sin(ψ+ϑ)4sinφsinψsinϑ=cosφ4sinφsinψsinϑ=4tanφsinψsinϑ==4tanφ⋅21(cos(ψ−ϑ)−cos(ψ+ϑ))⩽2tanφ(1−sinφ) q.e.d.
Returning to the problem, let ∠AMB=2α, ∠BNC=2β, ∠CKD=2γ, then α+β+γ=2π.
Applying the inequality (1) to the quadrilaterals ABDE, BCEF and CDFA we get Rr1+r2+r3+r4+r5+r6=Rr1+r4+Rr2+r5+Rr3+r6⩽2tanα(1−sinα)+2tanβ(1−sinβ)+2tanγ(1−sinγ) We claim that if α+β+γ=2π then 2tanα(1−sinα)+2tanβ(1−sinβ)+2tanγ(1−sinγ)⩽3 To prove that we consider the function f(x)=2tanx(1−sinx) for x∈(0;2π). Since f′′(x)=−2cos3x(1−sinx)2+cos4x<0 for x∈(0;2π), it follows from Jensen's inequality that f(α)+f(β)+f(γ)⩽3f(3α+β+γ)=3f(6π)=3 Thus (2) is proved, and r1+r2+r3+r4+r5+r6⩽3R.
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.