在边长为10的正方形ABCD中，以AB为直径作半圆O，如图①，E是半圆上一动点，过点E作EF⊥AB，垂足为F，连结DE.

当DE=10时，求证：DE与圆O相切；
求DE的最长距离和最短距离；
如图②，建立平面直角坐标系，当DE =10时，试求直线DE的解析式.