Maths Olympiad Prep

Library / Harvard-MIT Mathematics Tournament /209 of 352

Harvard-MIT Mathematics Tournament

Geometry Difficulty 5.2 AIME, harder Prove it United States

Problem:

Let ABCDABCD be a cyclic quadrilateral, and suppose that BC=CD=2BC = CD = 2. Let II be the incenter of triangle ABDABD. If AI=2AI = 2 as well, find the minimum value of the length of diagonal BDBD.

Solutions — 2

Solution 1

Solution:

Answer: 232\sqrt{3}

Let TT be the point where the incircle intersects ADAD, and let rr be the inradius and RR be the circumradius of △ABD\triangle ABD. Since BC=CD=2BC = CD = 2, CC is on the midpoint of arc BDBD on the opposite side of BDBD as AA, and hence on the angle bisector of AA. Thus AA, II, and CC are collinear. We have the following formulas:
AI=IMsin⁡∠IAM=rsin⁡A2BC=2Rsin⁡A2BD=2Rsin⁡A \begin{aligned} AI &= \frac{IM}{\sin \angle IAM} = \frac{r}{\sin \frac{A}{2}} \\ BC &= 2R \sin \frac{A}{2} \\ BD &= 2R \sin A \end{aligned}
The last two equations follow from the extended law of sines on △ABC\triangle ABC and △ABD\triangle ABD, respectively.

Using AI=2=BCAI = 2 = BC gives sin⁡2A2=r2R\sin^2 \frac{A}{2} = \frac{r}{2R}. However, it is well-known that R≥2rR \geq 2r with equality for an equilateral triangle (one way to see this is the identity 1+rR=cos⁡A+cos⁡B+cos⁡D1 + \frac{r}{R} = \cos A + \cos B + \cos D). Hence sin⁡2A2≤14\sin^2 \frac{A}{2} \leq \frac{1}{4} and A2≤30∘\frac{A}{2} \leq 30^\circ. Then
BD=2R(2sin⁡A2cos⁡A2)=BC⋅2cos⁡A2≥2(2⋅32)=23 BD = 2R \left(2 \sin \frac{A}{2} \cos \frac{A}{2}\right) = BC \cdot 2 \cos \frac{A}{2} \geq 2\left(2 \cdot \frac{\sqrt{3}}{2}\right) = 2\sqrt{3}
with equality when △ABD\triangle ABD is equilateral.

Figure 1

Solution 2

Solution:

Figure 1

Let TT be the point where the incircle intersects ADAD, and let rr be the inradius and RR be the circumradius of △ABD\triangle ABD. Since BC=CD=2BC = CD = 2, CC is on the midpoint of arc BDBD on the opposite side of BDBD as AA, and hence on the angle bisector of AA. Thus AA, II, and CC are collinear. We have the following formulas:
AI=IMsin⁡∠IAM=rsin⁡A2BC=2Rsin⁡A2BD=2Rsin⁡A \begin{aligned} AI & = \frac{IM}{\sin \angle IAM} = \frac{r}{\sin \frac{A}{2}} \\ BC & = 2R \sin \frac{A}{2} \\ BD & = 2R \sin A \end{aligned}
The last two equations follow from the extended law of sines on △ABC\triangle ABC and △ABD\triangle ABD, respectively.

Using AI=2=BCAI = 2 = BC gives sin⁡2A2=r2R\sin^2 \frac{A}{2} = \frac{r}{2R}. However, it is well-known that R≥2rR \geq 2r with equality for an equilateral triangle (one way to see this is the identity 1+rR=cos⁡A+cos⁡B+cos⁡D1 + \frac{r}{R} = \cos A + \cos B + \cos D). Hence sin⁡2A2≤14\sin^2 \frac{A}{2} \leq \frac{1}{4} and A2≤30∘\frac{A}{2} \leq 30^\circ. Then
BD=2R(2sin⁡A2cos⁡A2)=BC⋅2cos⁡A2≥2(2⋅32)=23 BD = 2R \left(2 \sin \frac{A}{2} \cos \frac{A}{2}\right) = BC \cdot 2 \cos \frac{A}{2} \geq 2 \left(2 \cdot \frac{\sqrt{3}}{2}\right) = 2\sqrt{3}
with equality when △ABD\triangle 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.