1372

Prove the red line segment is congruent to a leg of the isosceles triangle.