如何用逻辑推理的方法证明菱形的特有性质