نابرابری میانگین حسابی-هندسی

بندانگشتی|یک نابرابری میانگین حسابی هندسی
در ریاضیات، **نابرابری میانگین حسابی-هندسی** یا **نابرابری تیریث**، نابرابری‌ای است که در آن میانگین حسابی فهرستی از اعداد نامنفی حقیقی، بزرگتر یا مساوی میانگین هندسی آن اعداد است. این دو با هم برابر می‌شوند، اگر و تنها اگر همهٔ عبارات با یک‌دیگر برابر باشند.

## ریشه

*میانگین حسابی* فهرستی از *n* عدد است (*x*۱، &nbsp;*x*۲، &nbsp;. &nbsp;. &nbsp;.، &nbsp;*x**n*). حالت کسری تقسیم مجموع اعداد بر عدد *n* برابر است با:

:\frac{x_1 + x_2 + \cdots + x_n}{n}.

*میانگین هندسی* شبیه مورد قبلی است، ولی تنها برای اعداد *نامنفی* حقیقی تعریف می‌شود. میانگین هندسی با جایگزینی ضرب و ریشه‌گیری به جای جمع و تقسیم در میان عبارات بالا به‌دست می‌آید:

:\sqrt[n]{x_1 \cdot x_2 \cdots x_n}.

اگر *x*۱، &nbsp;*x*۲، &nbsp;. &nbsp;. &nbsp;.، &nbsp;*x**n*&nbsp;>&nbsp;۰ باشند، با تابع نمایی میانگین حسابی لگاریتم‌های طبیعی اعداد برابر خواهد شد:

:\exp \left(\frac{\ln {x_1} + \ln {x_2} + \cdots + \ln {x_n}}{n} \right).

## نابرابری

اینک ما این نابرابری را با نمادهای ریاضی معرفی می‌کنیم، ما می‌توانیم هر فهرست *n* تایی از اعداد نامنفی حقیقی انتخاب کنیم. (x*<sub>۱</sub>، &nbsp;*x*<sub>۲</sub>، &nbsp;. &nbsp;. &nbsp;. ، &nbsp;*x*<sub>*n*</sub>)

:<math>\frac{x_1 + x_2 + \cdots + x_n}{n} \geq \sqrt[n]{x_1 \cdot x_2 \cdots x_n},</math>

و حالت تساوی وقتی رخ می‌دهد؛ اگر و تنها اگر *x*<sub>۱</sub>&nbsp;=&nbsp;*x*<sub>۲</sub>&nbsp;=&nbsp;. &nbsp;. &nbsp;. &nbsp;=&nbsp;*x*<sub>*n*</sub> باشند.

== اثبات‌ها ==
=== اثبات به‌وسیلهٔ استقرای قهقرایی (استدلال کوشی) ===

اثبات زیر به‌طور مستقیم به قوانین حساب متکی است. این روش توسط [[آگوستین لویی کوشی]] مطرح شده و می‌توان این اثبات را در *کورس ده آنالایز*  وی یافت.

==== I) حالتی که همهٔ جملات با هم برابر باشند ====

وقتی که همهٔ جملات با هم برابر باشند:

:<math>x_1 = x_2 = \cdots = x_n</math>

پس جمع آن‌ها *nx*<sub>۱</sub>، میانگین حسابی آن‌ها *x*<sub>۱</sub> و عدد زیر رادیکال *x*<sub>۱</sub><sup>*n*</sup> می‌باشد. هم‌چنین میانگین هندسی آن‌ها *x*<sub>۱</sub> است؛ از این رو، نابرابری میانگین حسابی-هندسی برای این حالت اثبات می‌شود.

==== II) حالتی که همهٔ جملات با هم برابر نباشند ====

حالا حالتی که همه جملات باهم برابر *نباشند* مطرح می‌شود. باید نشان دهیم که میانگین حسابی اعداد از میانگین هندسیشان بیشتر است. بدیهی است، این حالت وقتی درست است که  *n*&nbsp;>&nbsp;۱ باشد.

این حالت به‌طور قابل توجهی پیچیده‌تر است، به همین دلیل آن را در چند قسمت مورد بررسی قرار می‌دهیم.

=== III) حالتی که n  ۲ شود ===

