Maths Olympiad Prep

Library / /3 of 18

Geometry Difficulty 6.0 AIME, harder Prove it Argentina

Let ABCDABCD be a convex quadrilateral such that AB=CDAB = CD, BCD=2BAD\angle BCD = 2\angle BAD, ABC=2ADC\angle ABC = 2\angle ADC, and BADADC\angle BAD \neq \angle ADC. Find the angle between diagonals ACAC and BDBD.

Solution

Name BAD=α\angle BAD = \alpha, BCD=2α\angle BCD = 2\alpha, ADC=β\angle ADC = \beta, ABC=2β\angle ABC = 2\beta. The interior angles of ABCDABCD add up to 3α+3β=3603\alpha + 3\beta = 360^\circ. Hence, α+β=120\alpha + \beta = 120^\circ. As αβ\alpha \neq \beta, we may assume without loss of generality that β<60<α\beta < 60^\circ < \alpha.

Figure 1

Let X=ABCDX = AB \cap CD. Notice that AXD=60\angle AXD = 60^\circ. Let EE be the point on the same side as AA with respect to line CDCD such that CDECDE is equilateral. We have ECD=60=AXD\angle ECD = 60^\circ = \angle AXD and CE=CD=ABCE = CD = AB. Hence, ECABEC \parallel AB and ABCEABCE is a parallelogram. This implies BAE=BCE=2α60\angle BAE = \angle BCE = 2\alpha - 60^\circ and EAD=(2α60)α=α60\angle EAD = (2\alpha - 60^\circ) - \alpha = \alpha - 60^\circ. On the other hand, EDA=60β\angle EDA = 60^\circ - \beta. Since 60β=α60>060^\circ - \beta = \alpha - 60^\circ > 0, triangle AEDAED is isosceles with AE=EDAE = ED. Hence, ABCABC and BCDBCD are also isosceles. In particular BAC=180ABC2=90β\angle BAC = \frac{180^\circ - \angle ABC}{2} = 90^\circ - \beta, which implies CAD=α(90β)=30\angle CAD = \alpha - (90^\circ - \beta) = 30^\circ; and BDC=180BCD2=90α\angle BDC = \frac{180^\circ - \angle BCD}{2} = 90^\circ - \alpha, which implies BDA=β(90α)=30\angle BDA = \beta - (90^\circ - \alpha) = 30^\circ. Therefore, the acute angle formed by ACAC and BDBD is 30+30=6030^\circ + 30^\circ = 60^\circ.

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 and solution reproduced as published; topic and difficulty added by this site.