Maths Olympiad Prep

Library / /227 of 377

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=IMsinIAM=rsinA2BC=2RsinA2BD=2RsinA \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 sin2A2=r2R\sin^2 \frac{A}{2} = \frac{r}{2R}. However, it is well-known that R2rR \geq 2r with equality for an equilateral triangle (one way to see this is the identity 1+rR=cosA+cosB+cosD1 + \frac{r}{R} = \cos A + \cos B + \cos D). Hence sin2A214\sin^2 \frac{A}{2} \leq \frac{1}{4} and A230\frac{A}{2} \leq 30^\circ. Then
BD=2R(2sinA2cosA2)=BC2cosA22(232)=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=IMsinIAM=rsinA2BC=2RsinA2BD=2RsinA \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 sin2A2=r2R\sin^2 \frac{A}{2} = \frac{r}{2R}. However, it is well-known that R2rR \geq 2r with equality for an equilateral triangle (one way to see this is the identity 1+rR=cosA+cosB+cosD1 + \frac{r}{R} = \cos A + \cos B + \cos D). Hence sin2A214\sin^2 \frac{A}{2} \leq \frac{1}{4} and A230\frac{A}{2} \leq 30^\circ. Then
BD=2R(2sinA2cosA2)=BC2cosA22(232)=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,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.