Maths Olympiad Prep

Library / NMO Selection Tests for JBMO /56 of 58

NMO Selection Tests for JBMO

Geometry Difficulty 7.4 National Olympiad, round 2 Prove it Romania

Let ABCDABCD be a cyclic quadrilateral whose diagonals are not perpendicular and intersect at XX. Let A′,C′A', C' be the projections of AA and CC onto the line BDBD and let B′,D′B', D' be the projections of BB and DD onto ACAC. Prove that:

a) the perpendicular lines drawn from the midpoints of the sides onto the opposite sides are concurrent at a point called Mathot's point;

b) points A′,B′,C′,D′A', B', C', D' are cocyclic;

c) if O′O' is the circumcenter of A′B′C′A'B'C', then O′O' is the midpoint of the line segment determined by the orthocenters of triangles XABXAB and XCDXCD;

d) O′O' is the Mathot point of the quadrilateral ABCDABCD.

Solution

a) Let OO be the circumcenter of ABCDABCD. It is well known that the midpoints of the sides of a quadrilateral ABCDABCD are the vertices of a parallelogram, hence the line segments joining the midpoints of two opposite sides have the same midpoint, GG. The perpendicular lines from OO to ABAB and CDCD pass through the midpoints of these sides, therefore the perpendiculars dropped from OO and from the midpoints of two opposite sides onto their opposite side form a parallelogram whose center is GG. It follows that the two perpendicular lines dropped from the midpoints of two opposite sides onto their opposite side intersect at the reflection of OO in GG. The other two perpendiculars intersect at the same point.

b) We assume the angle AXBAXB to be acute, the other case being similar. The quadrilaterals ABA′B′ABA'B', CDC′D′CDC'D' and ABCDABCD being cyclic, we have ∠XDC′≡∠XDC≡∠XAB≡∠XA′B′\angle XDC' \equiv \angle XDC \equiv \angle XAB \equiv \angle XA'B', hence A′B′C′D′A'B'C'D' is cyclic.

c) Let H1H_1 and H2H_2 be the orthocenters of triangles XABXAB, and XCDXCD, respectively. If O′′O'' is the midpoint of [H1H2][H_1H_2], as O′′O'' belongs to the midsegment of the trapezoid H1B′H2D′H_1B'H_2D', O′′O'' belongs to the perpendicular bisector of the line segment [B′D′][B'D']. Similarly, O′′O'' belongs to the midsegment of the trapezoid A′H1C′H2A'H_1C'H_2, hence to the perpendicular bisector of [A′C′][A'C']. As A′C′A'C' and B′D′B'D' are not parallel, it follows that O′′O'' is precisely the circumcenter of A′B′C′D′A'B'C'D', i.e. O′′O'' coincides with O′O'.

d) We have ∠A′B′X≡∠ABX≡∠DCX\angle A'B'X \equiv \angle ABX \equiv \angle DCX, hence A′B′∥CDA'B' \parallel CD. If NN is the midpoint of [AB][AB], then NA′=NB′NA' = NB', hence NN belongs to the perpendicular bisector of [A′B′][A'B']. But so does O′O', therefore it follows that NO′⊥CDNO' \perp CD. Similarly, O′O' belongs to the perpendicular dropped from the midpoint of [CD][CD] on ABAB, hence O′O' is the Mathot point of the quadrilateral.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.