我们在几何的学习中能发现，很多图形的性质定理与判定定理之间有着一定的联系．例如：菱形的性质定理“菱形的对角线互相垂直”和菱形的判定定理“对角线互相垂直的平行四边形是菱形”就是这样．但是课本中对菱形的另外一个性质“菱形的对角线平分一组对角”却没有给出类似的判定定理，请你利用如图所示图形研究一下这个问题．
要求：如果有类似的判定定理，请写出已知、求证并证明．如果没有，请举出反例．

矩形、菱形、正方形都是平行四边形，但它们都是有特殊条件的平行四边形，正方形不仅是特殊的矩形，也是特殊的菱形．因此，我们可利用矩形、菱形的性质来研究正方形的有关问题．回答下列问题：
（1）将平行四边形、矩形、菱形、正方形填入它们的包含关系的下图中．
（2）要证明一个四边形是正方形，可先证明四边形是矩形，再证明这个矩形的相等；或者先证明四边形是菱形，在证明这个菱形有一个角是．
（3）某同学根据菱形面积计算公式推导出对角线长为a的正方形面积是S=0.5a²，对此结论，你认为是否正确？若正确，请说明理由；若不正确，请举出一个反例说明．