Maths Olympiad Prep

Track / Stage 8 / 62 of 180 #1762 of 1964

Problem 1762

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.1 Prove it

Let ABCDABCD be a trapezoid, with AB∥CDAB \parallel CD (the vertices are listed in cyclic order). The diagonals of this trapezoid are perpendicular to one another and intersect at OO. The base angles ∠DAB\angle DAB and ∠CBA\angle CBA are both acute. A point MM on the line sgement OAOA is such that ∠BMD=90o\angle BMD = 90^o, and a point NN on the line segment OBOB is such that ∠ANC=90o\angle ANC = 90^o. Prove that triangles OMNOMN and OBAOBA are similar.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

1. Given Information and Setup:
- Trapezoid ABCDABCD with AB∥CDAB \parallel CD.
- Diagonals ACAC and BDBD are perpendicular and intersect at OO.
- Base angles ∠DAB\angle DAB and ∠CBA\angle CBA are acute.
- Point MM on OAOA such that ∠BMD=90∘\angle BMD = 90^\circ.
- Point NN on OBOB such that ∠ANC=90∘\angle ANC = 90^\circ.

2. Coordinate System:
- Place AA at (0,0)(0,0), BB at (b,0)(b,0), CC at (c,a)(c,a), and DD at (d,a)(d,a).
- Since AB∥CDAB \parallel CD, the y-coordinates of CC and DD are the same.

3. Intersection of Diagonals:
- The diagonals ACAC and BDBD are perpendicular, so their slopes multiply to −1-1.
- Slope of ACAC is ac\frac{a}{c} and slope of BDBD is ad−b\frac{a}{d-b}.
- Therefore, ac⋅ad−b=−1\frac{a}{c} \cdot \frac{a}{d-b} = -1, which simplifies to d=b−a2cd = b - \frac{a^2}{c}.

4. **Coordinates of Intersection OO:**
- Using the section formula, the coordinates of OO are:
O(bc2a2+c2,abca2+c2) O\left(\frac{bc^2}{a^2 + c^2}, \frac{abc}{a^2 + c^2}\right)

5. **Finding Point MM:**
- MM lies on OAOA, so its coordinates are (m,amc)(m, \frac{am}{c}).
- Given ∠BMD=90∘\angle BMD = 90^\circ, the slopes of BMBM and DMDM multiply to −1-1.
- Slope of BMBM is amcm−b\frac{\frac{am}{c}}{m-b} and slope of DMDM is amc−am−d\frac{\frac{am}{c} - a}{m - d}.
- Solving for mm, we get:
m=bc2−a2bc(a2−bc+c2)a2+c2 m = \frac{bc^2 - \sqrt{a^2bc(a^2 - bc + c^2)}}{a^2 + c^2}

6. **Finding Point NN:**
- NN lies on OBOB, so its coordinates are (n,c(b−n)a)(n, \frac{c(b-n)}{a}).
- Given ∠ANC=90∘\angle ANC = 90^\circ, the slopes of ANAN and CNCN multiply to −1-1.
- Slope of ANAN is c(b−n)an\frac{\frac{c(b-n)}{a}}{n} and slope of CNCN is c(b−n)a−an−c\frac{\frac{c(b-n)}{a} - a}{n - c}.
- Solving for nn, we get:
n=bc2+a2bc(a2−bc+c2)a2+c2 n = \frac{bc^2 + \sqrt{a^2bc(a^2 - bc + c^2)}}{a^2 + c^2}

7. **Similarity of Triangles OMNOMN and OBAOBA:**
- To prove similarity, we need to show ONOA=OMOB=MNAB\frac{ON}{OA} = \frac{OM}{OB} = \frac{MN}{AB}.
- Calculate the lengths:
ON=(bc2+a2bc(a2−bc+c2)a2+c2−bc2a2+c2)2+(c(b−bc2+a2bc(a2−bc+c2)a2+c2)a−abca2+c2)2 ON = \sqrt{\left(\frac{bc^2 + \sqrt{a^2bc(a^2 - bc + c^2)}}{a^2 + c^2} - \frac{bc^2}{a^2 + c^2}\right)^2 + \left(\frac{c(b - \frac{bc^2 + \sqrt{a^2bc(a^2 - bc + c^2)}}{a^2 + c^2})}{a} - \frac{abc}{a^2 + c^2}\right)^2}
OM=(bc2−a2bc(a2−bc+c2)a2+c2−bc2a2+c2)2+(amc−abca2+c2)2 OM = \sqrt{\left(\frac{bc^2 - \sqrt{a^2bc(a^2 - bc + c^2)}}{a^2 + c^2} - \frac{bc^2}{a^2 + c^2}\right)^2 + \left(\frac{am}{c} - \frac{abc}{a^2 + c^2}\right)^2}
OB=(b−bc2a2+c2)2+(0−abca2+c2)2 OB = \sqrt{\left(b - \frac{bc^2}{a^2 + c^2}\right)^2 + \left(0 - \frac{abc}{a^2 + c^2}\right)^2}
OA=(0−bc2a2+c2)2+(0−abca2+c2)2 OA = \sqrt{\left(0 - \frac{bc^2}{a^2 + c^2}\right)^2 + \left(0 - \frac{abc}{a^2 + c^2}\right)^2}
- After calculations, we find:
ONOA=OMOB=MNAB \frac{ON}{OA} = \frac{OM}{OB} = \frac{MN}{AB}
- Therefore, △OMN∼△OBA\triangle OMN \sim \triangle OBA.

■\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.