如图9在Rt三角形中,角ACB=90°,角BAC=30°,AB=4