Let be the midpoint of the side of the square . Consider the equilateral triangles and , such that lies in the interior of and the lines and are concurrent. Denote by the midpoint of . Prove that:
a) lies on the line ;
b) the halfline is the bisector of the angle .
Solution
a) Construct the equilateral triangle , such that lies in its interior. is situated on the perpendicular bisector of the diagonal , therefore , and are collinear. Since , and , triangles and are congruent (S.A.S.), thus and .
From , we infer that . As , it follows that is parallelogram, so the midpoint of lies on , i.e., is situated on the line .
b) Since and we deduce that is a parallelogram and . Consequently, . The triangle is right angled, with , therefore we obtain and .
Since , it follows that is a cyclic quadrilateral, with .
, therefore , and is the angle bisector of .
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.