The yellow and blue triangles are isosceles right. Prove the red line segments are congruent and perpendicular.