煤炭产量:一道数学题的证法:证明四边形的两条对角线的平方和等于四条边的平方和.