O′为OB中点,OO′=BO′
∵OC⊥AB,∴O′C⊥AB.
O′F为OB垂直平分线,∴△OBF是等腰三角形BF=OF又OB=OF,∴△OBF是等边三角形,∠BOF=60°
弧BF长为:1/6倍圆周长