具有加权形式不等式研究.docVIP

具有加权形式不等式研究 　　摘 要：不等式在理论和实际中都有极其广泛的应用，本文研究了几个经典不等式及其推广，研究了函数的平均值不等式及其平均值不等式的积分形式的定义和若干重要的性质，研究了 不等式的一般形式、加权形式和推广形式. 　　关键词：加权；调和平均值； 不等式 　　一、引言 　　基于不等式理论在实际中都有极其广泛的应用，本文主要研究了几个经典不等式及其推广，分别从离散与连续两个方面研究了函数的平均值不等式的定义和若干重要的性质，研究了 不等式的一般形式、加权形式和推广形式；并且给予了严格的证明. 　　二、离散型不等式 　　设x1，x2…，xn是n个非负数，我们分别称 　　为这n个数的算术平均值、几何平均值、调和平均值，并分别用记号A（x1，x2，???，xn） ，G（x1，x2，???，xn）和 H（x1，x2，???，xn）表示. 　　引理1 对于任意n个非负数 x1，x2，???，xn，恒有 　　， （1.1） 　　其中等号当且仅当所有的xk（k=1，2???，n）都相等时成立. 　　我们先来推广算术平均值与几何平均值的概念. 　　定义1设a1，a2，???an 是一组正数，且满足条件a1+a2+???+an=1 . x1，x2，???，xn是任意n个正数，我们分别称An=a1x1+a2x2+???+anxn与Gn=x1a1x2a2???xnan为x1，x2，???，xn的加权算术平均值与加权几何平均值，a1，a2???an称为加权系数（简称权）. 　　设p1，p2，???，pn是任意n个正数，正数x1，x2，???，xn的加权平均也可定义为 . 　　若令 ，则有a1+a2+???+an=1回到了原来的定义. 　　不等式（1.1）可推广到加权平均的情况. 　　定理1 设a1+a2+???+an是一组正数，满足条件a1+a2+???+an=1，则对任意n个正数x1，x2，???，xn，有 　　. 　　其中等号当且仅当所有的xk（k=1，2???，n）都相等时成立. 　　定理2 设p1，p2，???，pn是给定的正数，如果n个正数之和x1，x2，???，xn=s为定值，则当且仅当 时，乘积p=x1p1x2p2???xnpn达到最大值 　　. 　　证明：将（1.1）式及条件应用于数组 ，得 　　即 由（1.1）式知当且仅当 时等号成立. 　　推论1 如果n个正整数x1，x2，???，xn之和x1，x2，???，xn=s为定值，则当且仅当所有的xk（k=1，2，???，n）都等于 时，乘积p=x1x2???xn达到最大值 . 　　定理3 设p1，p2，???，pn是给定的正数，如果n个正数x1，x2，???，xn所做成的乘积x1p1x2p2???xnpn=p为定值，则当且仅当 　　时，和s=x1+x2+???+xn达到最小值 . 　　证明：将（1.1）式及条件应用与数组 ，得 　　， 　　即 　　. 　　由（1.1）式知当且仅当 等号成立. 　　推论2 如果n个正数x1，x2，???，xn之积x1，x2，???，xn=p为定值，则当且仅当所有的xk（k=1，2???，n）都等于 时，和s=x1+x2+???+xn达到最小值 . 　　三、连续型不等式 　　1.函数的平均值不等式 　　设函数f（x）在区间 [x1，x2]上有定义且可积，规定f（x）的算术平均值为 　　. 　　若f（x）为严格正的，即如果存在一个正常数k，使当x∈ [x1，x2]时，都有 f（x）k，则 f（x）的几何平均与调和平均分别定义为 　　. 　　若m和M分别表示f（x）在[x1，x2]上的下确界和上确界，则 　　. 　　对于G（f）和V（f）我们假定m0. 　　注：由上述定义，可得： 　　（1） . 　　（2） . 　　（3） . 　　定理4 设f（t）在[a，b]上连续，任给x，y∈[a，b]，且x≠y，定义 　　，则 　　（1）若f（t）是关于t的单调不减函数，则 是分别关于x和y的单调不减函数. 　　（2）若f”（t）0，则 . 　　2.平均值不等式的积分形式 　　定义2 设函数f（x），及p（x）0.在[a，b]上有定义，且下面的积分有意义. 　　， . 　　若f（x）0，记 　　. 　　则A（f）、Mr（f）、G（f）分别称为f（x）的加权算术平均，加权（r次幂）算术平均和加权几何平均.其中p（x）0称为权函数. 　　若用 取代p（x），则 ，q（x）称为p（x）的标准化. 　　注：由上述定义，可得： 　　（1） . 　　（2）若 为常数，则 . 　　（3） . 　　（4）G（f）是加权几何平均 　　的积分形式. 　　（5）若p（x）=1，则 ， ， 　　. 　　定理5 （平均值不等式的积分形式）设r0，f（x）0定义2的积分有意义，则