正六边形的对角线长度是边长的两倍 如何证明