步兵是啥意思:正余弦定理的应用