Perpendicular bisector
Source: Romania TST 2009, Day 3, Problem 3
July 26, 2009
geometrycircumcirclegeometric transformationreflectionEulerincentertrigonometry
Problem Statement
Let be a non-isosceles triangle, in which and are the tangency points of the incircle of center with sides and respectively. Denoting by the circumcircle of , line meets at a point The perpendicular dropped from to intersects at . Prove that is the perpendicular bisector of .