如图,在矩形ABCD中,对角线AC与BD相交于点O,试问:是否存在一个圆,使ABCD四个点都在这个圆上?如果存在