已知:在Rt三角形ABC中,角B=90度,BC=4,AB=8,D、E、F分别为AB、AC、BC边上的中点,若P为AB上的