無理數，所謂不能化為分數的數，相當的難以捉摸。
以前我們曾在【無理數與無理數加減乘除後仍會是無理數嗎？】與【有理數與無理數加減乘除後得到有理數還是無理數？】兩篇文章中探討過無理數對四則運算是否具有封閉性。
但我們不曾對乘冪運算有所探究。
本文要回答一個問題。
==問題==
若$\alpha, \beta$皆為無理數，則$\alpha^{\beta}$也是無理數嗎？
==解答==
底是無理數，次方又是無理數，看起來結果一定是無理，對吧？
未必！
考慮$\alpha_1 = \sqrt{2}, \beta_1 = \sqrt{2}$，則可得數$\alpha_1^{\beta_1} = \sqrt{2}^{\sqrt{2}}$。
關於數$\sqrt{2}^{\sqrt{2}}$，我不知道它到底是無理數還是有理數。
如果$\sqrt{2}^{\sqrt{2}}$是有理數，那麼我們得到$\text{無理數}^{\text{無理數}} = \text{有理數}$的一個例子。
如果$\sqrt{2}^{\sqrt{2}}$是無理數，那麼我們令$\alpha_2 = \sqrt{2}^{\sqrt{2}}, \beta_2 = \sqrt{2}$，於是
$$
\alpha_2^{\beta_2}=\left( \sqrt{2}^{\sqrt{2}} \right)^{\sqrt{2}} = \sqrt{2}^{\sqrt{2} \times \sqrt{2}} = \sqrt{2}^2 = 2.
$$
再次得到$\text{無理數}^{\text{無理數}} = \text{有理數}$。
所以無論本來$\sqrt{2}^{\sqrt{2}}$是有理數還是無理數，我們都能憑藉這個數去得到$\text{無理數}^{\text{無理數}} = \text{有理數}$的例子。
==參考資料==
Kenneth Binmore, Foundations of Analysis: Book 1: Logic, Sets and Numbers. Cambridge University Press. 1980. Example 3.15
2017年7月25日 星期二
2017年7月13日 星期四
$\log_{10} 2$不是有理數
=問題=
證明$\log_{10} 2$不是有理數。
=解答=
首先，由於$\log_{10} 2 > \log_{10} 1 = 0$，故可知$\log_{10} 2$為正數。
假設$\log_{10} 2 = \text{有理數} \frac{a}{b}$，其中$a, b$皆為正整數，且$\gcd (a, b) = 1$。
於是根據對數的定義，得$2 = 10^{\frac{a}{b}}$。左右同時自乘$b$次，即同時$b$次方，得
\begin{eqnarray*}
2^b = \left( 10^{\frac{a}{b}} \right)^b, \\
2^b = 10^a, \\
2^b = (2 \times 5)^a, \\
2^b = 2^a \times 5^a, \\
2^b \times 5^0 = 2^a \times 5^a.
\end{eqnarray*}
注意$a, b$皆為正整數，所以$2^b, 2^a \times 5^a$皆為正整數。再根據算術基本定理之唯一性比較指數可知
$$
b = a \text{且} 0 = a.
$$
也就是有$a = b = 0$，但此與前提假設矛盾(我們假設$a, b$都是正整數)，所以假設錯誤，即$\log_{10} 2$是無理數。
證明$\log_{10} 2$不是有理數。
[華羅庚《數論導引》第一章$\S 5$習題1]
=解答=
首先，由於$\log_{10} 2 > \log_{10} 1 = 0$，故可知$\log_{10} 2$為正數。
假設$\log_{10} 2 = \text{有理數} \frac{a}{b}$，其中$a, b$皆為正整數，且$\gcd (a, b) = 1$。
於是根據對數的定義，得$2 = 10^{\frac{a}{b}}$。左右同時自乘$b$次，即同時$b$次方，得
\begin{eqnarray*}
2^b = \left( 10^{\frac{a}{b}} \right)^b, \\
2^b = 10^a, \\
2^b = (2 \times 5)^a, \\
2^b = 2^a \times 5^a, \\
2^b \times 5^0 = 2^a \times 5^a.
\end{eqnarray*}
注意$a, b$皆為正整數，所以$2^b, 2^a \times 5^a$皆為正整數。再根據算術基本定理之唯一性比較指數可知
$$
b = a \text{且} 0 = a.
$$
也就是有$a = b = 0$，但此與前提假設矛盾(我們假設$a, b$都是正整數)，所以假設錯誤，即$\log_{10} 2$是無理數。
(證明結束)
2017年7月12日 星期三
有理數與無理數加減乘除後得到有理數還是無理數？
在【有理數與有理數加減乘除後仍為有理數(有理數對四則運算自封、有理數Q是體(field))】一文中，我們論證了有理數對四則運算的自封性；在【無理數與無理數加減乘除後仍會是無理數嗎？】一文中，我們對不同的運算都各別舉出了正、反兩種例子來說明任兩個無理數之間經加減乘除四則運算後有可能是有理數，也可能是無理數。
本文將研究有理數與無理數經四則運算後會得到怎樣的結果。
以下均假定$p$為有理數，$q$為無理數。
(1) 有理數$\pm$無理數$=$無理數
[證]：假定有理數$p+$無理數$q=$有理數$r$，於是可以得到
$$
\text{無理數}q = \text{有理數}r - \text{有理數}p = \text{有理數},
$$
矛盾！
所以有理數$+$無理數$=$無理數。
而減法的情況則是，假定有理數$p - $無理數$q=$有理數$r'$，於是可以得到
$$
\text{無理數}q = \text{有理數}r' - \text{有理數}p = \text{有理數},
$$
矛盾！
所以有理數$-$無理數$=$無理數。
(2) 有理數$\times$無理數未必是無理數
正例：有理數$1 \times$無理數$\sqrt{2}=$無理數$\sqrt{2}$。
反例：有理數$0 \times$無理數$\sqrt{2}=$有理數$0$。
所以，有理數乘以無理數得到的結果可能是無理數，也可能是有理數。
(3) 有理數$\div$無理數未必是無理數
正例：有理數$2 \div$無理數$\sqrt{2} = $無理數$\sqrt{2}$。
反例：有理數$0 \div$無理數$\sqrt{2} = $有理數$0$。
警告：由於除法不具有交換律，所以討論了「有理數$\div$無理數」之外，還必須討論「無理數$\div$有理數」，而這兩種情況有顯著的差異！
(4) 無理數$\div$非零有理數$=$無理數
[證]：假定無理數$q \div$有理數$p =$有理數$r''$[當然我們這裡隱約假定了除數(或是說分母)$p \neq 0$]。於是我們有
\begin{eqnarray*}
\text{無理數}q \div \text{有理數}p = \text{有理數}r'', \\
\frac{\text{無理數}q}{\text{有理數}p} = \text{有理數}r'', \\
\text{無理數}q = \text{有理數}p \times \text{有理數}r'' = \text{有理數},
\end{eqnarray*}
矛盾！
因此無理數$q \div$有理數$p =$無理數。
=歸納=
(1) 有理數$\pm$無理數$=$無理數
(2) 有理數$\times$無理數未必是無理數
(3) 有理數$\div$無理數未必是無理數
(4) 無理數$\div$非零有理數$=$無理數
本文將研究有理數與無理數經四則運算後會得到怎樣的結果。
以下均假定$p$為有理數，$q$為無理數。
(1) 有理數$\pm$無理數$=$無理數
[證]：假定有理數$p+$無理數$q=$有理數$r$，於是可以得到
$$
\text{無理數}q = \text{有理數}r - \text{有理數}p = \text{有理數},
$$
矛盾！
所以有理數$+$無理數$=$無理數。
而減法的情況則是，假定有理數$p - $無理數$q=$有理數$r'$，於是可以得到
$$
\text{無理數}q = \text{有理數}r' - \text{有理數}p = \text{有理數},
$$
矛盾！
所以有理數$-$無理數$=$無理數。
正例：有理數$1 \times$無理數$\sqrt{2}=$無理數$\sqrt{2}$。
反例：有理數$0 \times$無理數$\sqrt{2}=$有理數$0$。
所以，有理數乘以無理數得到的結果可能是無理數，也可能是有理數。
(3) 有理數$\div$無理數未必是無理數
正例：有理數$2 \div$無理數$\sqrt{2} = $無理數$\sqrt{2}$。
反例：有理數$0 \div$無理數$\sqrt{2} = $有理數$0$。
警告：由於除法不具有交換律，所以討論了「有理數$\div$無理數」之外，還必須討論「無理數$\div$有理數」，而這兩種情況有顯著的差異！
(4) 無理數$\div$非零有理數$=$無理數
[證]：假定無理數$q \div$有理數$p =$有理數$r''$[當然我們這裡隱約假定了除數(或是說分母)$p \neq 0$]。於是我們有
\begin{eqnarray*}
\text{無理數}q \div \text{有理數}p = \text{有理數}r'', \\
\frac{\text{無理數}q}{\text{有理數}p} = \text{有理數}r'', \\
\text{無理數}q = \text{有理數}p \times \text{有理數}r'' = \text{有理數},
\end{eqnarray*}
矛盾！
因此無理數$q \div$有理數$p =$無理數。
=歸納=
(1) 有理數$\pm$無理數$=$無理數
(2) 有理數$\times$無理數未必是無理數
(3) 有理數$\div$無理數未必是無理數
(4) 無理數$\div$非零有理數$=$無理數
2017年7月11日 星期二
無理數與無理數加減乘除後仍會是無理數嗎？
在【有理數與有理數加減乘除後仍為有理數(有理數對四則運算自封、有理數Q是體(field))】一文中，我們討論了有理數對於加減乘除四則運算是自封的，那我們不禁要問「無理數的情況又如何？」
答案是不一定。
(1) 無理數$\pm$無理數未必是無理數
正例：無理數$\sqrt{2}+$無理數$\sqrt{3}=$無理數。
[證]：採用純粹數論的方法來論證此敘述太麻煩了，我們逕直使用有理根檢驗法就好。
設$x = \sqrt{2}+\sqrt{3}$，則
\begin{eqnarray*}
x=\sqrt{2}+\sqrt{3}, \\
x-\sqrt{2}=\sqrt{3}, \\
\left( x-\sqrt{2} \right)^2=\sqrt{3}^2, \\
x^2-2\sqrt{2}x+2=3, \\
x^2-1=2\sqrt{2}x, \\
\left( x^2-1 \right)^2=\left( 2\sqrt{2}x \right)^2, \\
x^4-2x^2+1=8x^2, \\
x^4-10x^2+1=0.
\end{eqnarray*}
命$f(x)=x^4-10x^2+1$。若有理數$\frac{p}{q}$[此地假定$\gcd (p, q)=1, q>0$]是多項式方程式$f(x)=0$的根，那麼必有$q|1, p|1$。如此，有理根僅可能為$\frac{1}{1}$或$\frac{-1}{1}$，亦即$\pm 1$。但$\sqrt{2}+\sqrt{3}$是多項式方程式$f(x)=0$的實根，而顯然$\sqrt{2}+\sqrt{3}$不會是有理根，於是可推知$\sqrt{2}+\sqrt{3}$必為多項式方程式$f(x)=0$的無理根，換言之，$\sqrt{2}+\sqrt{3}$根本就是無理數。
反例：無理數$\sqrt{2}+$無理數$(-\sqrt{2})=$有理數$0$。
綜上所述，無理數加減無理數的結果可能是無理數，也可能是有理數。
(2) 無理數$\times$無理數未必是無理數
正例：無理數$\sqrt{2} \times$無理數$\sqrt{3}=$無理數$\sqrt{6}$。
[證]：這裡其實沒什麼好證明的，只是要說明一下$\sqrt{2}, \sqrt{3}, \sqrt{6}$這三個數的無理性。
命$f_1(x) = x^2-2, f_2(x) = x^2-3, f_3(x)=x^2-6$，利用有理根檢驗法就可以輕易得知$\sqrt{2}, \sqrt{3}, \sqrt{6}$這三個數都是無理數。
反例：無理數$\sqrt{2} \times$無理數$\sqrt{2}=$有理數$2$。
綜上所述，無理數乘以無理數的結果可能是無理數，也可能是有理數。
(3) 無理數$\div$無理數未必是無理數
正例：無理數$\sqrt{3}\div$無理數$\sqrt{2}=$無理數$\sqrt{\frac{3}{2}}$。
[證]：此地只說明$\sqrt{\frac{3}{2}}$的無理性。
命$x=\sqrt{\frac{3}{2}}$，於是
\begin{eqnarray*}
x=\sqrt{\frac{3}{2}}, \\
x^2=\frac{3}{2}, \\
2x^2-3=0.
\end{eqnarray*}
命多項式$f(x)=2x^2-3$，利用有理根檢驗法即知$\sqrt{\frac{3}{2}}$為無理數。
反例：無理數$\sqrt{2}\div$無理數$\sqrt{2}=$有理數$1$。
綜上所述，無理數除以無理數的結果可能是無理數，也可能是有理數。
答案是不一定。
(1) 無理數$\pm$無理數未必是無理數
正例：無理數$\sqrt{2}+$無理數$\sqrt{3}=$無理數。
[證]：採用純粹數論的方法來論證此敘述太麻煩了，我們逕直使用有理根檢驗法就好。
設$x = \sqrt{2}+\sqrt{3}$，則
\begin{eqnarray*}
x=\sqrt{2}+\sqrt{3}, \\
x-\sqrt{2}=\sqrt{3}, \\
\left( x-\sqrt{2} \right)^2=\sqrt{3}^2, \\
x^2-2\sqrt{2}x+2=3, \\
x^2-1=2\sqrt{2}x, \\
\left( x^2-1 \right)^2=\left( 2\sqrt{2}x \right)^2, \\
x^4-2x^2+1=8x^2, \\
x^4-10x^2+1=0.
\end{eqnarray*}
命$f(x)=x^4-10x^2+1$。若有理數$\frac{p}{q}$[此地假定$\gcd (p, q)=1, q>0$]是多項式方程式$f(x)=0$的根，那麼必有$q|1, p|1$。如此，有理根僅可能為$\frac{1}{1}$或$\frac{-1}{1}$，亦即$\pm 1$。但$\sqrt{2}+\sqrt{3}$是多項式方程式$f(x)=0$的實根，而顯然$\sqrt{2}+\sqrt{3}$不會是有理根，於是可推知$\sqrt{2}+\sqrt{3}$必為多項式方程式$f(x)=0$的無理根，換言之，$\sqrt{2}+\sqrt{3}$根本就是無理數。
(證明結束)
反例：無理數$\sqrt{2}+$無理數$(-\sqrt{2})=$有理數$0$。
綜上所述，無理數加減無理數的結果可能是無理數，也可能是有理數。
(2) 無理數$\times$無理數未必是無理數
正例：無理數$\sqrt{2} \times$無理數$\sqrt{3}=$無理數$\sqrt{6}$。
[證]：這裡其實沒什麼好證明的，只是要說明一下$\sqrt{2}, \sqrt{3}, \sqrt{6}$這三個數的無理性。
命$f_1(x) = x^2-2, f_2(x) = x^2-3, f_3(x)=x^2-6$，利用有理根檢驗法就可以輕易得知$\sqrt{2}, \sqrt{3}, \sqrt{6}$這三個數都是無理數。
(證明結束)
反例：無理數$\sqrt{2} \times$無理數$\sqrt{2}=$有理數$2$。
綜上所述，無理數乘以無理數的結果可能是無理數，也可能是有理數。
(3) 無理數$\div$無理數未必是無理數
正例：無理數$\sqrt{3}\div$無理數$\sqrt{2}=$無理數$\sqrt{\frac{3}{2}}$。
[證]：此地只說明$\sqrt{\frac{3}{2}}$的無理性。
命$x=\sqrt{\frac{3}{2}}$，於是
\begin{eqnarray*}
x=\sqrt{\frac{3}{2}}, \\
x^2=\frac{3}{2}, \\
2x^2-3=0.
\end{eqnarray*}
命多項式$f(x)=2x^2-3$，利用有理根檢驗法即知$\sqrt{\frac{3}{2}}$為無理數。
(證明結束)
反例：無理數$\sqrt{2}\div$無理數$\sqrt{2}=$有理數$1$。
綜上所述，無理數除以無理數的結果可能是無理數，也可能是有理數。
我們可以把以上幾條結論歸結為：無理數對加減乘除四則運算不自封。
更多關於無理數的討論，參見G. H. Hardy與E. M. Wright合著的"An Introduction to the Theory of Numbers"，第4章。I. Niven的"Numbers: Rational and Irrational"也是很好的讀物。
更多關於無理數的討論，參見G. H. Hardy與E. M. Wright合著的"An Introduction to the Theory of Numbers"，第4章。I. Niven的"Numbers: Rational and Irrational"也是很好的讀物。
有理數與有理數加減乘除後仍為有理數(有理數對四則運算自封、有理數Q是體(field))
在高中數學關於實數的介紹中，常會出現一類概念考題，多以選擇題形式呈現，其內容大概都是「設$a, b$皆為有理數，則以下選項何者正確？」云云。
有很大一部分題目內容是關於有理數體對於四則運算自封的，以下我們來討論一下這些內容。
定理：若$a, b$皆為有理數(亦可寫作$a, b \in \mathbb{Q}$)，則有以下結論：
(1) $a+b$仍為有理數，即$a+b \in \mathbb{Q}$。換句話說，就是「有理數$+$有理數$=$有理數」；
(2) $a-b$仍為有理數，即$a-b \in \mathbb{Q}$。換句話說，就是「有理數$-$有理數$=$有理數」；
(3) $a \times b$仍為有理數，即$a \times b \in \mathbb{Q}$。換句話說，就是「有理數$ \times $有理數$=$有理數」；
(4) 若再限制$b \neq 0$，那麼$a \div b$仍為有理數，即$a \div b \in \mathbb{Q}$。換句話說，就是「有理數$ \div $有理數$=$有理數」。
[證]：已知$a, b$皆為有理數，那麼存在整數$p, q, r, s$使得$a=\frac{p}{q}, b=\frac{r}{s}$，且其中$q \neq 0, s \neq 0$，又$\gcd (p, q) = \gcd (r, s) = 1$。
(1) 因為$p, q, r, s$皆為整數，所以$qs, ps+qr$亦為整數。而
\begin{eqnarray*}
a+b
&=& \frac{p}{q} + \frac{r}{s} \\
&=& \frac{ps}{qs} + \frac{rq}{sq} \\
&=& \frac{ps+rq}{qs}
\end{eqnarray*}
可見$a+b$的結果可表為$\frac{\text{整數}}{整數}$，因此$a+b$也是有理數。
(2) 因為$r$是整數，所以$-r$也是整數。
因$b=\frac{r}{s}$，得$-b=-\frac{r}{s} = \frac{-r}{s} = \frac{\text{整數}}{\text{整數}}$，即$-b$亦為有理數。
那麼$a-b=a+(-b)=\text{有理數}+\text{有理數}=\text{有理數}$。
(3) 因為$p, q, r, s$皆為整數，所以$pr, qs$也都是整數。
那麼$a \times b = \frac{p}{q} \times \frac{r}{s} = \frac{pr}{qs} = \frac{\text{整數}}{\text{整數}} = \text{有理數}$。
(4) 因$b \neq 0$，而$b = \frac{r}{s}$，故$r \neq 0$，所以$\frac{1}{b} = \frac{s}{r}$是存在的，且$\frac{1}{b}$也是有理數。
於是$a \div b = a \times \frac{1}{b} = \text{有理數} \times \text{有理數} = \text{有理數}$。
有很大一部分題目內容是關於有理數體對於四則運算自封的，以下我們來討論一下這些內容。
定理：若$a, b$皆為有理數(亦可寫作$a, b \in \mathbb{Q}$)，則有以下結論：
(1) $a+b$仍為有理數，即$a+b \in \mathbb{Q}$。換句話說，就是「有理數$+$有理數$=$有理數」；
(2) $a-b$仍為有理數，即$a-b \in \mathbb{Q}$。換句話說，就是「有理數$-$有理數$=$有理數」；
(3) $a \times b$仍為有理數，即$a \times b \in \mathbb{Q}$。換句話說，就是「有理數$ \times $有理數$=$有理數」；
(4) 若再限制$b \neq 0$，那麼$a \div b$仍為有理數，即$a \div b \in \mathbb{Q}$。換句話說，就是「有理數$ \div $有理數$=$有理數」。
[證]：已知$a, b$皆為有理數，那麼存在整數$p, q, r, s$使得$a=\frac{p}{q}, b=\frac{r}{s}$，且其中$q \neq 0, s \neq 0$，又$\gcd (p, q) = \gcd (r, s) = 1$。
(1) 因為$p, q, r, s$皆為整數，所以$qs, ps+qr$亦為整數。而
\begin{eqnarray*}
a+b
&=& \frac{p}{q} + \frac{r}{s} \\
&=& \frac{ps}{qs} + \frac{rq}{sq} \\
&=& \frac{ps+rq}{qs}
\end{eqnarray*}
可見$a+b$的結果可表為$\frac{\text{整數}}{整數}$，因此$a+b$也是有理數。
(2) 因為$r$是整數，所以$-r$也是整數。
因$b=\frac{r}{s}$，得$-b=-\frac{r}{s} = \frac{-r}{s} = \frac{\text{整數}}{\text{整數}}$，即$-b$亦為有理數。
那麼$a-b=a+(-b)=\text{有理數}+\text{有理數}=\text{有理數}$。
(3) 因為$p, q, r, s$皆為整數，所以$pr, qs$也都是整數。
那麼$a \times b = \frac{p}{q} \times \frac{r}{s} = \frac{pr}{qs} = \frac{\text{整數}}{\text{整數}} = \text{有理數}$。
(4) 因$b \neq 0$，而$b = \frac{r}{s}$，故$r \neq 0$，所以$\frac{1}{b} = \frac{s}{r}$是存在的，且$\frac{1}{b}$也是有理數。
於是$a \div b = a \times \frac{1}{b} = \text{有理數} \times \text{有理數} = \text{有理數}$。
(證明結束)
2017年7月7日 星期五
三元算幾不等式的代數證明
定理：若$x, y, z$皆為非負實數，則恆有
$$
\frac{x+y+z}{3} \geq \sqrt[3]{xyz}.
$$
[證]：令$\sqrt[3]{x}=a, \sqrt[3]{y}=b, \sqrt[3]{z}=c$，則$x=a^3, y=b^3, z=c^3$。考慮$\frac{x+y+z}{3} - \sqrt[3]{xyz}$，利用「三元三次輪換式」，則
\begin{eqnarray*}
\frac{x+y+z}{3} - \sqrt[3]{xyz}
&=& \frac{1}{3} \left( x+y+z - 3 \sqrt[3]{xyz} \right) \\
&=& \frac{1}{3} \left( \sqrt[3]{x}^3 + \sqrt[3]{y}^3 + \sqrt[3]{z}^3 - 3\sqrt[3]{x}\sqrt[3]{y} \sqrt[3]{z} \right) \\
&=& \frac{1}{3} \left( a^3 + b^3 +c^3 - 3abc \right) \\
&=& \frac{1}{3} (a+b+c)\left( a^2 + b^2 + c^2 - ab - bc - ca \right) \\
&=& \frac{1}{3} (a+b+c) \frac{1}{2} \left( 2a^2 + 2b^2 + 2c^2 - 2ab - 2bc - 2ca \right) \\
&=& \frac{1}{6} (a+b+c) \left[ (a^2 -2ab + b^2) + (b^2 -2bc +c^2) + (c^2 -2ca +a^2) \right] \\
&=& \frac{1}{6} (a+b+c) \left[ (a-b)^2 + (b-c)^2 + (c-a)^2 \right] \\
&\geq& 0
\end{eqnarray*}
得$\frac{x+y+z}{3} - \sqrt[3]{xyz} \geq 0$，即$\frac{x+y+z}{3} \geq \sqrt[3]{xyz}$。
$$
\frac{x+y+z}{3} \geq \sqrt[3]{xyz}.
$$
[證]：令$\sqrt[3]{x}=a, \sqrt[3]{y}=b, \sqrt[3]{z}=c$，則$x=a^3, y=b^3, z=c^3$。考慮$\frac{x+y+z}{3} - \sqrt[3]{xyz}$，利用「三元三次輪換式」，則
\begin{eqnarray*}
\frac{x+y+z}{3} - \sqrt[3]{xyz}
&=& \frac{1}{3} \left( x+y+z - 3 \sqrt[3]{xyz} \right) \\
&=& \frac{1}{3} \left( \sqrt[3]{x}^3 + \sqrt[3]{y}^3 + \sqrt[3]{z}^3 - 3\sqrt[3]{x}\sqrt[3]{y} \sqrt[3]{z} \right) \\
&=& \frac{1}{3} \left( a^3 + b^3 +c^3 - 3abc \right) \\
&=& \frac{1}{3} (a+b+c)\left( a^2 + b^2 + c^2 - ab - bc - ca \right) \\
&=& \frac{1}{3} (a+b+c) \frac{1}{2} \left( 2a^2 + 2b^2 + 2c^2 - 2ab - 2bc - 2ca \right) \\
&=& \frac{1}{6} (a+b+c) \left[ (a^2 -2ab + b^2) + (b^2 -2bc +c^2) + (c^2 -2ca +a^2) \right] \\
&=& \frac{1}{6} (a+b+c) \left[ (a-b)^2 + (b-c)^2 + (c-a)^2 \right] \\
&\geq& 0
\end{eqnarray*}
得$\frac{x+y+z}{3} - \sqrt[3]{xyz} \geq 0$，即$\frac{x+y+z}{3} \geq \sqrt[3]{xyz}$。
(證明結束)
和的立方公式(二項式定理n=3的情況)、差的立方公式
定理：若$a, b$皆為複數，則
$$
(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3.
$$
[證一]：直接從左式展開，
\begin{eqnarray*}
(a+b)^3
&=& (a+b)^2 (a+b) \\
&=& (a^2 + 2ab + b^2) (a+b) \\
&=& a^3 + 2a^2b + ab^2 \\
& & +a^2b +2ab^2 + b^3 \\
&=& a^3 + 3a^2b + 3ab^2 + b^3
\end{eqnarray*}
[證二]：組合論證法。因為
$$
(a+b)^3 = (a+b)(a+b)(a+b),
$$
共有3個括號，每個括號裏頭有2種選擇，選$a$或選$b$，於是可以知道，選擇出來的乘積可能有
$$
aaa, aab, abb, bbb
$$
這4種可能情況。($aaa$代表3個括號中都選$a$；$aab$代表3個括號中有2個選$a$、1個選$b$，不考慮順序)
那麼我們要問，有多少種製造$aaa$的方式呢？有多少種製造$aab$的方式呢？...
在選擇過程中，我們只要確定要選那些括號來選$a$就行，剩下的括號直接默認要選$b$。
對於$aaa$，共有${3 \choose 3} = 1$種方式。
對於$aab$，共有${3 \choose 2} = 3$種方式。
對於$abb$，共有${3 \choose 1} = 3$種方式。
對於$bbb$，共有${3 \choose 0} = 1$種方式。
因此整個選擇過程結束後，我們可以得到1個$aaa$(即$a^3$)、3個$aab$(即$a^2b$)、3個$abb$(即$ab^2$)、以及1個$bbb$(即$b^3$)。
所以$(a+b)^3=a^3+3a^2b+3ab^2+b^3$。
$$
(a-b)^3 = a^3 - 3a^2b + 3ab^2 - b^3.
$$
[證]：命$A=a, B=-b$，則$(a-b)^3=[a+(-b)]^3=(A+B)^3$，利用和的立方公式，得
\begin{eqnarray*}
(a-b)^3
&=& (A+B)^3 \\
&=& A^3 + 3A^2B +3AB^2 + B^3 \\
&=& a^3 +3a^2(-b) + 3a(-b)^2 + (-b)^3 \\
&=& a^3 - 3a^2b + 3ab^2 - b^3
\end{eqnarray*}
$$
(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3.
$$
[證一]：直接從左式展開，
\begin{eqnarray*}
(a+b)^3
&=& (a+b)^2 (a+b) \\
&=& (a^2 + 2ab + b^2) (a+b) \\
&=& a^3 + 2a^2b + ab^2 \\
& & +a^2b +2ab^2 + b^3 \\
&=& a^3 + 3a^2b + 3ab^2 + b^3
\end{eqnarray*}
[證二]：組合論證法。因為
$$
(a+b)^3 = (a+b)(a+b)(a+b),
$$
共有3個括號，每個括號裏頭有2種選擇，選$a$或選$b$，於是可以知道，選擇出來的乘積可能有
$$
aaa, aab, abb, bbb
$$
這4種可能情況。($aaa$代表3個括號中都選$a$；$aab$代表3個括號中有2個選$a$、1個選$b$，不考慮順序)
那麼我們要問，有多少種製造$aaa$的方式呢？有多少種製造$aab$的方式呢？...
在選擇過程中，我們只要確定要選那些括號來選$a$就行，剩下的括號直接默認要選$b$。
對於$aaa$，共有${3 \choose 3} = 1$種方式。
對於$aab$，共有${3 \choose 2} = 3$種方式。
對於$abb$，共有${3 \choose 1} = 3$種方式。
對於$bbb$，共有${3 \choose 0} = 1$種方式。
因此整個選擇過程結束後，我們可以得到1個$aaa$(即$a^3$)、3個$aab$(即$a^2b$)、3個$abb$(即$ab^2$)、以及1個$bbb$(即$b^3$)。
所以$(a+b)^3=a^3+3a^2b+3ab^2+b^3$。
(證明結束)
附註：差的立方公式：若$a, b$皆為複數，則
$$
(a-b)^3 = a^3 - 3a^2b + 3ab^2 - b^3.
$$
[證]：命$A=a, B=-b$，則$(a-b)^3=[a+(-b)]^3=(A+B)^3$，利用和的立方公式，得
\begin{eqnarray*}
(a-b)^3
&=& (A+B)^3 \\
&=& A^3 + 3A^2B +3AB^2 + B^3 \\
&=& a^3 +3a^2(-b) + 3a(-b)^2 + (-b)^3 \\
&=& a^3 - 3a^2b + 3ab^2 - b^3
\end{eqnarray*}
(證明結束)
三元三次輪換式
定理：若$x, y, z$皆為複數，則恆有
$$
x^3 + y^3 + z^3 - 3xyz = (x+y+z)\left( x^2 +y^2 + z^2 - xy - yz - zx \right).
$$
[證一]：直接對右端展開。
\begin{eqnarray*}
(x+y+z) \left( x^2 +y^2 + z^2 - xy - yz - zx \right)
&=& x^3 +xy^2 +xz^2 - x^2y -xyz - zx^2 \\
& & +x^2y + y^3 + yz^2 - xy^2 - y^2z - xyz \\
& & +x^2z + y^2z + z^3 -xyz - yz^2 -xz^2 \\
&=& x^3 + y^3 +z^3 - 3xyz
\end{eqnarray*}
[證二]：使用和的立方公式[$(p+q)^3 = p^3 = 3p^2q + 3pq^2 + q^3$]與立方和公式[$p^3 + q^3 = (p+q)(p^2 -pq + q^2)$]。從左端出發
\begin{eqnarray*}
x^3 + y^3 +z^3 - 3xyz
&=& (x^3 + y^3) + z^3 -3xyz \\
&=& (x^3 + 3x^2y + 3xy^2 + y^3) - 3x^2y - 3xy^2 + z^3 - 3xyz \\
&=& (x+y)^3 + z^3 - 3xy(x+y) - 3xyz \\
&=& [(x+y) + z] [(x+y)^2 - (x+y)z + z^2] - 3xy[(x+y) +z] \\
&=& (x+y+z)(x^2 + 2xy + y^2 - zx - yz + z^2) -3xy(x+y+z) \\
&=& (x+y+z)[(x^2 + 2xy + y^2 - zx - yz + z^2) - 3xy] \\
&=& (x+y+z)(x^2 + y^2 + z^2 - xy - yz - zx)
\end{eqnarray*}
$$
x^3 + y^3 + z^3 - 3xyz = (x+y+z)\left( x^2 +y^2 + z^2 - xy - yz - zx \right).
$$
[證一]：直接對右端展開。
\begin{eqnarray*}
(x+y+z) \left( x^2 +y^2 + z^2 - xy - yz - zx \right)
&=& x^3 +xy^2 +xz^2 - x^2y -xyz - zx^2 \\
& & +x^2y + y^3 + yz^2 - xy^2 - y^2z - xyz \\
& & +x^2z + y^2z + z^3 -xyz - yz^2 -xz^2 \\
&=& x^3 + y^3 +z^3 - 3xyz
\end{eqnarray*}
[證二]：使用和的立方公式[$(p+q)^3 = p^3 = 3p^2q + 3pq^2 + q^3$]與立方和公式[$p^3 + q^3 = (p+q)(p^2 -pq + q^2)$]。從左端出發
\begin{eqnarray*}
x^3 + y^3 +z^3 - 3xyz
&=& (x^3 + y^3) + z^3 -3xyz \\
&=& (x^3 + 3x^2y + 3xy^2 + y^3) - 3x^2y - 3xy^2 + z^3 - 3xyz \\
&=& (x+y)^3 + z^3 - 3xy(x+y) - 3xyz \\
&=& [(x+y) + z] [(x+y)^2 - (x+y)z + z^2] - 3xy[(x+y) +z] \\
&=& (x+y+z)(x^2 + 2xy + y^2 - zx - yz + z^2) -3xy(x+y+z) \\
&=& (x+y+z)[(x^2 + 2xy + y^2 - zx - yz + z^2) - 3xy] \\
&=& (x+y+z)(x^2 + y^2 + z^2 - xy - yz - zx)
\end{eqnarray*}
(證明結束)
附註：
1. 楊維哲：「這幾乎是關於三元的需要熟悉的唯一的公式！」(湖濱高中數學講義之二—代數，五南出版，第18頁)
2. 為什麼要考慮這樣的因式分解呢？楊維哲在其書中沒有給出答案，而我所能想到的唯一一個答案是此因式分解可用於三元算幾不等式的證明之中，所以有一點必要性去研究這個式子。此外，如果直接從左端出發，大概也可以視為讓學生練習和的立方公式與立方和公式的一個好機會。
3. 因式分解嘛，當然我們可以假定所考慮的數系是隨便一個具么可換環(commutative ring)，不用像我上頭寫的「皆為複數」。但是其實把條件推的那麼極端，我看不出來有什麼好處，至少在高中教學面是毫無意義的。(上課時可以隨口亂啼，讓學生產生莫名其妙的崇拜)
警告：
如果令$c=0$，那麼本來的三元三次輪換式$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)$會變為
$$
a^3+b^3+0^3=(a+b+0)(a^2+b^2+0^2-ab-b \times 0 -0 \times a),
$$
也就是立方和公式
$$
a^3+b^3=(a+b)(a^2-ab+b^2).
$$
你要注意立方和公式根本是三元三次輪換式的特例！
警告：
如果令$c=0$，那麼本來的三元三次輪換式$a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca)$會變為
$$
a^3+b^3+0^3=(a+b+0)(a^2+b^2+0^2-ab-b \times 0 -0 \times a),
$$
也就是立方和公式
$$
a^3+b^3=(a+b)(a^2-ab+b^2).
$$
你要注意立方和公式根本是三元三次輪換式的特例！
二元算幾不等式的代數證明
定理：若$a, b$皆為非負實數，則恆有
$$
\frac{a+b}{2} \geq \sqrt{ab}
$$
[証]：本篇文章採用代數法來證明。幾何的處理方式，請見我在中央研究院數學研究所《數學傳播》發表的兩篇文章。
什麼是「非負」？
就是「不是負」。
一個數要麼是正的、要麼是0、要麼是負的，如今「不是負」，那必定是正的或0，也就是$\geq 0$。
證明的策略是，考慮$\frac{a+b}{2} - \sqrt{ab}$，想辦法推出此代數式非負，那麼就得到$\frac{a+b}{2} \geq \sqrt{ab}$。
以下開始證明。
\begin{eqnarray*}
\frac{a+b}{2} - \sqrt{ab}
&=& \frac{1}{2} \left( a+b -2\sqrt{ab} \right) \\
&=& \frac{1}{2} \left( \sqrt{a}^2 + \sqrt{b}^2 - 2 \sqrt{a} \sqrt{b} \right) \\
&=& \frac{1}{2} \left( \sqrt{a}^2 - 2 \sqrt{a} \sqrt{b} + \sqrt{b}^2 \right) \\
&=& \frac{1}{2} \left( \sqrt{a} - \sqrt{b} \right)^2 \\
&\geq& 0
\end{eqnarray*}
即$\frac{a+b}{2} - \sqrt{ab} \geq 0$，得$\frac{a+b}{2} \geq \sqrt{ab}$
證明的幾個要點在此稍稍再討論一番。
首先，請注意定理條件中「$a, b$非負」的設定，因為如此，我們才能對$a, b$開方，換言之，就是使得$a = \sqrt{a}^2$有意義。
再者，請留意到任意實數(式)的平方必定非負，而一堆平方的和當然也是非負的。
$$
\frac{a+b}{2} \geq \sqrt{ab}
$$
[証]：本篇文章採用代數法來證明。幾何的處理方式，請見我在中央研究院數學研究所《數學傳播》發表的兩篇文章。
什麼是「非負」？
就是「不是負」。
一個數要麼是正的、要麼是0、要麼是負的，如今「不是負」，那必定是正的或0，也就是$\geq 0$。
證明的策略是，考慮$\frac{a+b}{2} - \sqrt{ab}$，想辦法推出此代數式非負，那麼就得到$\frac{a+b}{2} \geq \sqrt{ab}$。
以下開始證明。
\begin{eqnarray*}
\frac{a+b}{2} - \sqrt{ab}
&=& \frac{1}{2} \left( a+b -2\sqrt{ab} \right) \\
&=& \frac{1}{2} \left( \sqrt{a}^2 + \sqrt{b}^2 - 2 \sqrt{a} \sqrt{b} \right) \\
&=& \frac{1}{2} \left( \sqrt{a}^2 - 2 \sqrt{a} \sqrt{b} + \sqrt{b}^2 \right) \\
&=& \frac{1}{2} \left( \sqrt{a} - \sqrt{b} \right)^2 \\
&\geq& 0
\end{eqnarray*}
即$\frac{a+b}{2} - \sqrt{ab} \geq 0$，得$\frac{a+b}{2} \geq \sqrt{ab}$
證明的幾個要點在此稍稍再討論一番。
首先，請注意定理條件中「$a, b$非負」的設定，因為如此，我們才能對$a, b$開方，換言之，就是使得$a = \sqrt{a}^2$有意義。
再者，請留意到任意實數(式)的平方必定非負，而一堆平方的和當然也是非負的。
(證明結束)
訂閱：
文章 (Atom)