在三角形ABC中 角C=90度,角A=30度,AB的垂直平凡线分别交AB,AC与点D,E.求证:AE=2CE