==主旨==
利用配方證明Lagrange恆等式,然後導出Cauchy不等式。
==題目==
- 直接展開後,合併並配方,證明Lagrange恆等式:
$$(a_1^2 + a_2^2)(b_1^2 + b_2^2) - (a_1 b_1 + a_2 b_2)^2 = (a_1 b_2 - a_2 b_1)^2.$$ - 證明n變數的Lagrange恆等式並找出書寫規律:
\begin{eqnarray*}&&(a_1^2 + a_2^2 + \cdots + a_n^2) (b_1^2 + b_2^2 + \cdots + b_n^2) - (a_1 b_1 + a_2 b_2 + \cdots + a_n b_n)^2 \\ &=& (a_1 b_2 - a_2 b_1)^2 + (a_1 b_3 - a_3 b_1)^2 + \cdots + (a_n b_{n-1} - a_{n - 1} b_n)^2.\end{eqnarray*} - 證明Cauchy不等式:
$$\sqrt{a_1^2 + \cdots + a_n^2} \sqrt{b_1^2 + \cdots + b_n^2} \ge |a_1 b_1 + \cdots + a_n b_n|.$$ - 求出Cauchy不等式等號成立的充要條件:
(i) 若Cauchy不等式等號成立,則?
(ii) 在怎樣的條件下,Cauchy不等式等號會成立? - 設$p, q$皆為實數,取$a_1 = p, a_2 = q, b_1 = q, b_2 = p$,使用Cauchy不等式推導出2元算幾不等式:
$$\frac{\text{非負實數}s + \text{非負實數}t}{2} \ge \sqrt{\text{非負實數}s \times \text{非負實數}t}.$$
並求出算幾不等式等號成立的充要條件。