已知三角形abc中,角abc等于45度,f是高Ad和be的交点,CD等于4,则线段df的长度为