三角形ABC中BD=DCAD垂直AC,角BAD=30°求证AC=1/2AB