如图，在▱ABCD中，以点A为圆心，以任意长为半径画圆弧，分别交边AD、AB于点M、N，再分别以点M、N为圆心，以大于 MN长为半径画圆弧，两弧交于点P，作射线AP交边CD于点E，过点E作EF//BC交AB于点F.求证：四边形ADEF是菱形.