在正方形ABCD中放一个正方形EFGH 已知AF=16