圆o是三角形abc的外接圆,点I为三角形abc的内心求证ic垂直于cf