证:因为OA等于OB等于OC等于OD
所以四边形ABCD为平行四边形
设OA为K,OA平方+OB平方=2K平方
OB平方=2K平方
所以OA平方+OB平方=OB平方
所以角AOB=90度
所以AC垂直于BD
所以四边形ABCD是正方形