Maths Olympiad Prep

Library / /2 of 5

Geometry Difficulty 8.8 Shortlist Prove it Vietnam

Let ABCABC be an acute, non-isosceles triangle with H,O,OH, O, O' as its orthocenter, circumcenter, nine-point center, and D,E,FD, E, F as the midpoints of the segments BC,CA,ABBC, CA, AB, respectively. PP is an arbitrary point inside triangle DEFDEF. Let DP,EP,FPDP, EP, FP intersect (O)(O') again at D,E,FD', E', F', respectively. AA' is the reflection of AA through DD'. We define points B,CB', C' similarly.

a. Assume that PO=POPO = PO', prove that the circle (ABC)(A'B'C') passes through OO.

b. Let XX be the reflection of AA' with respect to the line ODOD. We define Y,ZY, Z similarly. Suppose that XH,YH,ZHXH, YH, ZH intersect BC,CA,ABBC, CA, AB at M,N,KM, N, K respectively. Prove that M,N,KM, N, K are collinear.

Solution

(a) Let II be the reflection of OO with respect to PP. Since OO' is the midpoint of OHOH, it follows that OPIHO'P \parallel IH. Moreover, we have PO=POPO = PO', thus IO=IHIO = IH.
Let S,GS, G be midpoints of AIAI and AHAH, respectively. We have
SP=12AO=12R=OD SP = \frac{1}{2}AO = \frac{1}{2}R = O'D
and SPAOODSP \parallel AO \parallel O'D, thus OSPDO'SPD is a parallelogram. It follows that DPOSDP \parallel O'S.
Furthermore, we have SP=12R=ODSP = \frac{1}{2}R = O'D', therefore SDPOSD'PO' is an isosceles trapezoid which leads to OP=SDO'P = SD' and
IH=2OP=2SD=IA. IH = 2O'P = 2SD' = IA'.
Thus IA=IH=IOIA' = IH = IO which implies AA' lies on the circle (I,IO)(I, IO). Similarly, BB' and CC' also lie on (I,IO)(I, IO). This leads to the conclusion of (a).

Figure 1

(b) Let RR be the radius of the circle (O)(O). It is obvious that GD=RGD = R. Consider the homothetic transformation with center AA and ratio 12\frac{1}{2} which sends B,C,A,X,H,MB, C, A', X, H, M and the perpendicular bisector of BCBC to F,E,D,U,G,MF, E, D', U, G, M' and the perpendicular bisector EFEF, respectively. Then MBMC=MFME\frac{MB}{MC} = \frac{M'F}{M'E} and UU is the reflection of DD' with respect to EFEF. Thus
MBMC=MFME=GFGEUFUE=R2DF2R2DE2DEDF. \frac{MB}{MC} = \frac{M'F}{M'E} = \frac{GF}{GE} \cdot \frac{UF}{UE} = \frac{\sqrt{R^2 - DF^2}}{\sqrt{R^2 - DE^2}} \cdot \frac{D'E}{D'F}.
Similarly, we can calculate NCNA\frac{NC}{NA} and KAKB\frac{KA}{KB}.

Figure 2

Since DDDD', EEEE', FFFF' are concurrent, it follows
DFDEFEFDEDEF=1. \frac{D'F}{D'E} \cdot \frac{F'E}{F'D} \cdot \frac{E'D}{E'F} = 1.
Thus MBMCNCNAKAKB=1\frac{MB}{MC} \cdot \frac{NC}{NA} \cdot \frac{KA}{KB} = 1, which implies M,N,KM, N, K are collinear. This is the desired result.

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.