Problem:
Consider a convex quadrilateral , in which are the midpoints of the sides , , , respectively. Suppose
(a) bisects at ;
(b) ; and
(c) .
Prove that is a square.
, 2004
Solution
Solution:
Fig. 1.
Observe that is a parallelogram, is the midpoint of and hence also passes through . Let be the point of intersection of and ; and let be the point of intersection of and .
Consider the triangle . Note that is parallel to and is the midpoint of . Hence is the midpoint of . Since is parallel to , it follows that is the midpoint of . Now is the circumcentre of and the median passes through . Here there are two possibilities:
(i) is a right triangle with and ; and
(ii) in which case is perpendicular to .
Suppose and . Observe that is the circumcentre of the triangle and hence . Similarly . It follows that and is a rectangle. This implies that is a rhombus. Hence and this gives . Thus is a square.
In the second case, observe that is perpendicular to , is parallel to and is parallel to . Hence it follows that is perpendicular to . Similar reasoning shows that is a rectangle.
Using , we get that is similar to . In particular, say. Since is parallel to , we also get . Since is a cyclic quadrilateral we also get . Using the fact that is parallel to , we get . Since bisects , we also have . Thus
and is parallel to . This gives is parallel to and
It follows that is a parallelogram. But . Hence . This implies that is a square. Also observe that and hence . This gives and hence is a rectangle. Since , it follows that is a square.