楕円の準円の求め方(解決編) - 球面倶楽部 零八式 mark II
において,楕円の接線の方程式 が
に平行となるように
として先に接点を(分数がでないように)
とおいて接線を
として
という関係式を導いたが,直線の Hesse の標準形として設定した方が素直かも知れないなぁ。
楕円の準円の方程式をこのように求める方法はあまり知られていない。
楕円の接線を
,
つまり
とおくと,楕円の接線の公式から接点はとなり,接点が楕円上にあることから
が成立する。
この接線に直交する接線をとおくと,同様に
が成立する。
接線の交点は、接線の式の二乗和(束の考え方)もみたすので、
もみたす。
よって接線の交点は円上にある。
ちょっと格好良すぎない?
と書き直しておこう.
2023.01.08追記(ここから)
なお,これは十分条件であるが,
凸な弧に引ける接線の数 - 球面倶楽部 零八式 mark II
から楕円の外側の任意の点から楕円に丁度2本接線を引くことができることから,楕円の外側にある円上の任意の点から楕円には丁度2本の接線を引くことができ,その2本は直交しなければならなくなり,十分であることがわかる.
(ここまで)
(2023.10.02訂正、結局(1)は、 のとき,原点から漸近線上の点を除くことになるので、空集合となるので以下のように訂正)
同様にすれば双曲線 (
) の準円が
(1) のとき
(2) のとき空集合
となることがわかる.
漸近線を考えると,原点から双曲線に接線を引くことができないので
双曲線 の接線を
(
),
(注.,
と考えてパラメータと直線を1対1対応にしても良いし,
,
と考えてパラメータと直線を1対1対応にしても良いし,
,
と考えてパラメータと直線を2対1対応にしても良い)
つまり
(
)
とおくと,双曲線の接線の公式から接点はとなり,接点が双曲線上にあることから
(
)が成立する。
この接線に直交する接線を(
),とおくと,同様に
(
)が成立する。
接線の交点は、接線の式の二乗和(束の考え方)もみたすので、
もみたす。
よって接線の交点は(2023.10.02訂正)
(1) のとき
上にある
(2) のとき空集合(直交する接線の組は存在しない)
2023.01.08追記(ここから)
なお,これは十分条件であるが,
凸な弧に引ける接線の数 - 球面倶楽部 零八式 mark II
から または
をみたす領域の任意の点から双曲線に丁度2本接線を引くことができることから,円
上の
をみたす任意の点から双曲線には丁度2本の接線を引くことができ,その2本は直交しなければならなくなり,
(1) のとき
かつ
(円から双曲線の漸近線との4交点を除いたもの)
が十分であることがわかる.
(ここまで)
2023.10.02追記(ここから)
(
)なる双曲線
の接線が存在するための
の必要十分条件は
をみたす が存在すれば良いので,
である.同様に,この接線に直交する(
)なる双曲線
の接線が存在するための
の必要十分条件は
をみたす が存在すれば良いので,
である.よって直交する接線が少くとも1組存在するための必要十分条件は
,つまり
である.このことから (2)の場合に空集合であることがわかる.
(1)の十分性については別エントリーで話題にする。束の考え方で十分条件を考えるには,
のもとで,
と双曲線の接線の交点の動きを追跡すれば漸近線との交点以外を通過することがわかる(もちろん直交する接線の交点だから同じ点を2回ずつ通過する)
代数的に上手に必要十分条件を求める方法は別エントリで。
2024.12.15追記
blog.livedoor.jp
こんなの見つけたけど、この2023年9月18日の記事よりも、本エントリー(2023年1月1日)の方が素直。もともとこのアイディアは2019年1月11日にエントリーしたもの。まぁ、最近の X(旧Twitter)で話題になる多くのことは車輪の再発明だから仕方がない.