如图,在RT三角形ABC中,角C=90度角A=15度,作AC边的垂直平分线DE交AC于点D、AB于点E,若AB=4,求三