The blue point is the orthocenter of the blue triangle, the yellow point is the orthocenter of the yellow triangle, and the green point is the orthocenter of the green triangle. Prove the red triangles have the same area.