The figure shows a square ABCD, E, F, G, and H are the midpoints of the sides, lines AE and BF meet at M, and lines CG and DH meet at N. If AB = a and MN = b, prove that .