こんにちは。今回は2つの円の交点を通る図形がなぜあの式で表されるかについて書いておきます。
あの式とは
2つの円の方程式を
,
とします。このとき, この2つの円の交点を通る直線, または円の方程式が
は実数)
で与えられることを証明します。
証明
【証明】
円の方程式を, として, 交点がとします。
このとき, この点は2つの円の交点なので, , が成り立ちます。
今, の両辺を倍したところで, であり,
が成り立つ。
したがって,
はの値に関係なく, 点を通る。
したがって, この式は点を通る図形を表す。
ゆえに, 2つの円の交点を通る図形の方程式は
は実数)
で与えられる。特にでは直線になる。
のとき円の方程式になる。
さらに深堀したい人はこちらの記事(円束)をご参照ください。