47° IMO (2006) - Problema 3

[Caro - V3]

Determine el menor número real [math]M tal que la desigualdad
[math]\vert ab\left(a^2-b^2\right)+bc\left(b^2-c^2\right)+ca\left(c^2-a^2\right)\vert \leq M\left(a^2+b^2+c^2\right)^2
se cumple para todos los números reales [math]a,b,c.