1. (2021八下·殷都期末) 小亮同学要证明命题“对角线互相垂直平分的四边形是菱形”是正确的，他先用尺规作出了如图的四边形 ，并写出了如下不完整的已知和求证.

1. （1） 已知：如图，在四边形 中， ，垂足为O， ，.
   
3. （2） 求证：四边形 是.
5. （3） 填空，补全已知和求证；
   写出证明过程；
7. （4） 用文字叙述所证命题的逆命题为.