因为C是线I与圆的切点,所以有OC⊥EF过A作一条过A点与EF平行的线交OC于G,交BF于H则有AGH⊥AE,OC,BF,AGCE和GHFC为正方形AG=EC,GH=CF由于OG‖BH,所以△AOG∽△ABH2AO=AB,所以2AG=AH=AG+GH,AG=GH所以EC=AG=GH=CF
一组平行线截得的直线段比例相同