In an acute triangle , , the bisector of angle and side intersect at point , two points and are in sides and , respectively, such that are concyclic. Prove that the circumcenter of triangle coincides with the innercenter of triangle if and only if .

In an acute triangle , , the bisector of angle and side intersect at point , two points and are in sides and , respectively, such that are concyclic. Prove that the circumcenter of triangle coincides with the innercenter of triangle if and only if .

Let be the innercenter of .
(Sufficiency) Suppose . Let be the point on such that , thus . Since bisects , bisects , and are reflection with respect to , and are reflection with respect to , we have
. Therefore, are concyclic. Since are concyclic, we have , and hence are concyclic.

Since the bisector of and the circumcircle of meet at , . Since the bisector of and the circumcircle of also meet at , . So, , that is, is also the circumcenter of .
Q. E. D.