三垂直模型结论及证明