解三角形题a=5 b=4 cos(A-B)=31/32 求c``