因为f(x)在[a,b]上连续m>0,n>0所以设G为f(x)在[a,b]上的最大值g为f(x)在[a,b]上的最小值则mg≤mf(c)≤mGng≤nf(d)≤nG(m+n)g≤mf(c)+nf(d)≤(m+n)G因为p属于[a,b]所以g≤f(p)≤G所以(m+n)g≤(m+n)f(p)≤(m+n)Gmf(c)+nf(d)在(m+n)f(p)范围内、所以可证的至少存在一点p属于[a,b]使得(m+n)f(p)=mf(c)+nf(d)