已知:如图,在Rt三角形ABC中,角C=90度,角BAC=30度,求证:BC=1/2AB