Prove the median's length formula: $$m_a = \frac{1}{2}\sqrt{2b^2 + 2c^2 - a^2}$$