コンピュータ、ソフトウェアに関すること。忘れないようにね。

アポロニウスの【問題3】の作図ができるわけ

 アポロニウスの【問題3】『2点を通り一つの直線に接する円』の作図方法は,

● 直線ABと直線lとの交点をKとし,点Kについて点Bと対称な点をB1とする。
● 直線lについて点Bと対称な点をB2とする。
● このとき,3点A,B1,B2を通る円と直線l との交点T1,T2が,求める円が直線l と接する接点となる。

 なぜ,これで作図ができるのか「?」でしたが,やっと証明することができました。
証明に興味がある方はぜひご覧ください。

証明