19/10/25 14:47:13.17 cT3+8H/h.net
>>931
※の円は直線L上の2点A、Bを通るのでこの2点以外ではLとの共有点は存在しない
A、Bとさらにもう1点L上にはない点Cを用意すればそれらを円周上に持つ円が存在し、
CをL上を除く全ての点を取り得るとすればA、Bを通る全ての円を網羅出来る
Cの座標はL上にはないのでLを表す式を成り立たせることがない
従って、Cの座標を※の式に代入すれば必ずtの一次式になるのでtには解が存在する
つまり、A、Bを通る全ての円に対してtが存在するので※の式はtを実数全体で動かせばA、Bを通る全ての円を網羅している