4. The perpendicular bisectors of sides and of a convex quadrilateral intersect sides and at points and respectively. It turns out that . Inside the quadrilateral, a point is chosen such that and . Prove that the line bisects the diagonal . (S. Berlov)
Problem 1157
Official solution
Solution. It is sufficient to prove that the distances from points and to the line are equal. This is equivalent to , since triangles and share the same base . Since , we have . Similarly, . Note that isosceles triangles and are similar by two angles,
!
therefore , from which . Since , then . Consequently, the areas of triangles and are proportional to the products of the sides enclosing equal angles, i.e., these areas are equal. Thus, , which is what we needed to prove.