分类讨论思想在数学中的应用