Interactive · 2 questions
Suppose we have a triangle and its circumcircle . Let's construct the angle bisector of say, angle .
Where does the angle bisector intersect ?
Right, is the midpoint of arc . This is because . Then, it follows that the arc lengths of and are equal. Thus, is the midpoint.
There are other interesting properties of too!
What else do we know?
We also know that is on the perpendicular bisector of . This is because is equidistant from and . This gives us an interesting property! The angle bisector of and perpendicular bisector of intersect on the circumcircle! This is a very useful point in olympiad geometry.
Another useful fact is that if and are the incenter and -excenter respectively, then is a cyclic quadrilateral, with as its center! Try to prove this one yourself.