摘要:
在圓的 Collatz's 分割的基礎上, 我們給出了 Collatz's 球和它的陰陽大圓, 並運用 Mathematica 軟體給出了它們的示意圖。 推導出了陰陽大圓的曲面面積等於其陰陽直徑長度的平方。 進一步揭示了 Collatz's 分割的美學特徵。
關鍵詞:
Collatz's 分割, 陰陽直徑, 陰陽大圓, Mathematica 圖示。
1. Collatz's 分割簡介
1.1. 圓的 Collatz's 分割法
所謂圓的 Collatz's 分割, 就是使用圓規和直尺把一個已知圓 $O$ (下簡稱圓 $O$) 的圓面劃分為 $n$ 等分, 如下圖 1-1。 圖中的曲線由半徑不等的圓弧組成。具體步驟如下:
首先把圓 $O$ 的某一條直徑 $n$ $(n\ge 2)$ 等分, 通過這些分點在圓內畫 $n-1$ 條曲線, 每一條曲線都由兩段半圓弧連接而成。圖1-1 給出了當 $n=5$ 時的 Collatz's 分割。
Mathematica 指令如下 (注: 坐標軸已抹去) :
f1$=$ParametricPlot[{Cos[t], Sin[t]}, {t, 0, 2$\pi$}]
f2$=$ParametricPlot[{-.8+.2*Cos[t], .2*Sin[t]}, {t, 0, $\pi$}]
f3$=$ParametricPlot[{.2+.8*Cos[t], .8*Sin[t]}, {t, $-\pi$, 0}]
f4$=$ParametricPlot[{.6+.4*Cos[t], .4*Sin[t]}, {t, $-\pi$, 0}]
f5$=$ParametricPlot[{-.2+.8*Cos[t], .8*Sin[t]}, {t, 0, $\pi$}]
f6$=$ParametricPlot[{.8+.2*Cos[t], .2*Sin[t]}, {t, $-\pi$, 0}]
f7$=$ParametricPlot[{-.6+.4*Cos[t], .4*Sin[t]}, {t, 0, $\pi$}]
f8$=$ParametricPlot[{-.4+.6*Cos[t], .6*Sin[t]}, {t, 0, $\pi$}]
f9$=$ParametricPlot[{.4+.6*Cos[t], .6*Sin[t]}, {t, $-\pi$, 0}]
Show[f1, f2, f3, f4, f5, f6, f7, f8, f9, Ticks $\to$ None, AspectRatio $\to$ Automatic]
1.2. 太極符號與陰陽直徑
在上述情形中, 當 $n=2$ 時, 可得到著名的太極符號, 如圖1-2左。 圖中的曲線叫做 "陰陽直徑", 或稱為 $yy$-直徑。 太極符號以其獨特的美學價值而著稱, 我們不妨把這一分割稱之為 "陰陽分割" 或 $yy$-分割。 這條陰陽直徑由通過圓 $O$ 圓心的兩個小半圓組成, 小圓弧的半徑是圓 $O$ 半徑之半。 顯然, 這樣的陰陽直徑在圓 $O$ 中有無數條, 圖1-2右圖中給出了 4條。 如此, 我們把圖1-1中的曲線也可稱之為偽陰陽 $(yy$-) 直徑。 為下面行文方便起見, 我們把太極圖中的兩個圓點稱之為陰陽直徑的中心 (注: 它有兩個中心, 且與圓 $O$ 的圓心共徑)。
圖1-2右的 Mathematica 指令為:
f1$=$ParametricPlot[{Cos[t], Sin[t]}, {t, 0, 2$\pi$}]
f2$=$ParametricPlot[{.5+.5*Cos[t], .5*Sin[t]}, {t, $-\pi$, 0}]
f3$=$ParametricPlot[{-.5+.5*Cos[t], .5*Sin[t]}, {t, 0, $\pi$}]
f4$=$ParametricPlot[{(.5+.5*Cos[t])*Cos[.25$\pi$]$-$(.5*Sin[t])*Sin[.25$\pi$],
(.5+.5*Cos[t])*Sin[.25$\pi$]+(.5*Sin[t])*Cos[.25$\pi$]}, {t, $-\pi$, 0}]
f5$=$ParametricPlot[{(-.5+.5*Cos[t])*Cos[.25$\pi$]$-$(.5*Sin[t])*Sin[.25$\pi$],
(-.5+.5*Cos[t])*Sin[.25$\pi$]+(.5*Sin[t])*Cos[.25$\pi$]}, {t, 0, $\pi$}]
f6$=$ParametricPlot[{(.5+.5*Cos[t])*Cos[.5$\pi$]$-$(.5*Sin[t])*Sin[.5$\pi$],
(.5+.5*Cos[t])*Sin[.5$\pi$]+(.5*Sin[t])*Cos[.5$\pi$]}, {t, $-\pi$, 0}]
f7$=$ParametricPlot[{(-.5+.5*Cos[t])*Cos[.5$\pi$]$-$(.5*Sin[t])*Sin[.5$\pi$],
(-.5+.5*Cos[t])*Sin[.5$\pi$]+(.5*Sin[t])*Cos[.5$\pi$]}, {t, 0, $\pi$}]
f8$=$ParametricPlot[{(.5+.5*Cos[t])*Cos[-.25$\pi$]$-$(.5*Sin[t])*Sin[-.25$\pi$],
(.5+.5*Cos[t])*Sin[-.25$\pi$]+(.5*Sin[t])*Cos[-.25$\pi$]}, {t, $-\pi$, 0}]
f9$=$ParametricPlot[{(-.5+.5*Cos[t])*Cos[-.25$\pi$]$-$(.5*Sin[t])*Sin[-.25$\pi$],
(-.5+.5*Cos[t])*Sin[-.25$\pi$]+(.5*Sin[t])*Cos[-.25$\pi$]}, {t, 0, $\pi$}]
Show[f1, f2, f3, f4, f5, f6, f7, f8, f9, Ticks $\to$ None, AspectRatio $\to$ Automatic]
若設圓 $O$ 陰陽直徑之長度為 $t$, 則圓 $O$ 周長 $C$ 和圓面積 $S$ 分別為:
$$
\hskip 4.5cm C = 2t, \quad \hbox{和} \quad S = 2rt. \hskip 5.7cm (*)
$$
其中 $2r$ 為圓 $O$ 的半徑。在這裡, 我們所熟悉的圓周率 $\pi$ 已經銷聲匿跡了。
從圓的 Collatz's 分割還可以推導出許多有趣的結果, 不再贅述, 有興趣的讀者可參見
2. Collatz's 分割圓的類比推廣
由二維平面上的圓, 十分自然地使我們想到了三維空間中的球。 能不能把圓的 Collatz's 分割推廣應用到球? 那麼, 球的陰陽直徑是什麼? 怎樣對球體進行 "Collatz's 分割"? 我們先來看, 圓的陰陽直徑在球體中所處的地位和作用是怎樣的?
2.1. 球的陰陽直徑
事實上, 圓的陰陽直徑在球體中就是球的大圓的陰陽直徑。 因此, 我們不妨就把球的任意一個大圓的陰陽直徑叫做球的陰陽直徑。 圓內的陰陽直徑有無數條, 那麼在球內的陰陽直徑就 "更多"了, 它們變成了一條條空間曲線。 因空間曲線可看作空間兩曲面之交線, 故它們也可以看作是內切於球的兩個小球球面與經過其球心的平面相截而成。 不失一般性, 我們用 $XOY$ 平面上的大圓圓面, 截內切於已知球的兩個小球球面得到: \begin{eqnarray*} O &=& \bigg \{(x, y, z) : \bigg \{ \begin{array}{l} x^2 + y^2 + z^2 = r \\ z = 0 \end{array} \bigg \} \\ \bigcap O_1 &=& \bigg \{(x, y, z) : \bigg \{ \begin{array}{l} (x-r)^2 + y^2 + z^2 \\ z = 0 \end{array}, ~x \in [0, 2r], ~y \in [0, r]\bigg \} \\ \bigcap O_2 &=& \bigg \{(x, y, z) : \bigg \{ \begin{array}{l} (x+r)^2 + y^2 + z^2 \\ z = 0 \end{array}, ~x \in [-2r, 0], ~y \in [-r, 0]\bigg \}. \end{eqnarray*} 為便於使用 Mathematica 作圖, 我們不妨給出其參數方程, $$ \begin{array}{lll} \hskip -1.5cm O : \left \{ \begin{array}{l} x = 2r\cos t \\ y = 2r\sin t \\ z = 0 \end{array} \right. & \qquad O_1 : \left \{ \begin{array}{l} x = r + r\cos t \\ y = r\sin t \\ z = 0 \end{array} \right. & \quad O_2 : \left \{ \begin{array}{l} x = -r + r\cos t \\ y = r\sin t \\ z = 0 \end{array} \right. \end{array} $$ 它的圖像如下 (參數 $t$ 的範圍見 Mathematica 指令) :
圖2-1的 Mathematica 指令為:
t1$=$ParametricPlot3D[{.5+.5*Cos[t], .5*Sin[t], 0}, {t, 0, $\pi$}]
t2$=$ParametricPlot3D[{-.5+.5*Cos[t], .5*Sin[t], 0}, {t, $-\pi$, 0}]
t$=$ParametricPlot3D[{Cos[t], Sin[t], 0}, {t, 0, 2$\pi$}]
Show[t1, t2, t, Ticks $\to$ None, Boxed $\to$ False,
AxesLabel $\to$ {$"$X$"$, $"$Y$"$, $"$Z$"$}]
2.2. 球的 Collatz's 分割及其 "陰陽大圓"
如所知, 對平面實現分割的直線和曲線, 對立體的分割就無能為力了; 對立體的分割只有靠平面和曲面。 接下來的問題是我們如何使球內的一條陰陽直徑也能實施對球體的分割? 圓的直徑和陰陽直徑都把圓和圓周一分為二; 球的大圓也把球體和球面一分為二。 如果我們設想讓球的大圓上的一條陰陽直徑 "動" 起來, 使它圍繞三維空間中的某一坐標軸轉動一周, 情況會是怎樣的呢?
這裡, 我們也引入 "公轉" 和 "自轉" 的概念。 如圖2-1, 在直角坐標系中, 我們把陰陽直徑繞著通過它的中心的坐標軸的轉動叫自轉, 否則稱為公轉。 顯然, 它自轉一周所成的曲面仍然是兩個球面, 這不是我們所理想的分割。 下面我們僅討論公轉的情形。
定義: 我們把圓 $O$ 和它的陰陽直徑旋轉一周所生成的球稱為 Collatz's 球; 該陰陽直徑回轉而成的曲面稱之為 Collatz's 球的 "陰陽大圓 (或 YY-大圓)"。
顯然, Collatz's 球的陰陽大圓是一個回轉曲面, 它有上下兩部分組成, 也把球的體積和球面面積分為相等的兩個部分, 它較之球的標準大圓對球的直接了當的分割包含了更多的和諧與對稱。
如所知, 球心在座標原點、半徑為 $2r$ 的球面參數方程為 $$ \left \{ \begin{array}{l} x = 2r\sin\alpha\cos\beta, \\ y = 2r\sin\alpha\sin\beta, \\ z = 2r\cos\alpha. \end{array} \right. $$ 其中參數 $(\alpha, \beta)$ 的變化範圍是 $\Delta=[0, \pi]\times[0, 2\pi]$。 類似於球面的參數方程, 我們可以直接求得陰陽大圓曲面的參數方程。 但我們前面已經有了陰陽直徑的空間曲線方程, 現在我們把它豎起來, 放在 $XOZ$ 平面內, 即設 $y=0$。
由空間曲線 $$ \gamma : \left \{ \begin{array}{l} x = \varphi(t) \\ y = \psi(t) \\ z = \omega(t) \end{array} \right. \quad \alpha \le t \le \beta $$ 繞 $z$ 軸旋轉, 所得旋轉曲面的方程為 $$ \left \{ \begin{array}{l} x = \sqrt{[\varphi(t)]^2 + [\psi(t)]^2} \cos\theta \\ y = \sqrt{[\varphi(t)]^2 + [\psi(t)]^2} \sin\theta \\ z = \omega(t) \end{array} \right. \quad \alpha \le t \le \beta, \quad 0 \le \vartheta \le 2\pi. $$ 因此, 陰陽直徑 $$ \left \{ \begin{array}{l} x = r \pm r\cos\alpha \\ y = 0 \\ z = r\sin\alpha \end{array} \right. \quad 0 \le \alpha \le \pi $$ 繞 $z$ 軸旋轉一周, 所得其旋轉曲面, 也就是陰陽大圓的參數方程為: $$ \left \{ \begin{array}{l} x = (r\pm r\cos\alpha) \cos\beta \\ y = (r\pm r\cos\alpha) \sin\beta \\ z = r\sin\alpha \end{array} \right. \quad 0 \le \alpha \le \pi ~\hbox{或}~ -\pi \le \alpha \le 0, ~0 \le \beta \le 2\pi. $$ 在 Mathematica 指令
f1$=$ParametricPlot3D[{.5*(1+Cos[$\alpha$])*Cos[$\beta$], .5*(1+Cos[$\alpha$])*Sin[$\beta$],
.5*Sin[$\beta$]}, {$\alpha$, 0, $\pi$}, {$\beta$, 0, 2$\pi$}]
f2$=$ParametricPlot3D[{.5*(1-Cos[$\alpha$])*Cos[$\beta$], .5*(1-Cos[$\alpha$])*Sin[$\beta$],
.5*Sin[$\alpha$]}, {$\alpha$, $-\pi$, 0}, {$\beta$, 0, 2$\pi$}]
Show[f1, f2, Ticks $\to$ None, Boxed $\to$ False, AxesLabel {$"$X$"$, $"$Y$"$, $"$Z$"$}]
下, 它的圖像如下 (圖2-2, 圖中我們設球半徑為單位 1, 故小球半徑為 0.5,下同)
它的上下兩塊曲面在球面中的位置示意於下 (圖2-2-1和圖2-2-2):
圖的下方是它們的 Mathematica 作圖程式。
|
|
f1$=$ParametricPlot3D["Sin[$\alpha$]*Cos[$\beta$], Sin[$\alpha$]*Sin[$\beta$] ,
Cos[$\alpha$}, "$\alpha$, 0, $\pi$}, "$\beta$, 0, $\pi$}]
f3$=$ParametricPlot3D[".5*(1-Cos[$\alpha$])*Cos[$\beta$], .5*(1-Cos[$\alpha$])*Sin[$\beta$],
.5*Sin[$\alpha$]}, "$\alpha$, $-\pi$, 0}, "$\beta$, 0, 2$\pi$}]
Show[f1, f3, Tick $\to$ None, Boxed $\to$ False, AxesLabel $\to$ "$"$X$"$, $"$Y$"$, $"$Z$"$}]
f2$=$ParametricPlot3D[".5*(1+Cos[$\alpha$])*Cos[$\beta$], .5*(1+Cos[$\alpha$])*Sin[$\beta$],
.5*Sin[$\alpha$]}, "$\alpha$, 0, $\pi$}, "$\beta$, 0, 2$\pi$}]
f3$=$ParametricPlot3D[".5*(1-Cos[$\alpha$])*Cos[$\beta$], .5*(1-Cos[$\alpha$])*Sin[$\beta$],
.5*Sin[$\alpha$]}, "$\alpha$, $-\pi$, 0}, "$\beta$, 0, 2$\pi$}]
Show[f2, f3, Tick $\to$ None, Boxed $\to$ False, AxesLabel $\to$ "$"$X$"$, $"$Y$"$, $"$Z$"$}]
2.3. "陰陽大圓" 的曲面面積
定理: 設球半徑為 $2r$, 它的陰陽直徑的長度為 $t$, 則 Collatz's 球的陰陽大圓的面積為 $t^2$。
證明: 事實上, 由回轉體的古魯金定理, 且由對稱性和 (*) 式, 該曲面面積為 $$ F = F_{\hbox{ 上}} + F_{\hbox{ 下}} = 2F_{\hbox{ 上}} = 2 \cdot \frac{1}{2} \cdot 2\pi r \cdot 2\pi r = 4\pi^2r^2 = (2\pi r)^2 = t^2. $$ 然而這樣的證明丟失了蘊藏在其中的許多和諧與對稱的資訊．現在我們用曲面積分直接推導出陰陽大圓的面積。
又證: 不失一般性, 在三維空間中我們置球的大圓在 $XOY$ 平面上, 這時 $z=0$。 如圖2-3, 由對稱性, 不妨考慮半圓周, $(x-r)^2+y^2=r^2$, $y\in [0, r]$ 旋轉而成的上半部分的曲面面積, 其曲面方程為 $f(\sqrt{x^2+y^2}, y)=0$, 即 $$ F_{\hbox{ 上}} : (\sqrt{x^2+z^2}-r)^2+y^2=r^2 \quad \hbox{ 或} \quad y^2 = 2r\sqrt{x^2+z^2} - (x^2+z^2). $$ 對方程兩邊求全微分, 得 $$ dy = \frac{x\sqrt{r^2-y^2}}{y\sqrt{x^2+z^2}}dx + \frac{z\sqrt{r^2-y^2}}{y\sqrt{x^2+z^2}}dz, $$ 從而可得偏導數為 $$ \frac{\partial y}{\partial x} = \frac{x\sqrt{r^2-y^2}}{y\sqrt{x^2+z^2}}, \quad \frac{\partial y}{\partial z} = \frac{z\sqrt{r^2-y^2}}{y\sqrt{x^2+z^2}}. $$ 用全微分求偏導數, 是數學中輪換對稱思想的一次實現。
由於 $1+\displaystyle\Big (\frac{\partial y}{\partial x}\Big )^2 + \Big (\frac{\partial y}{\partial z}\Big )^2=\frac{r^2}{y^2}$, 且積分區域 $D: 0\le x^2+z^2\le r$, 故 $$ F_{\hbox{ 上}} = r \iint\limits_D \sqrt{\frac{1}{y^2}}dxdz = r \iint\limits_{0\le x^2+z^2\le r^2} \frac{dxdy}{\sqrt{2r\sqrt{x^2+z^2}-(x^2+z^2)}}. $$ 設 $x=\rho\cos\theta$, $y=\rho\sin\theta$, $\rho\in [0, 2\pi]$, $\theta\in [0, 2\pi]$, 則 \begin{eqnarray*} F_{\hbox{ 上}} &=& r \iint\limits_{(\rho, \theta)} \frac{\rho\cdot d\rho d\theta}{\sqrt{2r\rho-\rho^2}} = r \int_0^{2\pi} \bigg [- \frac{1}{2} \int_0^{2r} \frac{2r-2\rho-2r}{\sqrt{2r\rho-\rho^2}}d\rho\bigg ] d\theta \\ &=& r \int_0^{2\pi} \bigg [- \frac{1}{2} \int_0^{2r} \frac{2r-2\rho}{\sqrt{2r\rho-\rho^2}}d\rho - \frac{1}{2} \int_0^{2r} \frac{-2r}{\sqrt{2r\rho-\rho^2}}d\rho\bigg ] d\theta \\ &=& r \int_0^{2\pi} \bigg [- \frac{1}{2} \int_0^{2r} \frac{d(2r\rho-\rho^2)}{\sqrt{2r\rho-\rho^2}} - \frac{1}{2} \int_0^{2r} \frac{-2rd\rho}{\sqrt{r^2-(r-\rho)^2}}\bigg ]d\theta \\ &=& r \int_0^{2\pi} \left [-\frac{1}{2}\cdot 2\sqrt{2r\rho-\rho^2} \bigg|_0^{2r} - \int_0^{2r} \frac{-d\rho}{\displaystyle\sqrt{1-\Big (1-\frac{\rho}{r}\Big )^2}}\right ]d\theta\\ &=& r \int_0^{2\pi} \left [-\sqrt{2r\rho-\rho^2} \bigg|_0^{2r} - r \int_0^{2r} \frac{\displaystyle d\Big (1-\frac{\rho}{r}\Big )}{\sqrt{1-\Big (1-\frac{\rho}{r}\Big )^2}}\right ]d\theta\\ &=& r \int_0^{2\pi} \bigg [-r \arcsin \Big (1-\frac{\rho}{r}\Big )\bigg |_0^{2r}\bigg ] d\theta = r \int_0^{2\pi} \bigg [-r\cdot \Big (-\frac{\pi}{2}\Big ) + r\cdot \frac{\pi}{2}\bigg ] d\theta \\ &=& r \int_0^{2\pi} (\pi r)d\theta = 2\pi^2r^2 \end{eqnarray*} 於是陰陽大圓的曲面面積為 $$ F = F_{\hbox{ 上}} + F_{\hbox{ 下}} = 2F_{\hbox{上}} = 4\pi^2r^2 = (2\pi r)^2 = t^2. $$ 證畢。它與球面積之比為 $\displaystyle\frac{4\pi^2r^2}{4\pi(2r)^2}=\frac{\pi}{4}$。
球的 Collatz's分割的這一結果與上面的直觀圖像放在一起, 簡直是美不勝收。 數學科學所追求的就是 "簡" 與 "易", "真" 和 "美"。 我們得到了如此簡潔的形式與完美的結果, 可見球的陰陽大圓與圓的陰陽直徑一樣, 它揭示了 Collatz's 分割的美學特徵。 作為一個練習, 下面我們來看一下它所包容的體積是多少? 利用對稱性, 同樣考慮 $XOY$ 平面上的曲線 $$ (x-r)^2 + y^2 = r^2, \quad y \in [0, r] $$ 繞 $y$ 軸旋轉一周而成的旋轉體的體積 \begin{eqnarray*} V_{\hbox{ 上}} &=& \pi \int_0^r x^2dy = \pi \int_0^r \Big (r+\sqrt{r^2-y^2}\Big )^2 dy \\ &=& \pi \int_0^r \Big (2r^2 + 2r\sqrt{r^2-y^2} - y^2\Big ) dy \\ &=& 2\pi \int_0^r r^2dy - \pi \int_0^r y^2dy + 2\pi r \int_0^r \sqrt{r^2-y^2}dy \\ &=& I_1 - I_2 + I_3 \end{eqnarray*} 其中 $I_1-I_2=2\pi r^3-\displaystyle\frac{1}{3}\pi r^3$
為求 $I_3$, 可設 $y=r\sin\alpha$, 從而 $\alpha\in \Big [0, \displaystyle\frac{\pi}{2}\Big ]$, 故 \begin{eqnarray*} I_3 &=& 2\pi r \int_0^r \sqrt{r^2-y^2}d y \\ &=& 2\pi r \int_0^{\frac{\pi}{2}} \sqrt{r^2(1-\sin^2\alpha)}d(r\sin\alpha) \\ &=& 2\pi r^3 \int_0^{\frac{\pi}{2}} \cos^2\alpha \cdot d\alpha = 2\pi r^3 \cdot \frac{\pi}{4} = \frac{1}{2}\pi^2r^3 \end{eqnarray*} 所以 $$ V = 2V_{\hbox{ 上}} = 2 \Big (2\pi r^3 - \frac{1}{3}\pi r^3 + \frac{1}{2}\pi^2 r^3\Big ) = \Big (\frac{10}{3}\pi + \pi^2\Big )r^3. $$ 若用參數式求積並不比顯式積分簡單: \begin{eqnarray*} V_{\hbox{ 上}} &=& \pi \int_0^{\frac{\pi}{2}} x^2(t)dy(t) = \pi \int_0^{\frac{\pi}{2}} (r+rc\cos t)^2 d(r\sin t) \\ &=& \pi r^3 \int_0^{\frac{\pi}{2}} (1+\cos t)^2 \cos tdt. \end{eqnarray*} 可應用分部積分法, 結果同上。 最後我們較為完整地給出球的 Collatz's 分割的直觀示意圖, Mathematica 作圖指令略。
參考文獻
---本文作者任職無錫市教育研究中心, 江蘇省特級教師、江南大學兼職教授---