请问高中力学里力的分解和合成用到哪些解三角形的定理?