求证sinmx的平方在负∏到∏的定积分为∏.