Olympiad Maths Prep

Track / Stage 7 / 98 of 300 #1498 of 2000

Problem 1498

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.2 Prove it

Let ABCDABCD be a convex quadrilateral with these properties: ADC=135o\angle ADC = 135^o and ADBABD=2DAB=4CBD\angle ADB - \angle ABD = 2\angle DAB = 4\angle CBD.
If BC=2CDBC = \sqrt2 CD , prove that AB=BC+ADAB = BC + AD.

by Mahdi Etesami Fard

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Angle Chasing:
Given the problem, we start by defining the angles:
- Let DBC=α\angle DBC = \alpha.
- Then DAB=2α\angle DAB = 2\alpha.
- Given ADBABD=4α\angle ADB - \angle ABD = 4\alpha, we can write:
ADB=90+αandABD=903α. \angle ADB = 90^\circ + \alpha \quad \text{and} \quad \angle ABD = 90^\circ - 3\alpha.
- Since ADC=135\angle ADC = 135^\circ, we have:
BDC=45α. \angle BDC = 45^\circ - \alpha.
- Also, DCB=135\angle DCB = 135^\circ.

2. Intersection Point:
Let BCAD={F}BC \cap AD = \{F\}. Note that FDC\triangle FDC is right-angled at FF with one angle of 4545^\circ. This implies:
DFC=45. \angle DFC = 45^\circ.

3. Trigonometric Relationships:
We need to evaluate sinα\sin \alpha and cosα\cos \alpha. Given BC=xBC = x and BC=2CDBC = \sqrt{2} CD, let CD=yCD = y. Then:
x=2y. x = \sqrt{2} y.

4. Using Right Triangle Properties:
In FDC\triangle FDC, since DFC=45\angle DFC = 45^\circ, we have:
sin45=cos45=12. \sin 45^\circ = \cos 45^\circ = \frac{1}{\sqrt{2}}.
Therefore, FD=FC=y2FD = FC = \frac{y}{\sqrt{2}}.

5. **Finding ABAB and ADAD:**
- To find ABAB and ADAD in terms of xx:
AD=AF+FD=AF+y2. AD = AF + FD = AF + \frac{y}{\sqrt{2}}.
- Since BC=xBC = x and BC=2yBC = \sqrt{2} y, we have:
y=x2. y = \frac{x}{\sqrt{2}}.
- Thus:
FD=y2=x22=x2. FD = \frac{y}{\sqrt{2}} = \frac{\frac{x}{\sqrt{2}}}{\sqrt{2}} = \frac{x}{2}.

6. Using the Given Condition:
- We need to show AB=BC+ADAB = BC + AD.
- From the problem, we know BC=xBC = x and AD=AF+x2AD = AF + \frac{x}{2}.
- To find ABAB, we use the fact that DAB=2α\angle DAB = 2\alpha and ABD=903α\angle ABD = 90^\circ - 3\alpha.

7. Conclusion:
- By the given conditions and the trigonometric relationships, we can conclude that:
AB=BC+AD. AB = BC + AD.
- Therefore, the given condition holds true.

The final answer is AB=BC+ADAB = BC + AD.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.