解三角形时，常用的公式包括正弦定理、余弦定理和正切定理，它们是解决三角形边长和角度问题的基本工具，具体公式如下：

正弦定理：在任意三角形 ABC 中，设三边分别为 a、b、c，对应的角分别为 A、B、C，则有 sinA/a = sinB/b = sinC/c。

余弦定理：在任意三角形 ABC 中，设三边分别为 a、b、c，对应的角分别为 A、B、C，则有 c² = a² + b² - 2ab cosC 等式成立，另外两个角的余弦定理类似。

正切定理：在任意三角形 ABC 中，设三边分别为 a、b、c，对应的角分别为 A、B、C，则有 tanA = (2r)/(b+c-a) 等式成立，其中 r 为三角形的内切圆半径。

这些公式可以互相转化和综合运用，以求得三角形的各种未知量。在实际应用中，需要根据具体问题选择合适的公式，并注意精度误差和解的唯一性等问题。