如图,EFGH别是正方形ABCD各边的中点,要是阴影部分面积为8,则正方形ABCD边长AD等于多少