在Rt三角形ABC中,角BAC等于90度,E、F分别是BC,AC的中点,延长BA到点D,使AD等于二分之一AB.连接DE 连接DE和DF. (1)求证:AF与DE互相平分; (2)若BC等于4,求DF的长.