对角线相乘除以二证明