几何证明——角平分线模型(中级)