如图①,在矩形纸片 中, , .
如图②,将图①中的矩形纸片 沿过点 的直线折叠,使点 落在 上的点 处,折痕为 ,四边形 是形;
如图③,将图①中的矩形纸片 沿直线 折叠,使点 落在 上的点 处,点 不与点 和点 重合,点 落在点 处,连接 ,请猜想四边形 是什么特殊四边形,并证明你的猜想;
如图④,将图①中的矩形纸片 沿直线 折叠,使点 的对应点 落在点 处,点 落在点 处,连接 ,四边形 的面积是 ;
②当时,(用含的代数式表示);
①已知 , 求的值;
②证明: .