如图，四边形OABC是矩形，ADEF是正方形，点A、D在x轴的正半轴上，点C在y轴的正半轴上，点F在AB上，点B，E在反比例函数y= 的图像上，OA=1，OC=6，试求出正方形ADEF的边长．