任意の点と任意の直線との距離の式が欲しくなったので、とりあえず原点と任意の直線(ax+by=c)との距離だけを考える。あとは平行移動させるだけですから。 法線を導いて交点を出して…とやろうとしたところ、挫折。 で、円に着目。直線が円の接線になるとき、…