如图,已知正方形ABCD的边长为3,E是CD边上的一点,DE=1,以点A为中心,把三角形ADE顺时针旋转90°,得三角形