Inside the square ABCD there is a square DEFG so that [ABP]=[CGFP]+[AFE].
Proof and drawing, attached.
See attachment.
Attached, my solution to subject problem
Attached, a calculatory solution, far less attactive than the one of Jean-Louis Ayme