四边形中的对角互补模型与垂直模型