编程数学应用-三角形成立判定