Peter is a pentacrat and spends his time drawing pentagrams.
With the abbreviation ∣XYZ∣ for the area of an arbitrary triangle XYZ, he notes that any convex pentagon ABCDE satisfies the equality
∣EAC∣⋅∣EBD∣=∣EAB∣⋅∣ECD∣+∣EBC∣⋅∣EDA∣.
Guess what you are supposed to do and do it. geometrycircumcirclegeometry proposed