令x/y=t
则原式=t^2+1/t^2-8t+8/t+15
=t^2-2+1/t^2-8(t-1/t)+17
=(t-1/t)^2-8(t-1/t)+16+1
=(t-1/t-4)^2+1
>=1>0