GeometryDifficulty 5.2AIME, harderProve itUnited States
Problem:
Let ABCD be a cyclic quadrilateral, and suppose that BC=CD=2. Let I be the incenter of triangle ABD. If AI=2 as well, find the minimum value of the length of diagonal BD.
Solutions — 2
Solution 1
Solution:
Answer: 23
Let T be the point where the incircle intersects AD, and let r be the inradius and R be the circumradius of △ABD. Since BC=CD=2, C is on the midpoint of arc BD on the opposite side of BD as A, and hence on the angle bisector of A. Thus A, I, and C are collinear. We have the following formulas: AIBCBD=sin∠IAMIM=sin2Ar=2Rsin2A=2RsinA The last two equations follow from the extended law of sines on △ABC and △ABD, respectively.
Using AI=2=BC gives sin22A=2Rr. However, it is well-known that R≥2r with equality for an equilateral triangle (one way to see this is the identity 1+Rr=cosA+cosB+cosD). Hence sin22A≤41 and 2A≤30∘. Then BD=2R(2sin2Acos2A)=BC⋅2cos2A≥2(2⋅23)=23 with equality when △ABD is equilateral.
Solution 2
Solution:
Let T be the point where the incircle intersects AD, and let r be the inradius and R be the circumradius of △ABD. Since BC=CD=2, C is on the midpoint of arc BD on the opposite side of BD as A, and hence on the angle bisector of A. Thus A, I, and C are collinear. We have the following formulas: AIBCBD=sin∠IAMIM=sin2Ar=2Rsin2A=2RsinA The last two equations follow from the extended law of sines on △ABC and △ABD, respectively.
Using AI=2=BC gives sin22A=2Rr. However, it is well-known that R≥2r with equality for an equilateral triangle (one way to see this is the identity 1+Rr=cosA+cosB+cosD). Hence sin22A≤41 and 2A≤30∘. Then BD=2R(2sin2Acos2A)=BC⋅2cos2A≥2(2⋅23)=23 with equality when △ABD is equilateral.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.