帯電した楕円体導体から生じる電界の等電位面は焦点を同じくする楕円体面になることを示せ。

というもの。

これも数学的でラスボス級だな（´Д｀；）

だが挑戦してみるテスト

まずもって疑問から、

(1) 楕円体って何？　楕円ってなんだっけ？
(2) 楕円体の焦点って何？　楕円の焦点は知っているけど。

まずは(1)だけど、立体の断面のどこを切断しても楕円になるのが楕円体ということになる。球も特殊な楕円体ということになる。

特殊な楕円体には球を含め、回転楕円体というのがあり、中心を軸に楕円を回転させてできる立体がそれ。回転楕円体の断面は楕円だったり、円だったりするのはそのため。

特殊でない楕円体はどこで切断しても楕円で円は現れないことになる。

次ぎに(2)だけど、紙の上に楕円を描く簡単な方法として、一定の長さの紐の両端を焦点となる２点にそれぞれ固定し、鉛筆の先端で紐がピンと張った状態を保って焦点を囲む周囲を一周しながら曲線を描くとそれが楕円となるのは良く知られている。

楕円が描いたら、２つの焦点を結ぶ直線を軸に楕円を回転させるとラグビーボール状の回転楕円体（長楕円体）になる。もしくは２つ焦点を結ぶ直線と直交し２つの焦点の中間を通る線を軸といして回転させても球を押しつぶしたような回転楕円体（扁平楕円体）ができる。

因みに地球は完全な球体ではなく、扁平楕円体に近い形状をしているらしい。そのため場所によって重力に差が出る。

さてここで問題になるのが、楕円の焦点は楕円の定義から２つあることが明らかだけど、回転楕円体や一般の楕円体の場合の焦点はどこにあるのかね？

長楕円体の場合は２つの焦点を結ぶ直線を軸対称にしているので焦点の位置は確定するけど、扁平楕円体は焦点が回転するので円状にあることになる？

回転楕円体ではなく一般的な楕円体の場合はどうなる？

楕円に関しては古くからその円周長を求める方法を模索されていたが、１８世紀になって微積分の重要な問題となって各種積分法が考案された歴史がある。そのため検索すると楕円の面積とか楕円体の表面積に関する説明ばかりで、それ以前の楕円体とはなんぞや、その焦点とはなんぞやという説明がおろそかになっている。面積や体積を計算する上で必要なのは、楕円の長軸半径と短軸半径だけで争点の位置はそれで決まるので深入りしなくていいということもある。




問題文をよくよく読むと、やっぱり焦点は直接関係ないと思われる。平面上の楕円ですら長径と短径で楕円の方程式は定まるので焦点の位置についてはそれと重複する情報となる。

解法のストラテジーとして思いつくのは、

(A) 帯電した楕円体導体が周囲の電荷のない空間に作る電界から等電位面の方程式を導く
(B) 上はいきなり三次元なので難しいので、練習として断面が二次元楕円の楕円柱導体に帯電した電荷が周囲の電荷のない平面上に作る電界から等電位面の方程式を導く

とりあえず、(B)の手始めとして楕円の方程式を導出してみるテスト。

楕円の定義として終点F1,F2がそれぞれ(-c,0), (c,0)とx座標軸状にあるとして、楕円上の任意の点P(x,y)とF1,F2を結ぶ線分の和が一定値(k)とする。



楕円の定義式から根号記号を消すために、式を二乗したり、根号のある単一項を辺の片方にだけに残して更に二乗すると二次の方程式が現れる。長軸と短軸の半径をa,b(a＞b＞0)とすると、kは長軸の半径の２倍となることから最終的に良くしられた楕円の方程式が導かれる。



楕円線電荷の作る電界を導出するには、楕円の微少線分の法線を知る必要がある。それにはまず楕円の方程式（陰関数表現）から楕円の接線の方程式を陰関数定理を用いて導出すると、



ということになる。

