是一道数学题,是证明题!要因为所以格式的.