解直角三角形问题的两个数学模型