是“过点O作AO的垂线”吧?
取AB中点G,连接GO.
AG=GB=BO=OC,
△GBO是等腰直角三角形,∠BGO=45°,
∠GAO=∠COF=90°-∠AOB,GA=CO,∠AGO=∠OCF=135°
△GAO≌△COF,
AO=OF.