Let be a non-isosceles triangle with circumcenter and incenter . Assume that the bisector of the segment passes through the common point of the angle bisector of with the circumcircle of . Prove that is the second largest angle in the triangle .
G. Baron, Vienna
Solution
Let be the angle bisector of , the circumcircle of and . Since we certainly have . Considering the triangle , we note that . Also, , and therefore . We see that is isosceles with . Furthermore, since lies on the bisector of , we also have . It follows that is the mid-point of a circle through all four points , , and .
Since is the mid-point of the circumcircle of , we have . On the other hand, since and , we have . Since , , and lie on a common circle, we have , and therefore , which is equivalent to . Since the value of is the arithmetic mean of the values of the angles and , it is certainly the second largest angle in the triangle as claimed.
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.