先设OP的斜率是K=yo/xo
那么切线的斜率是k'=-1/k=-xo/yo
故切线的方程是y-yo=-xo/yo*(x-xo)
即有yoy-yo^2=-xox+xo^2
即有xox+yoy=xo^2+yo^2=r^2