F の a の平方の係数は A=(b の平方+2)(c の平方+2)−3=b の平方 c の平方+2b の平方+2c の平方+1 で、b,c>0 なら正である。よって F の判別式が非正であることを示せばよい。