The yellow and blue shapes are squares. Prove the red and green points are collinear and the green point is the midpoint of the red points.