正方形ABCD和正方形PEFG的边长均为4,点O式正方形ABCD的对称中心.