The green lines are parallel to the sides of the yellow rectangle. Prove the red lines are perpendicular. Prove the red and blue lines are concurrent.