三垂直模型和全等综合