如图,四边形OABC是矩形,ADEF是正方形,点A、D在轴的正半轴上,点C在轴的正半轴上,点F在AB上,点B、E在反比例函数的图象上,OA=1,OC=6,则正方形ADEF的边长为_________.、
化简:= .
化简的结果是 .