類楕円

真鍋さんのホームページ（MIPO）では神社の算額がよく取り上げらていれる。最近は，ChatGPTでPython プログラミングという新たな進化のステージの突入している。算額で登場する類楕円という4次曲線のグラフを描かせるプログラムを作るという問題がでてきた。

「類楕円」というのは初耳だった。調べてもあまり情報が見つからないのだが，トーラスを軸対称軸に平行な平面で切断してときに出来る4次曲線のようだ。トーラスの大円の半径を$d$，小円の半径を $b$とする。トーラスの中心を原点Oとして，軸対称の軸方向を$y$軸として，大円を含む平面を$x-z$平面とする。切断面の方程式は，$\underline{ z=d}$となる。

なお，下図より$(d+b)^2=a^2+d^2$，したがって$a^2=b^2+2db$である。

図：類楕円の定義

トーラス表面上の点をP：$\bm{r} = (x,y,z)$とする，これは大円上の点を表すベクトル$\bm{d}=(d\cos\varphi, 0, d\sin\varphi)$と，大円上の点からトーラス面上の点への相対ベクトル$\bm{s}=(b \sin \theta \sin \varphi, b \cos\theta, b \sin \theta \cos \varphi)$の和，$\bm{r}=\bm{d}+\bm{s}$になる。すなわち，

$ \bm{r} = (x,y,z) = ( (d+b \sin \theta) \sin \varphi,  b\cos\theta,  (d + b \sin \theta) \cos \varphi) $である。

これらから，$b \sin \theta = \sqrt{b^2-y^2}$，$(d +  \sqrt{b^2-y^2})^2 = x^2 + d^2$となる。

つまり，$b^2-y^2 + 2d \sqrt{b^2-y^2} = x^2$，$4d^2\ (b^2-y^2) = (x^2+y^2-b^2)^2$，

$\therefore (a^2-b^2)(b^2-y^2) = b^2 (x^2+y^2-b^2)^2$ が類楕円の4次式である。