垂直度问题的数学模型