2022.08.31記
二重点
2025.01.08記
曲線 はデカルトの正葉線と呼ばれる.
には「デカルトの正葉線は、原点と漸近線に二重点をもつ」とあり,漸近線に二重点があるという意味がわからなかったのだが,英語版の
Folium of Descartes - Wikipedia
には「It forms a loop in the first quadrant with a double point at the origin and asymptote .」(それは原点において二重点を持ち、漸近線
を持つと同時に第1象限においてループを形成する)とある.英語版の wikipedia の 「and」の部分の訳の問題のようである.個人的には「It forms a loop in the first quadrant with a double point at the origin and "a" asymptote
.」のように「a」が入るべきのような気がするが,英語は苦手なので間違っているかも知れない.
いずれにせよ,Wikipedia の日本語版は間違っているように思う.
二重点とは結局,代数曲線上の点において2つの接線を持つ点のことを指す.簡単に言えば,曲線上のある点 においてその代数曲線が
と近似される点のことであり,要はその点において2つの接線を持つ場合である.この2次形式を2つの1次式に因数分解したときには
(a) 実係数の範囲で異なる2つの1次式に因数分解できる
(b) 実係数の範囲で完全平方式として因数分解できる
(c) 実係数の範囲では因数分解できず虚数を用いて因数分解できる
の3つの場合が考えられ,
(a) 結節点(node):曲線はその点で自己交叉する(異なる2つの「実」接線をもつ)
(b) 尖点(cusp):曲線はその点で向きを変え尖った点を作る(一致する2つの「実」接線をもつ)
(c) 孤立点(isolated point):その点の近傍に曲線上の点がない(異なる2つの「虚」接線をもつ)
となる.(c) の場合,曲線上を動くと,2つの接線のうちいずれかに沿って動くのであるから,直ちに虚数を成分とする座標となるので実空間では見えなくなるという訳である.
結局は で表されるとき,
を満たす曲線上の点に対して
が(a) 正ならば結節点,(b) 0ならば尖点,(c) 負なら孤立点となる.
(曲線は実数の範囲で考えているので,
(1) のとき:曲線は直線
となるので二重点はない.
(2) のとき:
とおくと,
が必要で,このとき
から
を消去して
,つまり
となる.
(a) のとき
から
であり,
は曲線上の点である.
(b) のとき
から
であり,
は曲線上の点ではない.
よって曲線上の点で を満たす点は
に限る.
このとき,
により
は結節点となる二重点である.
まとめると, のとき二重点はなく,
のとき原点が二重点となる.
同じ解答だが,少し雰囲気を変えてみると次のようになる.
(曲線は実数の範囲で考えているので,
(1) のとき:曲線は直線
となるので二重点はない.
(2) のとき:
曲線上の点を とおくと
を満たす.
さて,
となるので,点 が二重点であるためには,曲線が点
の近辺で一次近似の項が消えることが必要で,
が必要である.
より
だから
となり
となる.
(a) のとき
から
であり,
は曲線上の点である.
(b) のとき
から
であり,
は曲線上の点ではない.
よって二重点の候補は点 に限る.
このとき,曲線は の付近で
,つまり
(異なる2直線) と近似できるので二重点(結節点)である.
まとめると, のとき二重点はなく,
のとき原点が二重点となる.
デカルトの正葉線において とおくと
となるので
または
(
) となるが,
は
で
としたものだから,結局
(
)とすれば良く,このとき
(
)
となる.これがデカルトの正葉線のパラメータ表示となる.ここで と置けば
となる.よって極表示は
となる.
デカルトの正葉線の囲む面積は
(
)
となる.