直接证明(分析法)