用解析几何，把图放大√2倍，取圆心为原点，P（1，0） A（-1，1）得PA方程，与圆方程 x平方+y平方=2 联立，求出E点，再由D（1，1）求DE的长，最后结果除以√2