高中数学:直接证明与间接证明