In triangle the bisector of angle intersects the circumcircle at , the perpendicular bisector of at , and the perpendicular bisector of at . The midpoint of is and the midpoint of is . Prove that the triangles and have the same area.
Solution
If , is an isosceles triangle, and is the symmetry axis of and . The conclusion is obviously true.
If , without loss of generality, let . Denote the center of circumcircle of by .
Since the right triangles and are similar,
Let be the perpendicular bisector of , then is on .
Since is an isosceles triangle, and are two points symmetrical about on .
So
By ①, ②,
Hence the two triangles have the same area.
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.