解：△ABF中，∠ABF=90°，∠BAF=30°，AB=4所以BF=2 AF�0�5=16-4=12 所以 AF=2根号3△ABF的面积为：1/2*2*2根号3=2根号3正方形ABCD面积为：4*4=16正方形 EFGH的面积为：16-4*2根号3=16-8根号3正方形 EFGH的边长为根号（16-8根号3）=2根号（4-2根号3）
