Cyclic quadrilateral, angle bisector, and isosceles triangle