# Help proving complex inequality

• JerryG

#### JerryG

This may seem trivial, but for some reason I am having trouble with it. For a and b in the complex plane, I am trying to prove the following:

|a|^2+|b|^2 >= |(a+b)/2|^2

I need this for part of a larger proof.

Since no one has answered yet, I'll give it a go.

Starting from the triangle inequality, we get

|a+b| <= |a| + |b|

=>

|a+b|^2 <= (|a| + |b|)^2 = |a|^2 + |b|^2 + 2|a||b|

=>

|(a+b)/2|^2 <= |a|^2 / 4 + |b|^2 / 4 + |a||b| / 2

If we can prove that |a|^2 + |b|^2 >= |a|^2 / 4 + |b|^2 / 4 + |a||b| / 2, then we're done!

Can you go from here?
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}