个人觉得答案有点点错误!
x1∈(0,1),x2∈[1,2],总有g(x1)≥h(x2)成立,应该是等同于g(x)在(0,1)上的最小值不小于h(x)在[1,2]上的最大值才对.
至于你不大懂的地方是不懂为什么会有下面的方程组吗?