Mahler eşitsizliği

Matematikte Mahler eşitsizliği iki sonlu dizinin terim bazında toplanmasıyla elde edilen dizinin geometrik ortalamasının bu sonlu dizilerin ayrı ayrı geometrik ortalamalarının toplamından büyük olduğunu ifade eden bir eşitsizliktir. Eşitsizlik, Minkowski eşitsizliği'nin sayma ölçüsü altında özel bir halidir ve Kurt Mahler'in adının taşımaktadır.

Eşitsizliğin ifadesi

$i=1,2,\cdots ,n$ için $a_{i},b_{i},$ pozitif gerçel sayılar olmak üzere

$\prod _{k=1}^{n}(x_{k}+y_{k})^{1/n}\geq \prod _{k=1}^{n}x_{k}^{1/n}+\prod _{k=1}^{n}y_{k}^{1/n}$

eşitsizliği sağlanır.

İspat

İlk olarak AO-GO eşitsizliği kullanılarak,

$\prod _{k=1}^{n}\left({x_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}\sum _{k=1}^{n}{x_{k} \over x_{k}+y_{k}}$

ve

$\prod _{k=1}^{n}\left({y_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}\sum _{k=1}^{n}{y_{k} \over x_{k}+y_{k}}.$

elde edilir. Daha sonra iki formül toplanarak,

$\prod _{k=1}^{n}\left({x_{k} \over x_{k}+y_{k}}\right)^{1/n}+\prod _{k=1}^{n}\left({y_{k} \over x_{k}+y_{k}}\right)^{1/n}\leq {1 \over n}n=1$

olur. Sol taraftan $\prod _{k=1}^{n}(x_{k}+y_{k})^{1/n}$ çekilerek istenen eşitsizlik elde edilir.

Ayrıca bakınız

• Minkowski eşitsizliği

Dış bağlantılar

• [1]26 Kasım 2009 tarihinde Wayback Machine sitesinde arşivlendi.