円 x^2+y^2=2r^2 の外部の点(s,t) から引いた接線の
接点を通る直線の方程式は
s+ty=2r^2
これが
m : y0*x+x0*y=2r^2
と一致する。