直接证明与间接证明-分析法