The yellow lines are the angle bisectors of the triangle. The green lines are the perpendicular bisectors of the yellow line segments. Prove the red and blue triangles have the same area.