展开 拉格朗日是怎么证明的