抓不变量应用题