角含半角模型结论的证明