The blue angle is double the red angle. The green line is the external angle bisector of the blue angle. Prove $c=\frac{1}{2}(a+b)$.