如图，正方形ABCD的边长为1，P是对角线BD上一点，过P作EF∥AB，分别交AD，BC于点E、F，CP的延长线交AD于点G，O是PC的中点，FO的延长线交DC于点K．
（1）求证：PF=CK；
（2）设DG=x，△CKO的面积为S₁，四边形POKD的面积为S₂，y=

S1

S2

．求y关于x的函数关系式及自变量x的取值范围，并在下面的直角坐标系中画出这个函数的图象．

如图，正方形ABCD的边长为1，EF分别在BC、CD上，∠EAF=45°，若△CEF的面积为

1

4

，则△EAF的面积为．

如图，正方形ABCD的边长为4，E、F分别是BC、CD上的两个动点，且AE⊥EF。则AF的最小值是　  　。