اگر *n* = ۲، سپس دو جمله داریم، *x*<sub>۱</sub> و *x*<sub>۲</sub>، بعد از آن (به وسیلهٔ فرضی که در اختیار داریم) همهٔ جملات با هم برابر نیستند، ما داریم:

: <math>
\begin{align}
x_1 & \ne x_2 \\[3pt]
x_1 - x_2 & \ne 0 \\[3pt]
\left(x_1 - x_2 \right) ^2 & > 0 \\[3pt]
x_1^2 - 2 x_1 x_2 + x_2^2 & > 0 \\[3pt]
x_1^2 + 2 x_1 x_2 + x_2^2 & > 4 x_1 x_2 \\[3pt]
\left(x_1 + x_2 \right) ^2& > 4 x_1 x_2 \\[3pt]
\Bigl(\frac{x_1 + x_2}{2} \Bigr)^2 & > x_1 x_2 \\[3pt]
\frac{x_1 + x_2}{2} & > \sqrt{x_1 x_2}
\end{align}
</math>

پس حکم اثبات می‌شود.

=== IV) حالتی که n  2<sup>k</sup> شود ===

حالتی را در نظر بگیرید که *n*&nbsp;=&nbsp;۲<sup>*k*</sup> باشد، وقتی که *k* عدد صحیح مثبتی باشد. ما به کمک [[استقرای ریاضی]] به اثبات این مورد می‌پردازیم.

برای پایه استقرا *k*&nbsp;=&nbsp;۱ قرار می‌دهیم، بنابراین *n*&nbsp;=&nbsp;۲ است. ما قبلاً نشان داده‌ایم نابرابری، وقتی که *n*&nbsp;=&nbsp;۲ باشد،  ایجاد می‌شود. پس ما در گام استقرا مشکلی نداریم.

حال، فرض کنید که *k*&nbsp;>&nbsp;۱ باشد، ما قبلاً نشان داده‌ایم نابرابری برای <span style="white-space:nowrap">*n* = ۲<sup>*k*&minus;۱</sup></span> اتفاق می‌افتد، سپس با استفاده از مورد قبلی حالت <span style="white-space:nowrap">*n* = ۲<sup>*k*</sup></span> را نیز اثبات می‌کنیم:

: <math>
\begin{align}
\frac{x_1 + x_2 + \cdots + x_{2^k}}{2^k} & {} =\frac{\frac{x_1 + x_2 + \cdots + x_{2^{k-1}}}{2^{k-1}} + \frac{x_{2^{k-1} + 1} + x_{2^{k-1} + 2} + \cdots + x_{2^k}}{2^{k-1}}}{2} \\[7pt]
& \ge \frac{\sqrt[2^{k-1}]{x_1 x_2 \cdots x_{2^{k-1}}} + \sqrt[2^{k-1}]{x_{2^{k-1} + 1} x_{2^{k-1} + 2} \cdots x_{2^k}}}{2} \\[7pt]
& \ge \sqrt{\sqrt[2^{k-1}]{x_1 x_2 \cdots x_{2^{k-1}}} \sqrt[2^{k-1}]{x_{2^{k-1} + 1} x_{2^{k-1} + 2} \cdots x_{2^k}}} \\[7pt]
& = \sqrt[2^k]{x_1 x_2 \cdots x_{2^k}}
\end{align}
</math>

وقتی در نابرابری اول، دو طرف با هم برابر می‌شوند که فقط هردوی موارد زیر درست باشند:

:<math>x_1 = x_2 = \cdots = x_{2^{k-1}}</math>
:<math>x_{2^{k-1}+1} = x_{2^{k-1}+2} = \cdots = x_{2^k}</math>

(in which case the first arithmetic mean and first geometric mean are both equal to *x*<sub>۱</sub>، and similarly with the second arithmetic mean and second geometric mean)؛ and in the second inequality, the two sides are only equal if the two geometric means are equal. Since not all ۲<sup>*k*</sup> numbers are equal، it is not possible for both inequalities to be equalities، so we know that:

:<math>\frac{x_1 + x_2 + \cdots + x_{2^k}}{2^k} > \sqrt[2^k]{x_1 x_2 \cdots x_{2^k}}</math>

پس حکم اثبات می‌شود.

==== V) حالتی که n < 2<sup>k</sup> شود ====

