数学，多么严谨、准确、有趣的学科啊丨反证法是一种间接的证明方法，当命题从正面证明有困难时可以用反证法