x1x2-1怎么证明已知0<x1