解决数学问题的化归策略