正方形ABCD被2条与边平行的线段EF、GH分割成四个矩形,P是EF与GH的交点,试确定∠HAF的大小并证明你的结论