Arc-midpoint (perpendicular-bisector ∧ angle-bisector) lemma – often nick-named “Fact 5"
The statement Arc-midpoint (perpendicular-bisector ∧ angle-bisector) lemma – often nick-named “Fact 5”. In any triangle A B C ABC , the intersection E E of the internal (or external) bisector of ∠ C \angle C , and the perpendicular bisector of A B AB lies on the circumcircle ( A B C ) (ABC) . In fact, E E is the midpoint of the arc A B AB : with the internal bisector it is the midpoint of the arc A B AB not containing C C ; with the external bisector it is the midpoint of the arc A B AB containing C C . Proof: 1. Mid-arc argument (the slick one) Draw the circumcircle ω = ( A B C ) \omega=(ABC) and let M M be the midpoint of the minor arc A B AB (the arc that does not contain C C ). Why M M is on the perpendicular bisector of A B AB . Equal arcs subtend equal chords, so M A = M B MA=MB . Hence M M lies on the perpendicular bisector of A B AB . Because perpendicular bisector of AB contains all the points equidistant from A,B. Why M M is on...