如图，已知正方形ABCD的边长为4，点P是AB边上的一个动点，连接CP，过点P作PC的垂线交AD于点E，以 PE为边作正方形PEFG，顶点G在线段PC上，对角线EG、PF相交于点O．