Practice problem
When Is a Quadrilateral Cyclic?
In triangle , , , and . Let be the point on segment satisfying , and let be the unique point such that and line is tangent to the circumcircle of . Find the length of segment .
Source: 2012-2013 Winter Online Math Open