当弧PC=弧AB时,AF=EF
因为 弧PC=弧AB
所以 角PBC=角ACB
因为 AD垂直BC
所以 角EDB=角ADC=90度
因为 角PBC=角ACB
所以 角BED=角CAD
因为 角BED=角AEF
所以 角AEF=角CAD
所以 AF=EF