MathDB
Prove this 3 real number variable inequality

Source: 2019 Jozsef Wildt International Math Competition

May 20, 2020
Summationinequalities

Problem Statement

If aa, bb, cRc \in \mathbb{R} thencyc(c+a)2b2+c2a2+5cycabcyc(ab+2bc+ca)2+(b+c)2a2\sum \limits_{cyc} \sqrt{(c+a)^2b^2+c^2a^2}+\sqrt{5}\left |\sum \limits_{cyc} \sqrt{ab}\right |\geq \sum \limits_{cyc}\sqrt{(ab+2bc+ca)^2+(b+c)^2a^2}