分类讨论是一种重要的数学思想方法