一道数学化简题