数学分析中的化归法