Maths Olympiad Prep

Library / /50 of 121

, 2004

Geometry Difficulty 5.9 AIME, harder Prove it India

Problem:
Consider a convex quadrilateral ABCDABCD, in which K,L,M,NK, L, M, N are the midpoints of the sides ABAB, BCBC, CDCD, DADA respectively. Suppose
(a) BDBD bisects KMKM at QQ;
(b) QA=QB=QC=QDQA = QB = QC = QD; and
(c) LK/LM=CD/CBLK / LM = CD / CB.
Prove that ABCDABCD is a square.

Solution

Solution:
Figure 1
Fig. 1.
Observe that KLMNKLMN is a parallelogram, QQ is the midpoint of MKMK and hence NLNL also passes through QQ. Let TT be the point of intersection of ACAC and BDBD; and let SS be the point of intersection of BDBD and MNMN.

Consider the triangle MNKMNK. Note that SQSQ is parallel to NKNK and QQ is the midpoint of MKMK. Hence SS is the midpoint of MNMN. Since MNMN is parallel to ACAC, it follows that TT is the midpoint of ACAC. Now QQ is the circumcentre of ABC\triangle ABC and the median BTBT passes through QQ. Here there are two possibilities:
(i) ABCABC is a right triangle with ABC=90\angle ABC = 90^\circ and T=QT = Q; and
(ii) TQT \neq Q in which case BTBT is perpendicular to ACAC.

Suppose ABC=90\angle ABC = 90^\circ and T=QT = Q. Observe that QQ is the circumcentre of the triangle DCBDCB and hence DCB=90\angle DCB = 90^\circ. Similarly DAB=90\angle DAB = 90^\circ. It follows that ADC=90\angle ADC = 90^\circ and ABCDABCD is a rectangle. This implies that KLMNKLMN is a rhombus. Hence LK/LM=1LK / LM = 1 and this gives CD=CBCD = CB. Thus ABCDABCD is a square.

In the second case, observe that BDBD is perpendicular to ACAC, KLKL is parallel to ACAC and LMLM is parallel to BDBD. Hence it follows that MLML is perpendicular to LKLK. Similar reasoning shows that KLMNKLMN is a rectangle.

Using LK/LM=CD/CBLK / LM = CD / CB, we get that CBDCBD is similar to LMKLMK. In particular, LMK=CBD=α\angle LMK = \angle CBD = \alpha say. Since LMLM is parallel to DBDB, we also get BQK=α\angle BQK = \alpha. Since KLMNKLMN is a cyclic quadrilateral we also get LNK=LMK=α\angle LNK = \angle LMK = \alpha. Using the fact that BDBD is parallel to NKNK, we get LQB=LNK=α\angle LQB = \angle LNK = \alpha. Since BDBD bisects CBA\angle CBA, we also have KBQ=α\angle KBQ = \alpha. Thus
QK=KB=BL=LQ QK = KB = BL = LQ
and BLBL is parallel to QKQK. This gives QMQM is parallel to LCLC and
QM=QL=BL=LC QM = QL = BL = LC
It follows that QLCMQLCM is a parallelogram. But LCM=90\angle LCM = 90^\circ. Hence MQL=90\angle MQL = 90^\circ. This implies that KLMNKLMN is a square. Also observe that LQK=90\angle LQK = 90^\circ and hence CBA=LQK=90\angle CBA = \angle LQK = 90^\circ. This gives CDA=90\angle CDA = 90^\circ and hence ABCDABCD is a rectangle. Since BA=BCBA = BC, it follows that ABCDABCD is a square.

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.