MathDB
Quadrilaterals with equal sides

Source: IMO LongList 1979 - P22

June 1, 2011
geometryperpendicular bisectorgeometry proposed

Problem Statement

Consider two quadrilaterals ABCDABCD and ABCDA'B'C'D' in an affine Euclidian plane such that AB=AB,BC=BC,CD=CDAB = A'B', BC = B'C', CD = C'D', and DA=DADA = D'A'. Prove that the following two statements are true:
(a) If the diagonals BDBD and ACAC are mutually perpendicular, then the diagonals BDB'D' and ACA'C' are also mutually perpendicular.
(b) If the perpendicular bisector of BDBD intersects ACAC at MM, and that of BDB'D' intersects ACA'C' at MM', then MAMC=MAMC\frac{\overline{MA}}{\overline{MC}}=\frac{\overline{M'A'}}{\overline{M'C'}} (if MC=0MC = 0 then MC=0M'C' = 0).