The green point is the midpoint of a side of the yellow triangle. Prove the red lines are perpendicular.