Maths Olympiad Prep

Library / /12 of 23

Geometry Difficulty 5.1 AIME, harder Find the answer United States

Cyclic quadrilateral ABCDABCD has lengths BC=CD=3BC = CD = 3 and DA=5DA = 5 with CDA=120\angle CDA = 120^\circ. What is the length of the shorter diagonal of ABCDABCD?

Pick one

Solution

Place the figure in the coordinate plane with D=(0,0)D = (0, 0) and A=(5,0)A = (5, 0). Because CDA=120\angle CDA = 120^\circ and CD=3CD = 3, it follows that C=(32,323)C = \left(-\frac{3}{2}, \frac{3}{2}\sqrt{3}\right). The perpendicular bisectors of CD\overline{CD} and AD\overline{AD} intersect at the center of the circumscribing circle. The midpoint of CD\overline{CD} is (34,343)\left(-\frac{3}{4}, \frac{3}{4}\sqrt{3}\right). The line through CD\overline{CD} has slope 3-\sqrt{3}, so a line perpendicular to that has slope 33\frac{\sqrt{3}}{3}. The perpendicular bisector of CD\overline{CD} therefore has equation
y343=33(x+34). y - \frac{3}{4}\sqrt{3} = \frac{\sqrt{3}}{3}\left(x + \frac{3}{4}\right).
The perpendicular bisector of AD\overline{AD} has equation x=52x = \frac{5}{2}. Solving this system of equations locates the center of the circumscribing circle at O(52,1163)O\left(\frac{5}{2}, \frac{11}{6}\sqrt{3}\right).

Figure 1

By the Distance Formula, the radius of the circle is
r=OD=(52)2+(1163)2=733. r = OD = \sqrt{\left(\frac{5}{2}\right)^2 + \left(\frac{11}{6}\sqrt{3}\right)^2} = \frac{7\sqrt{3}}{3}.
Let θ\theta be the measure of BCO\angle BCO. By the Law of Cosines applied to BCO\triangle BCO,
493=BO2=BC2+CO22BCCOcosθ=9+49323733cosθ, \frac{49}{3} = BO^2 = BC^2 + CO^2 - 2BC \cdot CO \cos \theta = 9 + \frac{49}{3} - 2 \cdot 3 \cdot \frac{7\sqrt{3}}{3} \cos \theta,
which gives cosθ=3143\cos \theta = \frac{3}{14}\sqrt{3}. A Double Angle Formula then gives cos2θ=2271961=7198\cos 2\theta = 2 \cdot \frac{27}{196} - 1 = -\frac{71}{98}. Triangles BOC\triangle BOC and COD\triangle COD are congruent isosceles triangles, so BCD\angle BCD has measure 2θ2\theta. By the Law of Cosines applied to BCD\triangle BCD,
BD2=BC2+CD22BCCDcos2θ=9+9233(7198)=152149=(3137)2, BD^2 = BC^2 + CD^2 - 2BC \cdot CD \cos 2\theta = 9 + 9 - 2 \cdot 3 \cdot 3 \cdot \left(-\frac{71}{98}\right) = \frac{1521}{49} = \left(\frac{3 \cdot 13}{7}\right)^2,
so BD=397BD = \frac{39}{7}. The Law of Cosines applied to ADC\triangle ADC gives AC=7AC = 7, so the shorter diagonal has length 397\frac{39}{7}.

The Law of Cosines applied to ADC\triangle ADC gives
CA2=32+52235cos120. CA^2 = 3^2 + 5^2 - 2 \cdot 3 \cdot 5 \cdot \cos 120^\circ.
Because cos120=12\cos 120^\circ = -\frac{1}{2}, diagonal AC\overline{AC} has length 9+25+15=7\sqrt{9+25+15} = 7. Because ABCDABCD is cyclic, ABC\angle ABC is supplementary to ADC\angle ADC, so ABC=60\angle ABC = 60^\circ. The Law of Cosines applied to ABC\triangle ABC gives
72=32+BA223BAcos60. 7^2 = 3^2 + BA^2 - 2 \cdot 3 \cdot BA \cdot \cos 60^\circ.
Simplifying yields BA23BA40=0BA^2 - 3 \cdot BA - 40 = 0, so BA=8BA = 8. By Ptolemy's Theorem
CABD=BACD+BCAD. CA \cdot BD = BA \cdot CD + BC \cdot AD.
Substituting gives 7BD=83+357 \cdot BD = 8 \cdot 3 + 3 \cdot 5, so BD=397BD = \frac{39}{7}, which is less than the length of diagonal AC\overline{AC}.

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.