Problem:
Let be a square and let be any point on side between and . Let be the point on line such that and is between and . Prove that the midpoint of lies on diagonal .
Solution
Solution:
Construct point on diagonal so that is parallel to . So . Also because is on diagonal . Therefore triangle is an isosceles right-angled triangle. Hence
Since segments and are parallel and equal in length, this implies that is a parallelogram. Since the diagonals of a parallelogram bisect each other, we deduce that the intersection of and is the midpoint of . Therefore the midpoint of lies on line (which is a segment of diagonal ).
Alternative Solution A:
Let be the unit square, with , , and . Now let . This means that and . Now let be the midpoint of . We compute the coordinates of to be
The and coordinates of are equal, therefore lies on diagonal .
Alternative Solution B:
Let be the side-length of the square and let . Let be the midpoint of . Now we apply the converse of Menelaus' Theorem to traversal of .
Therefore , and are colinear.