（本小题满分9分）如图12，四边形ABCD是正方形，点E，K分别在BC，AB
上，点G在BA的延长线上，且CE=BK=AG.
⑴求证：①DE=DG；②DE⊥DG；
⑵尺规作图：以线段DE，DG为边作出正方形DEFG（要求：只保留作图痕迹，不写作法和证明）；
⑶连接⑵中的KF，猜想并写出四边形CEFK是怎样的特殊四边形，并证明你的猜想；
⑷当时，请直接写出的值.