核心素养提升练 直接证明与间接证明、数学归纳法