Maths Olympiad Prep

Library / /1 of 4

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it Taiwan

Let ABCDEABCDE be a convex pentagon such that ABC=AED=90\angle ABC = \angle AED = 90^\circ. Suppose that the midpoint of CDCD is the circumcentre of triangle ABEABE. Let OO be the circumcentre of triangle ACDACD. Prove that line AOAO passes through the midpoint of segment BEBE.

Solutions — 2

Solution 1

Let MM be the midpoint of CDCD and X=BCEDX = BC \cap ED. Since ABX=AEX=90\angle ABX = \angle AEX = 90^\circ,
AX is the diameter of the circumcircle of ABX\triangle ABX, thus ACXDACXD is a parallelogram.

Now, it is sufficient to show that [OAB]=[OAE][OAB] = [OAE] where [OAB][OAB] denotes the area of OAB\triangle OAB.
Let C,DC', D' be the midpoint of ACAC and ADAD. It is easy to see that [OAB]=[DAB]=12[ACD][OAB] = [D'AB] = \frac{1}{2}[ACD] and therefore [OAE]=[CAE]=[CAD]=12[ACD][OAE] = [C'AE] = [C'AD] = \frac{1}{2}[ACD]. We are done.

Solution 2

As in Solution 1. ACXDACXD is a parallelogram and DAB=90\angle DAB = 90^\circ.
Let NN be the midpoint of BEBE. It is enough to show that NAB=OAB\angle NAB = \angle OAB. By the cyclic of ABXEABXE, we have
ABE=AXE=XAC \angle ABE = \angle AXE = \angle XAC
and BEA=CXA\angle BEA = \angle CXA. Therefore, ABECAX\triangle ABE \simeq \triangle CAX, and NN corresponds to MM under this similarity. In particular, NAB=ACM\angle NAB = \angle ACM. We have
OAB=90DAO=ACM=NAB. \angle OAB = 90^\circ - \angle DAO = \angle ACM = \angle NAB.

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 translated into English from zh; metadata (topic, difficulty) added by this project.