將雙曲線的定義合理推廣到球面上應該是怎樣的?方程和圖像是什麼樣子的?

球面雙曲線的定義為與兩個固定的點(叫做焦點)的距離差是常數的點的軌跡。

拋物線呢?

http://www.zhihu.com/question/263872644


如果這麼來定義:

定義1:球面上兩點距離為測地線距離。

定義2:球面上的這麼一條曲線稱為球面上的雙曲線,這條曲線上的任意一點到兩焦點的距離之差為一常數。

那麼不算上作圖的話似乎高中階段的知識就能解決吧。

簡單起見就假設兩焦點在單位球面和yoz平面的交線上並且關於xoz平面對稱,球面上任意一點為p,雙曲線上一點到兩個焦點距離之差為2a

c_1=(0,c_{y},c_{z})\ c_2=(0,-c_{y},c_{z})\ p=(x,y,z)

p到焦點的距離r為 r_{c1}=arccos(m{p}cdotm{c_1})=arccos(c_yy+c_zz)\ r_{c2}=arccos(m{p}cdotm{c_1})=arccos(-c_yy+c_zz)

那麼雙曲線就應該是下面這兩個曲面的交線x^2+y^2+z^2=1\ |arccos(c_yy+c_zz)-arccos(-c_yy+c_zz)|=2a

至於把上面兩個式子化得像二維平面上雙曲線表達式那麼漂亮這事就超出我的能力範圍了,只能請mathematica暴力畫個圖

===========================

c_1=(0,-frac{sqrt2}{2},frac{sqrt2}{2})quad c_1=(0,frac{sqrt2}{2},frac{sqrt2}{2})quad 2a=frac pi3 ,畫出來長這樣↓↓

看得出來球面趨近於無窮大的時候會退化到平面情形


是球面距離還是歐式距離啊(小聲)


我來解決拋物線的問題。

定義:到一點和一直線距離相等的點的軌跡為拋物線。

仍然選擇單位球面作為基準。

F(0,b,c),P(x,y,z)\ d:left{egin{matrix} z=C \ x^2+y^2+z^2=1 end{matrix}
ight.

到焦點的距離為

arccos(by+cz)

來考慮下準直線,是一個圓。

球面上,到圓的距離,先求圓所包圍的最小球冠的頂點的距離,再減去頂點到圓的距離。

平面的單位法向量是 (0,0,1)

所以當C為正數時,圓包圍的最小球冠頂點為 (0,0,1)

當C為負數時,圓包圍的最小球冠頂點為 (0,0,-1)

但是,其實即使圓所包圍的球冠不是最小的,做減法得到的結果的絕對值仍然是正確的,只不過變成了原來的相反數,所以我們只用考慮C為正數的情況。

先考慮動點和頂點的距離,這個距離是

arccos(z)

再來考慮頂點到準線的距離,很簡單,只要動點落在了上面就得到了,這個距離是

arccos(C)

因此

arccos(by+cz)=|arccos(z)-arccos(C)|

兩邊同時進行餘弦運算,展開:

by+cz=cos(arccos(z)-arccos(C))

by+cz=cos(arccos(z))cos(arccos(C))+sin(arccos(z))sin(arccos(C))

by+cz=Cz+sqrt{1-z^2}sqrt{1-C^2}

(by+(c-C)z)^2=(1-z^2)(1-C^2)

(by+(c-C)z)^2=(1-C^2)-z^2(1-C^2)

(by+(c-C)z)^2+(1-C^2)z^2=1-C^2

由於 |C|<1 ,因此 C^2<1 ,所以 1-C^2>0

從而z^2項的係數是正數,因此這個方程表示一個橢圓柱,x軸是它的方向向量。

軌跡,就是橢圓柱與單位球的交線。


特殊情況,在b=0,c=-1的時候,

(-1-C)^2z^2+(1-C^2)z^2=1-C^2

(1+2C+C^2)z^2+(1-C^2)z^2=1-C^2

(2+2C)z^2=1-C^2

2z^2=1-C

再繼續化下去,會得到2個圓。

用任意一個過z軸的直線去截球冠和這2個圓,截得2段弧和4個點,這4個點分別是2段弧的4等分點。



這是球面上的橢圓。https://math.stackexchange.com/questions/903368/ellipse-like-on-sphere

看來球面上也是什麼都有呀,那麼球面應該也有平行線的。


推薦閱讀:

如何學習蘇步青先生的仿射微分幾何學?
在清華數學系讀書是怎樣一種體驗?
外國人很多重名,而中國人很多重姓,不是都是子承父姓嗎?為什麼外國人依照這種制度沒有產生重姓很多的情況?
北大高材生柳智宇出家後現在如何?
為什麼人們都喜歡用幾何概念外微分來闡述微分的意義呢?

TAG:數學 | 幾何學 | WolframMathematica | 函數 | 非歐幾何 |