Hi Fistfiz;
The proof can be done using analytical geometry. Using midpoint formulas and the intersection of lines it is possible to label each point in terms of the sides of the square with length n. See the diagram below.
We then use a simple formula for the area of a triangle when the vertices are known that uses determinants. We will use it twice.
The area of the red shaded area is:
Of course the area of the square with sides of length n is n^2. So
the ratio of the BEFG to ABCD is 4 / 15.