Olympiad Maths Prep

Library / /1 of 3

Geometry Difficulty 5.4 AIME, harder Prove it Balkan Mathematical Olympiad

Let ABCDABCD be a convex quadrilateral such that AB2+BC2=AD2+CD2AB^2 + BC^2 = AD^2 + CD^2. Points XX and YY are chosen such that XDCDXD \perp CD, XBABXB \perp AB, YBBCYB \perp BC and YDADYD \perp AD. Let lines ACAC and XYXY meet at TT and MM be the midpoint of segment XYXY. Prove that points T,M,B,DT, M, B, D lie on a circle.

Solution

Let PP be the midpoint of ACAC. Applying the formula for the length of the median on ABC\triangle ABC and ADC\triangle ADC, and using the fact that AB2+BC2=AD2+CD2AB^2 + BC^2 = AD^2 + CD^2, we obtain BP=DPBP = DP.
Claim.BXA=PBD \text{Claim.} \quad \angle BXA = \angle PBD
*Proof.* We use directed angles.
Let UU be the projection of AA onto DXDX and NN be the midpoint of UDUD.
Figure 1
Observe that AUCDAU \parallel CD and P,NP, N are the midpoints of AC,UDAC, UD, so PNCDPN \parallel CD. Since DUCDDU \perp CD, we get that PU=PD=PBPU = PD = PB, so PP is the circumcenter of DUB\triangle DUB. Also observe that A,U,B,XA, U, B, X are concyclic (AUX=ABX=90\angle AUX = \angle ABX = 90^\circ), so we can infer that
PBD=90DUB=90XUB=90XAB=BXA. \angle PBD = 90^\circ - \angle DUB = 90^\circ - \angle XUB = 90^\circ - \angle XAB = \angle BXA.
\Box

By projecting CC onto YDYD, we can similarly prove that BYC=PBD\angle BYC = \angle PBD, so BYC=BXA\angle BYC = \angle BXA. We also have XBA=90\angle XBA = 90^\circ and YBC=90\angle YBC = 90^\circ, meaning BXABYC\triangle BXA \sim \triangle BYC. This is a spiral similarity centered at BB sending AXAX to CYCY. It follows that BB is also the center of spiral similarity sending ACAC to XYXY.
Figure 2

Since XBABXB \perp AB and YBCBYB \perp CB, the angle of rotation in the spiral similarity BACBXY\triangle BAC \sim \triangle BXY is 9090^\circ. This means we also have ACXYAC \perp XY, thus TT is the projection of PP onto XYXY, so PTTMPT \perp TM. Moreover, the spiral similarity sends PP to MM, so BPBMBP \perp BM. We can similarly prove that DPDMDP \perp DM, so points T,M,B,DT, M, B, D lie on the circle with diameter PMPM and we are done.

Looking for a route rather than 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.