The green points are midpoints of sides of the black triangle. The center of the blue circle is the orthocenter of the black triangle. Prove the red polylines have the same length.