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