Prove the area of the blue triangle is $$\frac{1}{3}\sqrt{ (m_a+m_b+m_c)(m_a+m_b-m_c)(m_b+m_c-m_a)(m_c+m_a-m_b) }$$