如图正方形abcd的边长为12,等腰直角三角形afe