اگر *n* توان طبیعی از عدد 2 نباشد، بنابراین واضح است که *کمتر* از برخی توان‌های طبیعی ۲ خواهد بود، چون عبارت <span style="white-space:nowrap">۲، ۴، ۸،... ، 2<sup>*k*</sup>,...</span> تا بی‌نهایت ادامه دارد. از این رو، بدون از دست دادن کلیت، می‌شود عدد *m* را که توانی طبیعی از ۲ است و از *n* بزرگتر است؛ در نظر گرفت.

بنابراین، اگر *n* جمله داشته‌باشیم و میانگین حسابی را با حرف α نشان و فهرست جملات را گسترش می‌دهیم؛ در نتیجه:

:<math>x_{n+1} = x_{n+2} = \cdots = x_m = \alpha.</math>

سپس داریم:

: <math>
\begin{align}
\alpha & = \frac{x_1 + x_2 + \cdots + x_n}{n} \\[6pt]
& = \frac{\frac{m}{n} \left(x_1 + x_2 + \cdots + x_n \right)}{m} \\[6pt]
& = \frac{x_1 + x_2 + \cdots + x_n + \frac{m-n}{n} \left(x_1 + x_2 + \cdots + x_n \right)}{m} \\[6pt]
& = \frac{x_1 + x_2 + \cdots + x_n + \left(m-n \right) \alpha}{m} \\[6pt]
& = \frac{x_1 + x_2 + \cdots + x_n + x_{n+1} + \cdots + x_m}{m} \\[6pt]
& > \sqrt[m]{x_1 x_2 \cdots x_n x_{n+1} \cdots x_m} \\[6pt]
& = \sqrt[m]{x_1 x_2 \cdots x_n \alpha^{m-n}}\,,
\end{align}
</math>

بنابراین

: <math>
\begin{align}
\alpha^m & > x_1 x_2 \cdots x_n \alpha^{m-n} \\[5pt]
\alpha^n & > x_1 x_2 \cdots x_n \\[5pt]
\alpha & > \sqrt[n]{x_1 x_2 \cdots x_n}
\end{align}
</math>

حکم اثبات می‌شود.

=== اثبات‌های قدیمی و کلاسیک ===
ما باید آن را نشان دهیم:

<math>\frac{x_1+x_2+\ldots+x_n}{n} \geq \left(x_1x_2 \ldots x_n\right)^{1/n} </math>

اگر <math>x_i\neq x_j</math> سپس هردوی <math>x_i</math> و <math>x_j</math> را با
<math>\frac{x_i+x_j}{2}</math> جایگرین می‌کنیم. سمت چپ تساوی تغییری نخواهد کرد، ولی
سمت راست نابرابری افزایش می‌یابد.

 <math>\left(\frac{x_i+x_j}{2}\right)^2-x_ix_j=\left(\frac{x_i-x_j}{2}\right)^2\geq 0 </math>

بنابراین سمت راست بزرگترین مقدار خواهد شد وقتی که همهٔ <math>x_i</math>‌ها مساوی باشند.
<math>\mu=\frac{x_1+x_2+\ldots+x_n}{n}</math>،
این بزرگترین مقدار عبارت سمت راست است. پس به این نتیجه می‌رسیم:

<math>\left(x_1x_2 \ldots x_n\right)^{1/n}\leq \left(\mu\mu \ldots \mu\right)^{1/n}=
\mu=\frac{x_1+x_2+\ldots+x_n}{n}</math>

== جستارهای وابسته ==
* [[نابرابری یانگ]]

== واژه‌نامه ==


== منابع ==



* Augustin-Louis Cauchy, [https://web.archive.org/web/20171014135801/http://visualiseur.bnf.fr/Visualiseur?Destination=Gallica&O=NUMM-29058 *Cours d'analyse de l'École Royale Polytechnique, première partie, Analyse algébrique,''] Paris, 1821. The proof of the inequality of arithmetic and geometric means can be found on pages 457ff.
* 
* Wikipedia contributors, "Inequality of arithmetic and geometric means," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Inequality_of_arithmetic_and_geometric_means&oldid=496248730 (accessed June ۶, ۲۰۱۲).

رده:نابرابری‌ها
رده:میانگین‌ها