Finding a cyclic quadrilateral
Source: Indonesian MO (INAMO) 2009, Day 2, Problem 8
August 8, 2009
geometrytrigonometrycircumcircleangle bisectorperpendicular bisectorgeometry unsolved
Problem Statement
Given an acute triangle . The incircle of triangle touches respectively at . The angle bisector of cuts and respectively at and . Suppose is one of the altitudes of triangle , and be the midpoint of .
(a) Prove that and are perpendicular with the angle bisector of .
(b) Show that is a cyclic quadrilateral.