Prove the sum of red line segments is $$\sqrt{\frac{1}{2}\left(a^2+b^2+c^2\right) + 2A\sqrt{3}}$$ where $A$ is the area of yellow triangle.