The red point is the midpoint of the purple line segment. The blue lines are parallel. The green lines are parallel. Prove the red lines are perpendicular.