问题背景：如图，在▱ABCD中，以点A为圆心，AB长为半径画弧交AD于点F，再分别以点B、F为圆心，大于 BF的相同长为半径画弧，两弧交于点P；连接AP并延长交BC于点E，连接EF，则所得四边形ABEF是菱形．