As shown in the figure, in the triangle ABC, point O is a moving point on the edge of AC, and a straight line Mn is parallel to BC through point O. suppose that the bisector of the intersection angle BCA of Mn is at point E, and the bisector of the external angle BCA of Mn is at point F. if CE = 12, CF = 5, the length of OC can be obtained

As shown in the figure, in the triangle ABC, point O is a moving point on the edge of AC, and a straight line Mn is parallel to BC through point O. suppose that the bisector of the intersection angle BCA of Mn is at point E, and the bisector of the external angle BCA of Mn is at point F. if CE = 12, CF = 5, the length of OC can be obtained

oc=6.5
It is easy to prove that ECF = 90 degree
OE=OC=OF
According to Pythagorean theorem, EF = 13
OC=6.5