来自樊磊的问题
如图，已知y=-x+m（m>4）过动点A（m，0），并与反比例函数y=4x的图象交于B、C两点（点B在点C的左边），以OA为直径作反比例函数y=4x的图象相交的半圆，圆心为P，过点B作x轴的垂线，垂足为E
如图，已知y=-x+m（m>4）过动点A（m，0），并与反比例函数y=4x的图象交于B、C两点（点B在点C的左边），以OA为直径作反比例函数y=4x的图象相交的半圆，圆心为P，过点B作x轴的垂线，垂足为E，并于半圆P交于点D．
（1）当m=5时，求B、C两点的坐标．
（2）求证：无论m取何值，线段DE的长始终为定值．
（3）记点C关于直线DE的对称点为C′，当四边形CDC′E为菱形时，求m的值．
