56. Hint: a2+1a−103⩽2518(a−31)⇔(3a−1)2(4a+3)⩾0.
Generalization: Let real numbers a1,a2,⋯,an satisfy a1+a2+⋯+an=1, and a1,a2,⋯,an⩾−n2−12n(n>1), then
∑a12+1a1⩽n2+1n2
Equality holds if and only if a1=a2=⋯=an=n1.
Brief proof: By the method of undetermined coefficients, we can find that
ai2+1ai−n2+1n⩽λ(a−n1)i=1,2,⋯,n
holds for
λ=(n2+1)2n2(n2−1)
Thus, we can obtain
that is
∑a12+1a1−∑n2+1n⩽0∑a12+1a1⩽n2+1n2