法線は接線と直交するので、以下の関係が成り立つ、



ということになる。

さて問題は法線の方程式は得られたものの、楕円の外の任意の点の電界を導出するには、楕円上の線分に均等に分布した電荷が成す電界を積分する必要がある。

どうすんだこれ（´Д｀；）

楕円に沿って積分するには陰関数表現では都合が悪いので、陽関数表現が必要になる。

極座標での楕円の方程式が得られれば、角度を0〜2πまで積分すればいいことになる。



最初式の立て方で単純なミスを犯して、方程式が四次方程式なって解けてもものすごく複雑な解になって心が折れかけたのは内緒だ( ´∀｀)







ということになる。

焦点cの座標は楕円の長軸半径(a)と短軸半径(b)で決まり任意に設定できるわけではない。

確認のためにmaximaでプロットしてみよう。







できたじゃないか( ´∀｀)

念のために、楕円の方程式のx,yを置き換えてみて成り立つか確認しよう。



ということで方程式を満足することが確認できた。

これであとは、楕円線電荷が作る電界の式を楕円にそって積分して導出すればいいことになる。

しかしMaximaでさくっと積分できると思ったら甘かった（´Д｀；）

この種の積分は楕円積分と呼ばれ一筋縄では行かないのだった罠（´Д｀；）

関係ないが、楕円積分を調べてたら楕円の周長問題のところで、腰が抜けるような楕円の極座標定義を見つけた（´Д｀；）



いや流石に違うだろうと、先のプロットと重ねてプロットしてみた。




むむ、重なっているとしか見えない、同値だというのか？　もはやラマヌジャンの世界だ。
同値かどうか確かめるのは読者の課題としよう（´∀｀　）
（ヒント：それぞれのθの定義が異なる）

いろいろ調べたところ、やはり楕円積分は初等関数(三角関数、根号、べき乗、加減算）では得られず、無限級数の形になることが明らか。

別のアプローチをとらないとだめだな（´Д｀；）

それと無限長の楕円柱を考えたけど、その場合、電位は無限大になる罠（´Д｀；）

もともと最初考えたアプローチはだめだめだったことが判明（´Д｀；）

どうすんだこれ（´Д｀；）

著者の解答をチラ見すると、どうやら前問の結果を利用するぽい。前問は等電位面の条件式だったのか？

問題文にそう書いてあった罠（´Д｀；）

自分でも記事のタイトルに等電位面としっかり書いてあるし（；´Д｀）

全然理解していなかったことがバレバレ。

著者の解答をチラ見しても、字数を減らすためにいろいろ省略している事があるので、そこから紐解いていく必要がある。

まず、最初に疑問に思った楕円体の焦点というのはどういう定義になるのだろうかと。

平面上の楕円に関しては既に焦点(c)もしくは離心率(e)と長軸半径(a)、短軸半径(b)のが一定の関係にあることを明らかにしたので、三次元空間での一般的な楕円体に関して同じ概念が適用できるのか調べてみよう。

楕円体はどの断面を見ても、楕円の方程式を満たす楕円となることから、x-y平面だけではなく、x-zもしくはy-z平面でも同様の方程式が成り立つはずである。

次ぎに疑問だった"焦点を同じくする"という意味はどういうことだろう？

焦点cは、長軸半径(a)と短軸半径(b)と以下の関係がある、



それと異なる長軸半径(a')と短軸半径(b')を持つ楕円が焦点を同じくするためには、以下の関係が成り立つ必要がある。



すなわち異なる２つの楕円が焦点を同じくするためには、それぞれの長軸半径(a,a')のべき乗の差が短軸半径(b,b')のべき乗の差が同じ（λ）である場合ということになる。

焦点を同じくする楕円の離心率(e)は以下の通り、同じではないことに注意する必要がある



以下の２つの楕円方程式は焦点を同じくする



これであとは、前問の結果を使って焦点を同じくする楕円体が等電位面であることを示せばよいことになる。

（続く）