正余弦定理判断三角形形状