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