The blue points are the midpoints of the diagonals of the yellow quadrilateral. Prove the red lines are perpendicular.