三垂直全等模型典型例题全面分析