The blue point is the midpoint of a diagonal of the green trapezoid. Prove the red triangle is isosceles.