问一道三角函数的数学题设三角形A B C所对的边长分别为a b c,且acosB=3,bsinA=4,求边长a?