菱形周长等于对角线乘积的一半怎么证明