已知一个三角形三边长度,如何求其中一角的余弦值.(那个公式是什么?)