四棱锥P-ABCD中,PA垂直平面ABCD,底面ABCD为直角梯形,角ABC=角BAD=90度,PA=AB=BC=1/2AD,E为AB中点,F为PC中点。求证PE垂直BC若四棱锥P-ABCD的体积为4,求AF的长