f(tx1+(1-t)x2)小于等于tf(x1)+(1-t)f(x2),g(tx1+(1-t)x2)小于等于tg(x1)+(1-t)g(x2)
max(f(tx1+(1-t)x2),g(tx1+(1-t)x2)小于等于max(tf(x1)+(1-t)f(x2),g(tx1+(1-t)x2),tg(x1)+(1-t)g(x2))小于等于tmax(f(x1),g(x1))+(1-t)max(f(x2),g(x2))
f(tx1+(1-t)x2)小于等于tf(x1)+(1-t)f(x2),g(tx1+(1-t)x2)小于等于tg(x1)+(1-t)g(x2)
max(f(tx1+(1-t)x2),g(tx1+(1-t)x2)小于等于max(tf(x1)+(1-t)f(x2),g(tx1+(1-t)x2),tg(x1)+(1-t)g(x2))小于等于tmax(f(x1),g(x1))+(1-t)max(f(x2),g(x2))