查看“︁初等代數/不等式”︁的源代码

[[Wikibooks:首页|首页]] > [[Subject:索引|維基書架]] > [[数学书架]] > [[不等式]]
----
{{Wikipedia|不等式}}

若兩個式子或式子對數字有大小的關係，且並不一定對等時，用來表示兩者間關係的式子稱之
==不等式的基本性质与基本证明方法==
===不等式的性质===
不等式的证明和解法都建立在以下五个定理和三个推论的基础上
;定理1:若a>b则b<a；若b<a，则a>b。
;定理2:若a>b，且b>c，则a>c。
;定理3:若a>b，则a+c>b+c 。
;定理3的推论:若a>b，且c>d，则a+c>b+d。
;定理4:若a>b，且c>0，则ac>bc；若a>b，且c<0，则ac<bc。
;定理4的推论（1）:若a>b>0，且c>d>0，则ac>bd。
;定理4的推论（2）:若a>b>0，则<math>a^n>b^n (n\in\mathbb{N}</math>，且n>1)。
;定理5:若a>b>0，则<math>\sqrt[n]{a}>\sqrt[n]{b} (n\in\mathbb{N}</math>，且n>1)。

===比较法===

===分析法和综合法===
===反证法===
[[反证法|參見反証法專欄]]
===放缩法===
[[放缩法|參見放缩法專欄]]
===换元法===

== 一些初等的不等式 ==
=== 均值不等式 ===
若有n個正實數<math>a_1 , a_2 , a_3 , ...... , a_n</math>，且他們的算術平均數為A，幾何平均數為G，則有關係式<math>A \ge G</math>，等號成立時當且僅當<math>a_1 = a_2 = a_3 = ...... = a_n</math>
==== 證明 ====

1. 先证明 n=2 时，即  <math>\frac{a_1 + a_2}{2} \ge \sqrt{a_1 a_2}</math>

<math>\frac{(a+b)}{2}-(ab)^{0.5} = \Bigg[ \frac{a + b - 2(ab)^{0.5}}{2} \Bigg] = \Bigg[ \frac{(a^{0.5} - b^{0.5})^2}{2} \Bigg] \ge 0</math>

<math>\therefore \frac{a_1 + a_2}{2} \ge \sqrt{a_1 a_2}</math>

2. 由此可推得当 n=2^k (k为自然数)时成立。即 n=2,4,8,16,32…… 时成立。（对对比较后再逐对比较，容易证明）

3. 当 n 为任意自然数的证明比较复杂巧妙。是由 2. 推得：

<div style="text-align: center;">設<math> n+p = 2^k </math>，<math>A = \frac{a_1 + a_2 + a_3\cdots+ a_n}{n} </math>

<math> \frac{a_1 + a_2 +\cdots+a_n+ \overbrace{A+A+A\cdots}^{p}}{2^k} \geqslant \sqrt[2^k]{a_1 a_2 \cdots a_n \cdot AAA \cdots}</math>

<math> \frac{a_1 + a_2 +\cdots+a_n+p \cdot A }{2^k} \geqslant \sqrt[2^k]{a_1 a_2 \cdots a_n \cdot A^p}</math>

<math> \left ( \frac{nA + pA}{n+p} \right )^{n+p} \geqslant a_1 a_2 \cdots a_n \cdot A^p</math>

<math> A^{n+p} \geqslant a_1 a_2 \cdots a_n \cdot A^p </math>

<math> A^n \cdot A^p \geqslant a_1 a_2 \cdots a_n \cdot A^p </math>

<math> A \geqslant \sqrt[n]{a_1 a_2 \cdots a_n}</math>

即<math> \frac{a_1 + a_2 + a_3 +\cdots+a_n}{n} \geqslant \sqrt[n]{a_1 a_2 \cdots a_n} </math>

<math>\therefore</math>當n為任意自然數時，該命題均成立得證</div>

=== 柯西不等式 ===
若有2個實數數對，且兩個數對皆有n個數，現在假設這兩個數對分別為<math>a_1 , a_2 , a_3 , ... , a_n</math>和<math>b_1 , b_2 , b_3 , ... , b_n</math>，則存在有關係式<math>(a_1 b_1 + a_2 b_2 + a_3 b_3 , ... + a_n b_n)^2 \le (a_1^2 + a_2^2 + a_3^2 + ... + a_n^2)(b_1^2 + b_2^2 + b_3^2 + ... + b_n^2)</math>，或寫作<math>(a_1 b_1 + a_2 b_2 + a_3 b_3 , ... + a_n b_n)^2 / (a_1^2 + a_2^2 + a_3^2 + ... + a_n^2)(b_1^2 + b_2^2 + b_3^2 + ... + b_n^2)\le 1</math>。等號成立當且僅當<math>a_1/b_1=a_2/b_2=...=a_n/b_n</math>

==== 證明 ====
構作二次函數<math>f(x) = (a_1x-b_1)^2 + (a_2x-b_2)^2 + ... (a_nx-b_n)^2 = (a_1^2 + a_2^2 + a_3^2 + ... + a_n^2)x^2 - 2(a_1 b_1 + a_2 b_2 + a_3 b_3 , ... + a_n b_n)x + (b_1^2 + b_2^2 + b_3^2 + ... + b_n^2)</math>，由於<math>f(x)</math>的每一項都是完全平方式，它最多只有一個實根。考慮它的判別式：
<math>(2(a_1 b_1 + a_2 b_2 + a_3 b_3 , ... + a_n b_n))^2-4(a_1^2 + a_2^2 + a_3^2 + ... + a_n^2)(b_1^2 + b_2^2 + b_3^2 + ... + b_n^2)\le 0</math>
得到
<math>(a_1 b_1 + a_2 b_2 + a_3 b_3 , ... + a_n b_n)^2 \le (a_1^2 + a_2^2 + a_3^2 + ... + a_n^2)(b_1^2 + b_2^2 + b_3^2 + ... + b_n^2)</math>。
同時知道<math>f(x)</math>有實根當且僅當它的每一個完全平方式可以同時等於0，即它們的根相同，又即<math>a_1/b_1 = a_2/b_2 = ... =a_n/b_n</math>
====不等式的基本性质====
不等式的基本性质1：不等式的两边都加（或减）同一个整式，不等号的方向不变。
不等式的基本性质2：不等式的两边都乘以（或除以）同一个大于0的整式，不等号方向不变。
不等式的基本性质3：不等式的两边都乘以（或除以）同一个小于0的整式，不等号方向改变。

==不等式的解法==
不等式两边可以通过同时加减乘除同一个整式的方式使不等式一边只剩下一个未知数。
具体步骤为：去分母，去括号，移项，合并同类项（化简），系数化为1。

==不等式的应用==

== 相關條目 ==

{{bookCat}}

[[Category:数学]]