连接AC,OC
∵AB为⊙O直径
∴AC⊥BC（严谨一些的话，要先∠ACB=90°再垂直）
∵BC//OP
∴OP⊥AC。（其实这里要写上 ∵BC//OP，∠BCA=90°，导出内错角也为90°，再OP⊥AC）
∵OA=OC ∴OP平分AC（三线合一）
∴PA=PC（又是三线合一，不过这里不能直接写，要用勾股定理或者全等推一遍）
∵PA与⊙O相切
∴PC与⊙O相切（切线长定理逆定理）
连接AC,OC
∵AB为⊙O直径
∴AC⊥BC（严谨一些的话，要先∠ACB=90°再垂直）
∵BC//OP
∴OP⊥AC。（其实这里要写上 ∵BC//OP，∠BCA=90°，导出内错角也为90°，再OP⊥AC）
∵OA=OC ∴OP平分AC（三线合一）
∴PA=PC（又是三线合一，不过这里不能直接写，要用勾股定理或者全等推一遍）
∵PA与⊙O相切
∴PC与⊙O相切（切线长定理逆定理）
