`(a^3/b)+(b^3/a)≥ a^2+b^2`
`⇔(a^4+b^4)/(ab)≥ a^2+b^2`
`⇔a^4+b^4≥ab^3+ba^3`
`⇔a^4+b^4-ab^3-ba^3≥0`
`⇔a^3(a-b)+(b-a)b^3≥0`
`⇔a^3(a-b)-(a-b)b^3≥0`
`⇔(a-b)(a^3-b^3)≥0`
`⇔(a-b)(a-b)(a^2+ab+b^2)≥0`
`⇔(a-b)^2(a^2+ab+b^2)≥0` (Điều hiển nhiên )
`⇒(a^3/b)+(b^3/a)≥ a^2+b^2`
`''=''`khi
`a=b`