已知:如图,在Rt三角形ABC中,∠ACB=90°,∠A=30°,CD是斜边AB上的中线,DE⊥AC,求证:BC=2DE