三垂直模型与全等综合