Excel in math, science, and engineering
How many ordered quadruples of non-negative real numbers are there that satisfies:
a + b + c + d = 4 \\
a^2bc + b^2cd + c^2da + d^2 ab = 4 \\
Now prove this.