半角模型的全部结论及其证明