Demostrar que entre cualesquiera $9$ números reales distintos, existen $4$ números distintos $a,b,c,d$ tales que $$(ac+bd)^2\ge\frac{9}{10}(a^2+b^2)(c^2+d^2)$$