已知正方形abcd的边长为4,e是ab中点,f为ad上一点,且af=1 4ad